Details

Time bar (total: 33.1s)

sample144.0ms

Algorithm
intervals
Results
86.0ms654×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 5 (1.6s)

IterNodesCost
023569
147569
2110544
3333544
4907544
52726519
done5000519

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (* t i) (* c z))
3.4b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
5.3b
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
6.1b
(* j (- (* c a) (* y i)))

rewrite50.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×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l* prod-diff
2×flip3-- associate-*r/ fma-udef flip--
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
9.0ms
(- (* t i) (* c z))
0.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
1.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
39.0ms
(* j (- (* c a) (* y i)))

series1.3s

Counts
4 → 12
Calls
4 calls:
73.0ms
(- (* t i) (* c z))
339.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
804.0ms
(fma (- (* y z) (* t a)) x (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
101.0ms
(* j (- (* c a) (* y i)))

simplify3.1s

Counts
76 → 76
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
013622045
133721117
296420977
3328220897
done500020897

prune965.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 7.8b

localize133.0ms

Local error

Found 4 expressions with local error:

6.1b
(* j (- (* c a) (* y i)))
6.7b
(cbrt (* j (- (* c a) (* y i))))
6.7b
(cbrt (* j (- (* c a) (* y i))))
6.7b
(cbrt (* j (- (* c a) (* y i))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt associate-*r/
6×pow1 cbrt-div *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- add-log-exp
3×cbrt-prod distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 67
Calls
4 calls:
22.0ms
(* j (- (* c a) (* y i)))
9.0ms
(cbrt (* j (- (* c a) (* y i))))
14.0ms
(cbrt (* j (- (* c a) (* y i))))
24.0ms
(cbrt (* j (- (* c a) (* y i))))

series825.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* j (- (* c a) (* y i)))
250.0ms
(cbrt (* j (- (* c a) (* y i))))
202.0ms
(cbrt (* j (- (* c a) (* y i))))
242.0ms
(cbrt (* j (- (* c a) (* y i))))

simplify3.1s

Counts
79 → 79
Iterations

Useful iterations: done (3.1s)

IterNodesCost
011626541
129225258
287324858
3276624333
done500124165

prune1.2s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 7.8b

localize121.0ms

Local error

Found 4 expressions with local error:

6.1b
(* j (- (* c a) (* y i)))
6.7b
(cbrt (* j (- (* c a) (* y i))))
6.7b
(cbrt (* j (- (* c a) (* y i))))
6.7b
(cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c a) (* y i)))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r/
8×add-sqr-sqrt
6×pow1 cbrt-div *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- add-log-exp
3×cbrt-prod distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 67
Calls
4 calls:
33.0ms
(* j (- (* c a) (* y i)))
16.0ms
(cbrt (* j (- (* c a) (* y i))))
13.0ms
(cbrt (* j (- (* c a) (* y i))))
58.0ms
(cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c a) (* y i)))))

series701.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(* j (- (* c a) (* y i)))
237.0ms
(cbrt (* j (- (* c a) (* y i))))
200.0ms
(cbrt (* j (- (* c a) (* y i))))
172.0ms
(cbrt (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c a) (* y i)))))

simplify3.2s

Counts
79 → 79
Iterations

Useful iterations: done (3.2s)

IterNodesCost
013628542
131727054
292026694
3331326174
done500024321

prune1.3s

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 7.8b

localize149.0ms

Local error

Found 4 expressions with local error:

6.1b
(* j (- (* c a) (* y i)))
6.7b
(cbrt (* j (- (* c a) (* y i))))
6.7b
(cbrt (* j (- (* c a) (* y i))))
7.7b
(cbrt (- (* c a) (* y i)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube associate-*r/ add-exp-log
5×cbrt-prod
4×expm1-log1p-u flip3-- log1p-expm1-u flip-- add-log-exp
3×distribute-rgt-in distribute-lft-in pow1/3 associate-*r* associate-*l*
2×sub-neg prod-diff
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 69
Calls
4 calls:
38.0ms
(* j (- (* c a) (* y i)))
15.0ms
(cbrt (* j (- (* c a) (* y i))))
15.0ms
(cbrt (* j (- (* c a) (* y i))))
8.0ms
(cbrt (- (* c a) (* y i)))

series715.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(* j (- (* c a) (* y i)))
189.0ms
(cbrt (* j (- (* c a) (* y i))))
204.0ms
(cbrt (* j (- (* c a) (* y i))))
212.0ms
(cbrt (- (* c a) (* y i)))

simplify2.8s

Counts
81 → 81
Iterations

Useful iterations: done (2.8s)

IterNodesCost
014927086
136625683
2103225403
3360824749
done500124724

prune1.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.8b

regimes2.6s

Accuracy

0% (5.1b remaining)

Error of 12.7b against oracle of 7.5b and baseline of 12.7b

bsearch0.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0301039
1411039
done411039

end0.0ms

sample5.3s

Algorithm
intervals
Results
3.9s19113×body80valid