Details

Time bar (total: 13.3s)

sample36.0ms

Algorithm
intervals
Results
15.0ms372×body80valid
5.0ms139×body80nan

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (14.0ms)

IterNodesCost
01215
12415
25213
310112
423212
566212
6235412
done500012

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma k (+ 10.0 k) 1.0)
0.0b
(* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))
4.1b
(/ a (fma k (+ 10.0 k) 1.0))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
21×times-frac
20×add-cube-cbrt *-un-lft-identity
18×add-exp-log
13×associate-*l*
10×add-cbrt-cube
7×associate-*r*
6×prod-exp unswap-sqr
5×unpow-prod-down
4×div-exp
3×pow1 expm1-log1p-u associate-/r* log1p-expm1-u associate-/l* add-log-exp sqr-pow
2×cbrt-undiv pow-to-exp pow-exp cbrt-unprod div-inv
1×frac-2neg associate-*l/ clear-num *-commutative fma-udef
Counts
3 → 84
Calls
3 calls:
0.0ms
(fma k (+ 10.0 k) 1.0)
10.0ms
(* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))
2.0ms
(/ a (fma k (+ 10.0 k) 1.0))

series197.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(fma k (+ 10.0 k) 1.0)
113.0ms
(* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m))
65.0ms
(/ a (fma k (+ 10.0 k) 1.0))

simplify874.0ms

Counts
93 → 93
Iterations

Useful iterations: done (872.0ms)

IterNodesCost
01751476
14201427
213431309
done50001278

prune268.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.9b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
0.6b
(cbrt k)
4.1b
(/ a (fma k (+ 10.0 k) 1.0))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 68
Calls
4 calls:
0.0ms
(cbrt k)
0.0ms
(cbrt k)
0.0ms
(cbrt k)
2.0ms
(/ a (fma k (+ 10.0 k) 1.0))

series805.0ms

Counts
4 → 12
Calls
4 calls:
382.0ms
(cbrt k)
179.0ms
(cbrt k)
180.0ms
(cbrt k)
63.0ms
(/ a (fma k (+ 10.0 k) 1.0))

simplify1.8s

Counts
80 → 80
Iterations

Useful iterations: 4 (1.0s)

IterNodesCost
0100682
1189660
2448606
31142594
43770587
done5000587

prune283.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

4.1b
(/ a (fma k (+ 10.0 k) 1.0))
4.3b
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
4.3b
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
4.3b
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod cbrt-div pow1/3 associate-*l/ associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 65
Calls
4 calls:
2.0ms
(/ a (fma k (+ 10.0 k) 1.0))
4.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
4.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
6.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))

series674.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ a (fma k (+ 10.0 k) 1.0))
202.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
203.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))
202.0ms
(cbrt (* (/ a (fma k (+ 10.0 k) 1.0)) (pow k m)))

simplify953.0ms

Counts
77 → 77
Iterations

Useful iterations: 3 (358.0ms)

IterNodesCost
01461684
13151620
28051497
323291245
done50011245

prune312.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt k)
0.6b
(cbrt k)
4.0b
(* (fma k (- (* 99.0 k) 10.0) 1.0) a)
9.1b
(* (* (fma k (- (* 99.0 k) 10.0) 1.0) a) (pow (* (cbrt k) (cbrt k)) m))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log
15×prod-exp
11×add-sqr-sqrt add-cbrt-cube
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×pow1 cbrt-prod
4×expm1-log1p-u associate-*l* pow-exp cbrt-unprod log1p-expm1-u add-log-exp
2×pow-to-exp pow1/3 *-commutative
1×unpow-prod-down pow-prod-down unswap-sqr sqr-pow
Counts
4 → 72
Calls
4 calls:
0.0ms
(cbrt k)
0.0ms
(cbrt k)
3.0ms
(* (fma k (- (* 99.0 k) 10.0) 1.0) a)
9.0ms
(* (* (fma k (- (* 99.0 k) 10.0) 1.0) a) (pow (* (cbrt k) (cbrt k)) m))

series675.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt k)
186.0ms
(cbrt k)
52.0ms
(* (fma k (- (* 99.0 k) 10.0) 1.0) a)
252.0ms
(* (* (fma k (- (* 99.0 k) 10.0) 1.0) a) (pow (* (cbrt k) (cbrt k)) m))

simplify2.2s

Counts
84 → 84
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
01471208
13551077
21211929
34935882
done5000882

prune280.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes79.0ms

Accuracy

98.9% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 2.0b

bsearch59.0ms

Steps
ItersRangePoint
8
8.527263185602557e+46
3.8677810166807955e+49
8.868861418140044e+47

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03055
13955
done3955

end0.0ms

sample989.0ms

Algorithm
intervals
Results
486.0ms11803×body80valid
146.0ms4310×body80nan