Details

Time bar (total: 8.4s)

sample21.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
057
176
done76

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.2b

localize7.0ms

Local error

Found 1 expressions with local error:

13.2b
(/ 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))

series77.0ms

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

simplify1.8s

Counts
32 → 32
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
068377
1140362
2492332
32678332
done5000332

prune107.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ 1 (fma x x 1.0))
12.5b
(* x (/ 1 (fma x x 1.0)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×times-frac
19×*-un-lft-identity
18×add-cube-cbrt
15×add-exp-log
13×associate-*r*
9×add-cbrt-cube
5×pow1
4×div-exp prod-exp
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv expm1-log1p-u rec-exp 1-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
2 → 71
Calls
2 calls:
10.0ms
(/ 1 (fma x x 1.0))
28.0ms
(* x (/ 1 (fma x x 1.0)))

series154.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(/ 1 (fma x x 1.0))
101.0ms
(* x (/ 1 (fma x x 1.0)))

simplify875.0ms

Counts
77 → 77
Iterations

Useful iterations: done (872.0ms)

IterNodesCost
0122880
1297766
21356649
done5001646

prune241.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ 1 (fma x x 1.0))
12.5b
(* x (expm1 (log1p (/ 1 (fma x x 1.0)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity
9×times-frac
8×add-exp-log
6×add-cbrt-cube
5×pow1
3×associate-*r* associate-*l* associate-/r* associate-/l*
2×expm1-log1p-u div-exp log1p-expm1-u add-log-exp
1×cbrt-undiv rec-exp pow-flip frac-2neg 1-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv inv-pow unswap-sqr
Counts
2 → 53
Calls
2 calls:
5.0ms
(/ 1 (fma x x 1.0))
7.0ms
(* x (expm1 (log1p (/ 1 (fma x x 1.0)))))

series711.0ms

Counts
2 → 6
Calls
2 calls:
91.0ms
(/ 1 (fma x x 1.0))
619.0ms
(* x (expm1 (log1p (/ 1 (fma x x 1.0)))))

simplify776.0ms

Counts
59 → 59
Iterations

Useful iterations: done (774.0ms)

IterNodesCost
0121734
1262622
21139560
done5001529

prune120.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 1 x) (/ 1.0 (pow x 5)))
0.2b
(/ 1.0 (pow x 5))
0.3b
(/ 1.0 (pow x 3))
19.3b
(- (+ (/ 1 x) (/ 1.0 (pow x 5))) (/ 1.0 (pow x 3)))

rewrite704.0ms

Algorithm
rewrite-expression-head
Rules
532×*-un-lft-identity
373×times-frac
240×prod-diff
238×add-sqr-sqrt
225×add-cube-cbrt
129×distribute-lft-out
79×unpow-prod-down
67×cube-prod
52×div-inv
27×sqr-pow
22×cube-mult unpow3
19×associate-/r*
14×add-exp-log
13×fma-def
11×add-log-exp
8×add-cbrt-cube
6×fma-neg div-exp associate-/l*
5×difference-of-squares
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out--
3×frac-sub
2×cbrt-undiv pow-to-exp frac-2neg flip3-+ diff-log frac-add pow-exp clear-num sum-log flip-+
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
4 → 418
Calls
4 calls:
56.0ms
(+ (/ 1 x) (/ 1.0 (pow x 5)))
8.0ms
(/ 1.0 (pow x 5))
10.0ms
(/ 1.0 (pow x 3))
568.0ms
(- (+ (/ 1 x) (/ 1.0 (pow x 5))) (/ 1.0 (pow x 3)))

series331.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(+ (/ 1 x) (/ 1.0 (pow x 5)))
74.0ms
(/ 1.0 (pow x 5))
71.0ms
(/ 1.0 (pow x 3))
63.0ms
(- (+ (/ 1 x) (/ 1.0 (pow x 5))) (/ 1.0 (pow x 3)))

simplify1.1s

Counts
430 → 430
Iterations

Useful iterations: done (1.1s)

IterNodesCost
048017448
1123014641
done500112047

prune688.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

100% (0.0b remaining)

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

bsearch88.0ms

Steps
ItersRangePoint
10
15.006088268796836
293663098603.6372
418.3054548803004
8
-517858925.4294923
-28361.394281441724
-480639372.44587564

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02348
13034
done3034

end0.0ms

sample447.0ms

Algorithm
intervals
Results
288.0ms8000×body80valid