Details

Time bar (total: 23.1s)

sample220.0ms

Algorithm
intervals
Results
164.0ms653×body80valid

simplify1.1s

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* i a) (* z c))
3.7b
(* (- (* t c) (* y i)) j)
5.1b
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))
5.3b
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))

rewrite32.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:
7.0ms
(- (* i a) (* z c))
23.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)))
0.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))

series1.1s

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (* i a) (* z c))
89.0ms
(* (- (* t c) (* y i)) j)
646.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))
285.0ms
(fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j))

simplify787.0ms

Counts
74 → 74
Iterations
IterNodes
33129
2903
1292
0123

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.2b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t c) (* y i))
3.7b
(* (- (* t c) (* y i)) j)
5.1b
(fma (- (* z y) (* t a)) x (fma b (- (* a i) (* z c)) (* (- (* t c) (* y i)) j)))
5.3b
(fma b (- (* a i) (* z c)) (* (- (* t c) (* y i)) j))

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

series1.1s

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* t c) (* y i))
91.0ms
(* (- (* t c) (* y i)) j)
705.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* a i) (* z c)) (* (- (* t c) (* y i)) j)))
273.0ms
(fma b (- (* a i) (* z c)) (* (- (* t c) (* y i)) j))

simplify633.0ms

Counts
74 → 74
Iterations
IterNodes
32410
2690
1243
0111

prune1.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.0b

localize81.0ms

Local error

Found 4 expressions with local error:

5.3b
(fma b (* (* (cbrt (- (* i a) (* z c))) (cbrt (- (* i a) (* z c)))) (cbrt (- (* i a) (* z c)))) (* (- (* t c) (* y i)) j))
7.5b
(cbrt (- (* i a) (* z c)))
7.5b
(cbrt (- (* i a) (* z c)))
7.5b
(cbrt (- (* i a) (* z c)))

rewrite22.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 b (* (* (cbrt (- (* i a) (* z c))) (cbrt (- (* i a) (* z c)))) (cbrt (- (* i a) (* z c)))) (* (- (* t c) (* y i)) j))
5.0ms
(cbrt (- (* i a) (* z c)))
8.0ms
(cbrt (- (* i a) (* z c)))
9.0ms
(cbrt (- (* i a) (* z c)))

series721.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(fma b (* (* (cbrt (- (* i a) (* z c))) (cbrt (- (* i a) (* z c)))) (cbrt (- (* i a) (* z c)))) (* (- (* t c) (* y i)) j))
165.0ms
(cbrt (- (* i a) (* z c)))
141.0ms
(cbrt (- (* i a) (* z c)))
164.0ms
(cbrt (- (* i a) (* z c)))

simplify2.0s

Counts
71 → 71
Iterations
IterNodes
44598
31733
2634
1250
0102

prune1.5s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 7.0b

localize96.0ms

Local error

Found 4 expressions with local error:

7.5b
(cbrt (- (* i a) (* z c)))
7.5b
(cbrt (- (* i a) (* z c)))
7.5b
(cbrt (- (* i a) (* z c)))
7.5b
(cbrt (- (* i a) (* z c)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp
Counts
4 → 64
Calls
4 calls:
7.0ms
(cbrt (- (* i a) (* z c)))
7.0ms
(cbrt (- (* i a) (* z c)))
7.0ms
(cbrt (- (* i a) (* z c)))
8.0ms
(cbrt (- (* i a) (* z c)))

series602.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(cbrt (- (* i a) (* z c)))
153.0ms
(cbrt (- (* i a) (* z c)))
129.0ms
(cbrt (- (* i a) (* z c)))
159.0ms
(cbrt (- (* i a) (* z c)))

simplify1.1s

Counts
76 → 76
Iterations
IterNodes
43158
31350
2506
1192
073

prune1.7s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 7.0b

regimes1.5s

Accuracy

15.2% (4.3b remaining)

Error of 11.3b against oracle of 7.0b and baseline of 12.1b

bsearch321.0ms

Steps
ItersRangePoint
9
5.530829967527009e-132
8.729002771470786e-127
1.127796530083514e-130
6
-2.5831011761895927e-274
-3.1769156036962703e-275
-1.929309415075956e-274

simplify8.0ms

Iterations
IterNodes
250
150
037

end0.0ms

sample5.8s

Algorithm
intervals
Results
4.1s19219×body80valid