Details

Time bar (total: 10.5s)

sample131.0ms

Algorithm
intervals
Results
62.0ms780×body80valid

simplify304.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
12815
28115
319015
426815
done26815

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.5b

localize23.0ms

Local error

Found 1 expressions with local error:

1.5b
(* (* top_row_norm bottom_row_norm) (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-cbrt-cube add-exp-log
associate-*r* pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt *-un-lft-identity associate-*r/ add-cube-cbrt
distribute-rgt-in distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ add-log-exp
Counts
1 → 22
Calls
1 calls:
121.0ms
(* (* top_row_norm bottom_row_norm) (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm))))

series229.0ms

Counts
1 → 3
Calls
1 calls:
229.0ms
(* (* top_row_norm bottom_row_norm) (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm))))

simplify2.2s

Counts
25 → 25
Iterations

Useful iterations: done (2.2s)

IterNodesCost
068503
1243498
21993406
done5002402

prune134.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.9b

localize26.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* bottom_row_norm (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm)))) top_row_norm)

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-cbrt-cube add-exp-log
associate-*r* pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt *-un-lft-identity associate-*l/ associate-*r/ add-cube-cbrt
flip3-+ associate-*l* *-commutative flip-+ add-log-exp
Counts
1 → 20
Calls
1 calls:
166.0ms
(* (* bottom_row_norm (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm)))) top_row_norm)

series202.0ms

Counts
1 → 3
Calls
1 calls:
201.0ms
(* (* bottom_row_norm (+ (* (* top_row_pivot_element bottom_row_norm) top_row_pivot_element) (* bottom_row_pivot_element (* bottom_row_pivot_element top_row_norm)))) top_row_norm)

simplify1.8s

Counts
23 → 23
Iterations

Useful iterations: done (1.8s)

IterNodesCost
066467
1219462
21673378
done5002376

prune139.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.9b

regimes169.0ms

Accuracy

0% (0.8b remaining)

Error of 1.5b against oracle of 0.8b and baseline of 1.5b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
11815
done1815

end0.0ms

sample4.9s

Algorithm
intervals
Results
3.3s23021×body80valid