Details

Time bar (total: 12.8s)

sample35.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
27
17
05

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize14.0ms

Local error

Found 1 expressions with local error:

16.2b
(/ x (fma x x 1))

rewrite9.0ms

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

series88.0ms

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

simplify2.5s

Counts
33 → 33
Iterations
IterNodes
54654
41479
3547
2262
1114
063

prune142.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 x) (/ (/ 1 x) (* x x)))
0.1b
(/ (/ 1 x) (* x x))
0.1b
(/ 1 (pow x 5))
19.3b
(+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
983×times-frac
532×add-sqr-sqrt
522×*-un-lft-identity
501×add-cube-cbrt
442×prod-diff
223×associate-+r+
98×div-inv
35×add-exp-log
25×fma-def
21×unpow-prod-down
18×pow1 add-cbrt-cube div-exp
16×associate-/l*
13×fma-neg
12×difference-of-squares
11×add-log-exp
8×associate-/r* pow-div
7×cbrt-undiv sqr-pow
6×distribute-lft-out distribute-lft-out--
5×rec-exp 1-exp pow-flip inv-pow
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×pow-to-exp frac-add pow-exp
2×pow2 clear-num sum-log sub-neg frac-2neg pow-plus flip3-- diff-log pow-sqr pow-prod-up frac-sub cbrt-unprod flip--
1×+-commutative associate-+r- flip3-+ flip-+ associate-/l/
Counts
4 → 654
Calls
4 calls:
26.0ms
(- (/ 1 x) (/ (/ 1 x) (* x x)))
11.0ms
(/ (/ 1 x) (* x x))
12.0ms
(/ 1 (pow x 5))
63.0ms
(+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))

series308.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(- (/ 1 x) (/ (/ 1 x) (* x x)))
67.0ms
(/ (/ 1 x) (* x x))
89.0ms
(/ 1 (pow x 5))
56.0ms
(+ (/ 1 (pow x 5)) (- (/ 1 x) (/ (/ 1 x) (* x x))))

simplify3.4s

Counts
666 → 666
Iterations
IterNodes
23462
11593
0715

prune2.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

6.1b
(log (exp (/ x (fma x x 1))))
16.2b
(/ x (fma x x 1))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
14×log-pow
13×exp-prod
4×add-cbrt-cube add-exp-log
3×pow1 log-prod associate-/r* associate-/l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp
Counts
2 → 58
Calls
2 calls:
10.0ms
(log (exp (/ x (fma x x 1))))
9.0ms
(/ x (fma x x 1))

series129.0ms

Counts
2 → 6
Calls
2 calls:
65.0ms
(log (exp (/ x (fma x x 1))))
64.0ms
(/ x (fma x x 1))

simplify2.1s

Counts
64 → 64
Iterations
IterNodes
54200
41433
3595
2317
1164
0107

prune198.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes30.0ms

Accuracy

100% (0.0b remaining)

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

bsearch63.0ms

Steps
ItersRangePoint
8
4364471.442644652
31288399957.8659
13951219.631737411
8
-5.202561556038387e+21
-2.563255540849828e+17
-1.8453524061497666e+21

simplify3.0ms

Iterations
IterNodes
222
122
018

end0.0ms

sample622.0ms

Algorithm
intervals
Results
489.0ms8000×body80valid