Details

Time bar (total: 33.5s)

sample168.0ms

Algorithm
intervals
Results
126.0ms616×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
52500
4907
3333
2110
147
023

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.5b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(- (* i a) (* z c))
4.4b
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
4.5b
(* (- (* t c) (* y i)) j)
6.7b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

rewrite37.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:
8.0ms
(- (* i a) (* z c))
0.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
28.0ms
(* (- (* t c) (* y i)) j)
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

series1.1s

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (* i a) (* z c))
285.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))
86.0ms
(* (- (* t c) (* y i)) j)
725.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))

simplify1.0s

Counts
74 → 74
Iterations
IterNodes
33051
2870
1288
0123

prune1.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 8.7b

localize61.0ms

Local error

Found 4 expressions with local error:

5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
6.7b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

rewrite17.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:
5.0ms
(cbrt (- (* t c) (* y i)))
5.0ms
(cbrt (- (* t c) (* y i)))
5.0ms
(cbrt (- (* t c) (* y i)))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

series1.3s

Counts
4 → 12
Calls
4 calls:
132.0ms
(cbrt (- (* t c) (* y i)))
155.0ms
(cbrt (- (* t c) (* y i)))
185.0ms
(cbrt (- (* t c) (* y i)))
784.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

simplify2.8s

Counts
71 → 71
Iterations
IterNodes
45416
31784
2669
1265
0108

prune1.5s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 7.3b

localize65.0ms

Local error

Found 4 expressions with local error:

5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
6.7b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (* (cbrt (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) j))))

rewrite17.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:
5.0ms
(cbrt (- (* t c) (* y i)))
5.0ms
(cbrt (- (* t c) (* y i)))
5.0ms
(cbrt (- (* t c) (* y i)))
1.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (* (cbrt (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) j))))

series1.3s

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (- (* t c) (* y i)))
177.0ms
(cbrt (- (* t c) (* y i)))
181.0ms
(cbrt (- (* t c) (* y i)))
826.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i)))) (* (* (cbrt (* (cbrt (- (* t c) (* y i))) (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) j))))

simplify3.5s

Counts
71 → 71
Iterations
IterNodes
45638
31868
2695
1270
0109

prune2.2s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 7.3b

localize85.0ms

Local error

Found 4 expressions with local error:

5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
5.8b
(cbrt (- (* t c) (* y i)))
6.7b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (* (* (cbrt (cbrt (- (* t c) (* y i)))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

rewrite34.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:
10.0ms
(cbrt (- (* t c) (* y i)))
17.0ms
(cbrt (- (* t c) (* y i)))
5.0ms
(cbrt (- (* t c) (* y i)))
0.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (* (* (cbrt (cbrt (- (* t c) (* y i)))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

series1.4s

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt (- (* t c) (* y i)))
218.0ms
(cbrt (- (* t c) (* y i)))
233.0ms
(cbrt (- (* t c) (* y i)))
797.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (* (* (cbrt (cbrt (- (* t c) (* y i)))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (cbrt (- (* t c) (* y i))))) (cbrt (- (* t c) (* y i)))) (* (cbrt (- (* t c) (* y i))) j))))

simplify3.4s

Counts
71 → 71
Iterations
IterNodes
46034
31946
2702
1272
0110

prune1.7s

Pruning

15 alts after pruning (12 fresh and 3 done)

Merged error: 7.3b

regimes1.9s

Accuracy

0% (4.5b remaining)

Error of 11.4b against oracle of 6.8b and baseline of 11.4b

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
232
132
024

end0.0ms

sample7.1s

Algorithm
intervals
Results
5.3s19095×body80valid