Details

Time bar (total: 32.5s)

sample31.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done8
18
05

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize17.0ms

Local error

Found 1 expressions with local error:

16.2b
(/ x (+ (* x x) 1))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
15×times-frac
11×add-sqr-sqrt add-cube-cbrt
8×distribute-lft-out
5×associate-/r*
4×associate-*l*
3×add-cbrt-cube add-exp-log associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 div-inv add-log-exp
Counts
1 → 38
Calls
1 calls:
72.0ms
(/ x (+ (* x x) 1))

series93.0ms

Counts
1 → 3
Calls
1 calls:
93.0ms
(/ x (+ (* x x) 1))

simplify1.9s

Counts
41 → 41
Iterations
IterNodes
done5003
32410
2562
1163
069

prune99.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(/ 1 (pow x 5))
0.4b
(/ 1 (* x (* x x)))
17.8b
(+ (- (/ 1 x) (/ 1 (* x (* x x)))) (/ 1 (pow x 5)))

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
7071×associate-/r*
4354×add-sqr-sqrt
4134×frac-add
3978×frac-sub
2975×*-un-lft-identity
2890×add-cube-cbrt
2637×associate-/l*
2352×associate-*r*
966×unpow-prod-down
879×clear-num frac-2neg
854×unswap-sqr
735×associate-*l*
488×swap-sqr
420×*-commutative
322×sqr-pow
130×sub-div
123×times-frac
39×add-exp-log
35×pow1
20×add-cbrt-cube
16×distribute-lft-out
15×div-inv pow-flip
14×distribute-lft-out--
13×flip3-- flip--
12×div-exp prod-exp
10×pow-prod-up
9×add-log-exp
6×rec-exp 1-exp pow-prod-down cbrt-unprod
4×cbrt-undiv cube-unmult insert-posit16
3×pow-to-exp pow-unpow pow-exp
2×pow2 associate-+l+ sum-log pow-plus pow-sqr inv-pow
1×+-commutative sub-neg pow-pow flip3-+ diff-log associate-+l- flip-+
Counts
4 → 4417
Calls
4 calls:
41.0ms
(* x (* x x))
10.0ms
(/ 1 (pow x 5))
72.0ms
(/ 1 (* x (* x x)))
1.2s
(+ (- (/ 1 x) (/ 1 (* x (* x x)))) (/ 1 (pow x 5)))

series223.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* x (* x x))
86.0ms
(/ 1 (pow x 5))
55.0ms
(/ 1 (* x (* x x)))
47.0ms
(+ (- (/ 1 x) (/ 1 (* x (* x x)))) (/ 1 (pow x 5)))

simplify9.0s

Counts
4429 → 4429
Iterations
IterNodes
done8905
08905

prune17.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes58.0ms

Accuracy

100% (0.0b remaining)

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

bsearch104.0ms

Steps
ItersRangePoint
10
2.618543036730298e-08
12461.173664998358
665.7378871081933
9
-1.0272784703264377e+25
-1.0655363365485027e+18
-7.450745238348297e+24

simplify4.0ms

Iterations
IterNodes
done27
127
019

end0.0ms

sample591.0ms

Algorithm
intervals
Results
491.0ms8000×body80valid