Details

Time bar (total: 23.6s)

sample111.0ms

Algorithm
intervals
Results
60.0ms569×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5001
41195
3333
2110
147
023

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* z y) (* t a))
3.9b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
4.4b
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
6.6b
(* (- (* z y) (* t a)) x)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* associate-*l*
2×flip3-- associate-*l/ fma-udef flip--
1×sub-neg fma-neg diff-log prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
7.0ms
(- (* z y) (* t a))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
0.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
24.0ms
(* (- (* z y) (* t a)) x)

series1.2s

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (* z y) (* t a))
718.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
308.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
99.0ms
(* (- (* z y) (* t a)) x)

simplify1.1s

Counts
70 → 70
Iterations
IterNodes
done5001
2915
1251
0110

prune748.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.6b

localize48.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
3.9b
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
4.4b
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
5.4b
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
11×add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
7×*-un-lft-identity associate-*r* add-cube-cbrt
6×associate-*l/
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
3×cbrt-prod
2×flip3-- *-commutative fma-udef flip--
1×unswap-sqr
Counts
4 → 71
Calls
4 calls:
82.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
0.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
0.0ms
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
45.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

series1.6s

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
894.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
342.0ms
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
238.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5001
21696
1365
0144

prune816.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.0b

localize69.0ms

Local error

Found 4 expressions with local error:

4.4b
(fma b (- (* a i) (* z c)) (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
7.9b
(cbrt (- (* z y) (* t a)))
7.9b
(cbrt (- (* z y) (* t a)))
7.9b
(cbrt (- (* z y) (* t a)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 55
Calls
4 calls:
0.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
7.0ms
(cbrt (- (* z y) (* t a)))
7.0ms
(cbrt (- (* z y) (* t a)))
7.0ms
(cbrt (- (* z y) (* t a)))

series895.0ms

Counts
4 → 12
Calls
4 calls:
342.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
168.0ms
(cbrt (- (* z y) (* t a)))
182.0ms
(cbrt (- (* z y) (* t a)))
203.0ms
(cbrt (- (* z y) (* t a)))

simplify1.7s

Counts
67 → 67
Iterations
IterNodes
done5000
32121
2674
1248
0100

prune949.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.0b

localize120.0ms

Local error

Found 4 expressions with local error:

7.9b
(cbrt (- (* z y) (* t a)))
7.9b
(cbrt (- (* z y) (* t a)))
7.9b
(cbrt (- (* z y) (* t a)))
7.9b
(cbrt (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))))

rewrite483.0ms

Algorithm
rewrite-expression-head
Rules
86×cbrt-div
30×flip3-- flip--
28×frac-times
14×associate-*l/
10×cbrt-prod
8×associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log log1p-expm1-u add-log-exp
1×pow3 rem-cbrt-cube
Counts
4 → 83
Calls
4 calls:
5.0ms
(cbrt (- (* z y) (* t a)))
7.0ms
(cbrt (- (* z y) (* t a)))
8.0ms
(cbrt (- (* z y) (* t a)))
459.0ms
(cbrt (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))))

series684.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(cbrt (- (* z y) (* t a)))
173.0ms
(cbrt (- (* z y) (* t a)))
155.0ms
(cbrt (- (* z y) (* t a)))
150.0ms
(cbrt (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))))

simplify1.4s

Counts
95 → 95
Iterations
IterNodes
done5000
32094
2685
1327
0168

prune1.1s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 3.0b

regimes2.1s

Accuracy

24.8% (5.8b remaining)

Error of 10.8b against oracle of 5.0b and baseline of 12.7b

bsearch362.0ms

Steps
ItersRangePoint
7
7.113330587397249e+93
1.2583009742373844e+95
4.8879062332023715e+94
8
-3.7412991308967007e+189
-1.4480888754481662e+186
-1.4721986294383735e+186

simplify22.0ms

Iterations
IterNodes
done54
154
038

end0.0ms

sample4.6s

Algorithm
intervals
Results
3.4s18886×body80valid