Details

Time bar (total: 12.8s)

sample11.0ms

Algorithm
intervals
Results
4.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
057
176
done76

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.0b

localize4.0ms

Local error

Found 1 expressions with local error:

16.0b
(/ x (fma x x 1.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
5.0ms
(/ x (fma x x 1.0))

series71.0ms

Counts
1 → 3
Calls
1 calls:
71.0ms
(/ x (fma x x 1.0))

simplify2.3s

Counts
32 → 32
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
068377
1132362
2327332
3764332
42008332
done5000332

prune126.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 x) (/ 1.0 (pow x 3)))
0.1b
(/ 1.0 (pow x 3))
0.2b
(/ 1.0 (pow x 5))
18.1b
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

rewrite958.0ms

Algorithm
rewrite-expression-head
Rules
1773×times-frac
1273×add-sqr-sqrt
1222×*-un-lft-identity
1185×add-cube-cbrt
1040×prod-diff
522×associate-+l+
264×unpow-prod-down
252×cube-prod
112×div-inv
92×sqr-pow
82×cube-mult unpow3
30×difference-of-squares
21×fma-def
19×associate-/r*
14×add-exp-log
13×fma-neg
11×add-log-exp
9×distribute-lft-out--
8×add-cbrt-cube
6×div-exp associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out
3×frac-add
2×cbrt-undiv pow-to-exp sub-neg flip3-- frac-2neg diff-log pow-exp clear-num sum-log frac-sub flip--
1×+-commutative associate-+l- flip3-+ flip-+
Counts
4 → 1245
Calls
4 calls:
96.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
9.0ms
(/ 1.0 (pow x 3))
10.0ms
(/ 1.0 (pow x 5))
661.0ms
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

series321.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
67.0ms
(/ 1.0 (pow x 3))
89.0ms
(/ 1.0 (pow x 5))
71.0ms
(+ (- (/ 1 x) (/ 1.0 (pow x 3))) (/ 1.0 (pow x 5)))

simplify2.8s

Counts
1257 → 1257
Iterations

Useful iterations: done (2.7s)

IterNodesCost
079751194
1167840828
2355325274
done500024869

prune3.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (pow x 5))
19.2b
(- (+ x (pow x 5)) (pow x 3))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
48×prod-diff
35×add-sqr-sqrt
28×add-cube-cbrt
15×distribute-lft-out
13×unpow-prod-down cube-prod
9×add-log-exp
5×sqr-pow
4×cube-mult fma-neg unpow3 difference-of-squares
3×fma-def
2×pow1 add-exp-log expm1-log1p-u diff-log sum-log add-cbrt-cube log1p-expm1-u distribute-lft-out--
1×+-commutative sub-neg flip3-- flip3-+ associate--l+ flip-- flip-+
Counts
2 → 91
Calls
2 calls:
9.0ms
(+ x (pow x 5))
107.0ms
(- (+ x (pow x 5)) (pow x 3))

series228.0ms

Counts
2 → 6
Calls
2 calls:
171.0ms
(+ x (pow x 5))
58.0ms
(- (+ x (pow x 5)) (pow x 3))

simplify1.7s

Counts
97 → 97
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01322440
13031648
28591315
done5000974

prune190.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes42.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 15.3b

bsearch72.0ms

Steps
ItersRangePoint
9
110.15968793260775
1173724448.4928873
2834276.939188341
9
-3484513403575543.0
-66911392.43097515
-36392348527513.984

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02044
12630
done2630

end0.0ms

sample416.0ms

Algorithm
intervals
Results
224.0ms8000×body80valid