Details

Time bar (total: 17.3s)

sample55.0ms

Algorithm
intervals
Results
24.0ms473×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5000
51844
4493
3171
252
121
011

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- t (* z z))
0.0b
(fma 4.0 (* (- t (* z z)) y) (* x x))
5.2b
(* (- t (* z z)) y)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
5×pow1 add-cbrt-cube add-exp-log add-log-exp
4×associate-*l*
3×expm1-log1p-u fma-neg associate-*r* prod-diff log1p-expm1-u
2×flip3-- associate-*l/ flip-- difference-of-squares
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
3 → 54
Calls
3 calls:
8.0ms
(- t (* z z))
0.0ms
(fma 4.0 (* (- t (* z z)) y) (* x x))
20.0ms
(* (- t (* z z)) y)

series227.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(- t (* z z))
114.0ms
(fma 4.0 (* (- t (* z z)) y) (* x x))
64.0ms
(* (- t (* z z)) y)

simplify889.0ms

Counts
63 → 63
Iterations
IterNodes
done5001
2862
1215
093

prune433.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.5b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(- t (* z z))
0.0b
(fma x x (* (* y 4.0) (- t (* z z))))
5.2b
(* (* y 4.0) (- t (* z z)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×prod-diff
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
5×distribute-rgt-in distribute-lft-in add-log-exp
4×associate-*r*
3×expm1-log1p-u sub-neg fma-neg pow-prod-down prod-exp cbrt-unprod log1p-expm1-u
2×flip3-- associate-*r/ flip-- difference-of-squares
1×diff-log associate-*l* *-commutative fma-udef
Counts
3 → 64
Calls
3 calls:
4.0ms
(- t (* z z))
0.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
32.0ms
(* (* y 4.0) (- t (* z z)))

series279.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(- t (* z z))
117.0ms
(fma x x (* (* y 4.0) (- t (* z z))))
110.0ms
(* (* y 4.0) (- t (* z z)))

simplify1.9s

Counts
73 → 73
Iterations
IterNodes
done5000
21953
1312
0109

prune440.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.4b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* z z))
0.0b
(fma x x (+ (* (- t (* z z)) (* y 4.0)) (* (fma (- z) z (* z z)) (* y 4.0))))
5.2b
(* (- t (* z z)) (* y 4.0))
42.1b
(fma (- z) z (* z z))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u associate-*l* log1p-expm1-u
3×fma-neg prod-diff pow-prod-down prod-exp cbrt-unprod
2×flip3-- associate-*l/ fma-udef flip-- difference-of-squares
1×sub-neg diff-log associate-*r* *-commutative
Counts
4 → 64
Calls
4 calls:
9.0ms
(- t (* z z))
1.0ms
(fma x x (+ (* (- t (* z z)) (* y 4.0)) (* (fma (- z) z (* z z)) (* y 4.0))))
43.0ms
(* (- t (* z z)) (* y 4.0))
1.0ms
(fma (- z) z (* z z))

series2.5s

Counts
4 → 12
Calls
4 calls:
45.0ms
(- t (* z z))
2.2s
(fma x x (+ (* (- t (* z z)) (* y 4.0)) (* (fma (- z) z (* z z)) (* y 4.0))))
81.0ms
(* (- t (* z z)) (* y 4.0))
83.0ms
(fma (- z) z (* z z))

simplify1.1s

Counts
76 → 76
Iterations
IterNodes
done5001
21193
1266
0109

prune569.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.4b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.9b
(* (* (- t (* z z)) (* (cbrt y) (cbrt y))) (cbrt y))
3.8b
(* (- t (* z z)) (* (cbrt y) (cbrt y)))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
11×add-sqr-sqrt add-cbrt-cube
9×cbrt-prod *-un-lft-identity pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
7×associate-*r*
6×associate-*l/
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- pow1/3 *-commutative flip--
1×difference-of-squares unswap-sqr
Counts
4 → 78
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
87.0ms
(* (* (- t (* z z)) (* (cbrt y) (cbrt y))) (cbrt y))
57.0ms
(* (- t (* z z)) (* (cbrt y) (cbrt y)))

series1.0s

Counts
4 → 12
Calls
4 calls:
276.0ms
(cbrt y)
268.0ms
(cbrt y)
123.0ms
(* (* (- t (* z z)) (* (cbrt y) (cbrt y))) (cbrt y))
336.0ms
(* (- t (* z z)) (* (cbrt y) (cbrt y)))

simplify1.5s

Counts
90 → 90
Iterations
IterNodes
done5002
21789
1313
0110

prune515.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 2.4b

regimes869.0ms

Accuracy

70.4% (1.0b remaining)

Error of 3.7b against oracle of 2.7b and baseline of 6.0b

bsearch2.0ms

simplify8.0ms

Iterations
IterNodes
done30
130
023

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.1s16134×body80valid