Details

Time bar (total: 22.3s)

sample170.0ms

Algorithm
intervals
Results
124.0ms598×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2003
52003
4907
3333
2110
147
023

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.6b

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* t c) (* i y))
3.9b
(fma (- (* t c) (* i y)) j (fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x)))
3.9b
(fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x))
4.9b
(* (- (* z y) (* t a)) x)

rewrite42.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 insert-posit16 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 → 62
Calls
4 calls:
10.0ms
(- (* t c) (* i y))
0.0ms
(fma (- (* t c) (* i y)) j (fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x)))
0.0ms
(fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x))
30.0ms
(* (- (* z y) (* t a)) x)

series1.3s

Counts
4 → 12
Calls
4 calls:
75.0ms
(- (* t c) (* i y))
827.0ms
(fma (- (* t c) (* i y)) j (fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x)))
296.0ms
(fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x))
85.0ms
(* (- (* z y) (* t a)) x)

simplify932.0ms

Counts
74 → 74
Iterations
IterNodes
done2001
32001
2881
1298
0124

prune733.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.3b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

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

series1.1s

Counts
4 → 12
Calls
4 calls:
68.0ms
(fma i a (- (* z c)))
677.0ms
(fma (fma t c (- (* i y))) j (fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x)))
266.0ms
(fma (fma i a (- (* z c))) b (* (- (* z y) (* t a)) x))
93.0ms
(* (- (* z y) (* t a)) x)

simplify922.0ms

Counts
68 → 68
Iterations
IterNodes
done2005
32005
2648
1231
0108

prune577.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.3b

localize88.0ms

Local error

Found 4 expressions with local error:

3.9b
(fma (fma i a (- (* z c))) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
6.6b
(cbrt (- (* z y) (* t a)))
6.6b
(cbrt (- (* z y) (* t a)))
6.6b
(cbrt (- (* z y) (* t a)))

rewrite26.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 insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma (fma i a (- (* z c))) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
8.0ms
(cbrt (- (* z y) (* t a)))
9.0ms
(cbrt (- (* z y) (* t a)))
9.0ms
(cbrt (- (* z y) (* t a)))

series782.0ms

Counts
4 → 12
Calls
4 calls:
323.0ms
(fma (fma i a (- (* z c))) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)))
153.0ms
(cbrt (- (* z y) (* t a)))
140.0ms
(cbrt (- (* z y) (* t a)))
166.0ms
(cbrt (- (* z y) (* t a)))

simplify1.2s

Counts
71 → 71
Iterations
IterNodes
done2028
42028
31869
2646
1252
0102

prune935.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 4.3b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite167.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* insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod
2×flip3-- *-commutative fma-udef flip--
1×unswap-sqr
Counts
4 → 75
Calls
4 calls:
118.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
46.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
0.0ms
(fma (fma t c (- (* i y))) j (fma (fma i a (- (* z c))) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
0.0ms
(fma (fma i a (- (* z c))) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))

series1.6s

Counts
4 → 12
Calls
4 calls:
137.0ms
(* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))
275.0ms
(* (- (* z y) (* t a)) (* (cbrt x) (cbrt x)))
787.0ms
(fma (fma t c (- (* i y))) j (fma (fma i a (- (* z c))) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
402.0ms
(fma (fma i a (- (* z c))) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x)))

simplify996.0ms

Counts
87 → 87
Iterations
IterNodes
done2001
32001
21133
1374
0148

prune1.0s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 4.3b

regimes1.5s

Accuracy

26.3% (5.9b remaining)

Error of 10.0b against oracle of 4.1b and baseline of 12.1b

bsearch271.0ms

Steps
ItersRangePoint
6
2.4195667432224454e+76
1.9724719937025296e+77
1.9450455774818727e+77
6
-3.881457349229454e+65
-3.889314224533744e+64
-1.913925828335769e+65

simplify12.0ms

Iterations
IterNodes
done67
267
163
040

end0.0ms

sample6.7s

Algorithm
intervals
Results
4.9s19218×body80valid