Details

Time bar (total: 24.0s)

sample124.0ms

Algorithm
intervals
Results
76.0ms569×body80valid

simplify1.9s

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

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize57.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)

rewrite58.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:
8.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))
48.0ms
(* (- (* z y) (* t a)) x)

series1.1s

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (* z y) (* t a))
717.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
292.0ms
(fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x))
75.0ms
(* (- (* z y) (* t a)) x)

simplify1.1s

Counts
70 → 70
Iterations
IterNodes
done5001
2915
1251
0110

prune837.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.6b

localize53.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)))

rewrite182.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:
123.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)))
55.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

series1.7s

Counts
4 → 12
Calls
4 calls:
135.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
892.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
385.0ms
(fma b (- (* a i) (* z c)) (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))
306.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5001
21696
1365
0144

prune882.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.0b

localize60.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)))

rewrite15.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)))
5.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))
5.0ms
(cbrt (- (* z y) (* t a)))

series805.0ms

Counts
4 → 12
Calls
4 calls:
291.0ms
(fma b (- (* a i) (* z c)) (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
170.0ms
(cbrt (- (* z y) (* t a)))
181.0ms
(cbrt (- (* z y) (* t a)))
163.0ms
(cbrt (- (* z y) (* t a)))

simplify1.6s

Counts
67 → 67
Iterations
IterNodes
done5000
32121
2674
1248
0100

prune974.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.0b

localize118.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)))))

rewrite123.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:
6.0ms
(cbrt (- (* z y) (* t a)))
7.0ms
(cbrt (- (* z y) (* t a)))
7.0ms
(cbrt (- (* z y) (* t a)))
99.0ms
(cbrt (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))))

series739.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(cbrt (- (* z y) (* t a)))
204.0ms
(cbrt (- (* z y) (* t a)))
188.0ms
(cbrt (- (* z y) (* t a)))
190.0ms
(cbrt (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))))

simplify1.5s

Counts
95 → 95
Iterations
IterNodes
done5000
32094
2685
1327
0168

prune1.2s

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

bsearch601.0ms

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

simplify8.0ms

Iterations
IterNodes
done54
154
038

end0.0ms

sample4.8s

Algorithm
intervals
Results
3.5s18886×body80valid