Details

Time bar (total: 32.3s)

sample82.0ms

Algorithm
intervals
Results
45.0ms371×body80valid
10.0ms133×body80nan

simplify3.6s

Counts
1 → 1
Iterations

Useful iterations: 3 (26.0ms)

IterNodesCost
01215
12415
25313
310712
425412
573512
6272912
done500112

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
100×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
48×unpow-prod-down
32×associate-/r*
17×add-exp-log
16×sqr-pow
10×div-exp
9×add-cbrt-cube
6×div-inv associate-/l*
4×cbrt-undiv
2×pow1 expm1-log1p-u pow-to-exp frac-2neg pow-exp clear-num log1p-expm1-u add-log-exp
1×associate-/r/
Counts
2 → 169
Calls
2 calls:
8.0ms
(/ (fma k (+ 10.0 k) 1.0) (pow k m))
14.0ms
(/ a (/ (fma k (+ 10.0 k) 1.0) (pow k m)))

series288.0ms

Counts
2 → 6
Calls
2 calls:
129.0ms
(/ (fma k (+ 10.0 k) 1.0) (pow k m))
158.0ms
(/ a (/ (fma k (+ 10.0 k) 1.0) (pow k m)))

simplify1.7s

Counts
175 → 175
Iterations

Useful iterations: done (1.7s)

IterNodesCost
03314107
17133899
223573762
done50003717

prune782.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (fma k (+ 10.0 k) 1.0) (pow k m))
0.8b
(/ 1 (/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a))
1.9b
(/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a)

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
969×times-frac
453×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
156×unpow-prod-down
89×associate-/r*
56×add-exp-log
52×sqr-pow
41×div-exp
31×associate-/l*
23×div-inv
19×add-cbrt-cube
10×cbrt-undiv
5×pow-to-exp rec-exp 1-exp pow-exp
4×pow1
3×expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
1×pow-flip associate-/r/ associate-/l/ inv-pow
Counts
3 → 521
Calls
3 calls:
12.0ms
(/ (fma k (+ 10.0 k) 1.0) (pow k m))
69.0ms
(/ 1 (/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a))
36.0ms
(/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a)

series454.0ms

Counts
3 → 9
Calls
3 calls:
116.0ms
(/ (fma k (+ 10.0 k) 1.0) (pow k m))
167.0ms
(/ 1 (/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a))
170.0ms
(/ (/ (fma k (+ 10.0 k) 1.0) (pow k m)) a)

simplify4.0s

Counts
530 → 530
Iterations

Useful iterations: done (4.0s)

IterNodesCost
081114892
1187713546
2386512414
done500012401

prune1.7s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.9b
(/ (/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0)) (/ (/ 1 (pow k m)) (cbrt a)))
4.2b
(/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0))

rewrite408.0ms

Algorithm
rewrite-expression-head
Rules
3754×times-frac
1398×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
606×cbrt-prod
432×unpow-prod-down
213×div-inv
157×associate-/r*
144×sqr-pow
138×add-exp-log
105×div-exp
31×add-cbrt-cube
26×cbrt-undiv
12×prod-exp
9×pow-to-exp rec-exp 1-exp pow-exp
8×associate-/l*
4×pow1 expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
2×frac-2neg pow1/3 clear-num
1×associate-/r/ associate-/l/
Counts
4 → 1344
Calls
4 calls:
1.0ms
(cbrt a)
2.0ms
(cbrt a)
109.0ms
(/ (/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0)) (/ (/ 1 (pow k m)) (cbrt a)))
34.0ms
(/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0))

series987.0ms

Counts
4 → 12
Calls
4 calls:
289.0ms
(cbrt a)
308.0ms
(cbrt a)
185.0ms
(/ (/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0)) (/ (/ 1 (pow k m)) (cbrt a)))
205.0ms
(/ (* (cbrt a) (cbrt a)) (fma k (+ 10.0 k) 1.0))

simplify1.7s

Counts
1356 → 1356
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0220856369
done500054003

prune8.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))
0.1b
(* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))
0.8b
(/ 1 (fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))))
2.0b
(fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
116×times-frac
101×add-sqr-sqrt
63×*-un-lft-identity
61×add-cube-cbrt
57×associate-*r*
55×add-exp-log
45×unpow-prod-down
25×div-exp
18×add-cbrt-cube
14×prod-exp
13×associate-*l*
12×unswap-sqr
8×pow-exp
7×pow1
6×div-inv
5×cbrt-undiv sqr-pow
4×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
3×rec-exp 1-exp associate-/r* associate-/l*
2×pow-to-exp associate-/r/ fma-udef
1×neg-sub0 frac-times pow-neg pow-flip frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative inv-pow pow-sub
Counts
4 → 167
Calls
4 calls:
0.0ms
(fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))
69.0ms
(* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))
6.0ms
(/ 1 (fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))))
0.0ms
(fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
261.0ms
(fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))
152.0ms
(* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))
347.0ms
(/ 1 (fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m)))))))
321.0ms
(fma (/ k a) (/ k (pow (/ 1 k) (- m))) (fma 1.0 (/ (pow k (- m)) a) (* (/ 10.0 a) (/ k (pow (/ 1 k) (- m))))))

simplify2.4s

Counts
179 → 179
Iterations

Useful iterations: done (2.4s)

IterNodesCost
04074705
110724378
231934016
done50003733

prune1.2s

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0b

regimes217.0ms

Accuracy

93.2% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 2.1b

bsearch69.0ms

Steps
ItersRangePoint
7
5.967668210703041e+134
1.9008048828185723e+136
1.0194990514889945e+135

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02650
13050
done3050

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.7s11875×body80valid
353.0ms4247×body80nan