Details

Time bar (total: 7.3s)

sample23.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
done67

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.2b

localize13.0ms

Local error

Found 1 expressions with local error:

13.2b
(/ x (+ (* x x) 1.0))

rewrite30.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*
2×associate-/r/
1×pow1 cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
28.0ms
(/ x (+ (* x x) 1.0))

series81.0ms

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

simplify726.0ms

Counts
32 → 32
Iterations

Useful iterations: done (725.0ms)

IterNodesCost
074428
1183415
2802377
done5001375

prune116.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x (pow x 3))
4.5b
(/ x (- (* x (pow x 3)) (* 1.0 1.0)))
18.1b
(* (/ x (- (* x (pow x 3)) (* 1.0 1.0))) (- (* x x) 1.0))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
19×times-frac
18×associate-*l*
16×associate-*r*
15×add-exp-log
12×add-cbrt-cube
6×pow1 unswap-sqr
5×prod-exp
4×unpow-prod-down flip3-- cube-prod associate-/r/ flip--
3×associate-/r* cbrt-unprod associate-/l* add-log-exp
2×cbrt-undiv distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*r/ div-exp *-commutative div-inv sqr-pow
1×cube-mult pow-to-exp frac-2neg unpow3 pow-prod-down associate-*l/ pow-exp clear-num pow-prod-up difference-of-squares
Counts
3 → 104
Calls
3 calls:
14.0ms
(* x (pow x 3))
16.0ms
(/ x (- (* x (pow x 3)) (* 1.0 1.0)))
82.0ms
(* (/ x (- (* x (pow x 3)) (* 1.0 1.0))) (- (* x x) 1.0))

series279.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(* x (pow x 3))
133.0ms
(/ x (- (* x (pow x 3)) (* 1.0 1.0)))
111.0ms
(* (/ x (- (* x (pow x 3)) (* 1.0 1.0))) (- (* x x) 1.0))

simplify2.6s

Counts
113 → 113
Iterations

Useful iterations: done (2.6s)

IterNodesCost
01951932
15721843
236131643
done50001627

prune477.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ 1.0 (pow x 3))
0.3b
(/ 1.0 (pow x 5))
18.7b
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt
94×times-frac
54×*-un-lft-identity
46×add-cube-cbrt
33×unpow-prod-down
20×difference-of-squares
19×associate-/r*
17×sqr-pow
16×cube-prod
13×add-exp-log
7×add-cbrt-cube
6×div-exp associate-/l*
5×distribute-lft-out-- add-log-exp
4×cube-mult unpow3 div-inv
3×pow1
2×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num
1×sub-neg flip3-- diff-log frac-sub flip--
Counts
3 → 148
Calls
3 calls:
9.0ms
(/ 1.0 (pow x 3))
8.0ms
(/ 1.0 (pow x 5))
123.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

series296.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(/ 1.0 (pow x 3))
73.0ms
(/ 1.0 (pow x 5))
180.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

simplify920.0ms

Counts
157 → 157
Iterations

Useful iterations: 2 (380.0ms)

IterNodesCost
02222185
14701927
219111883
done50001883

prune695.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes49.0ms

Accuracy

100% (0.0b remaining)

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

bsearch100.0ms

Steps
ItersRangePoint
11
9.093534403752284e-26
13730598.322931442
444.82063902682995
5
-1.1941517926520358e+22
-3.4477040080895885e+21
-1.007774957059092e+22

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02555
13341
done3341

end0.0ms

sample548.0ms

Algorithm
intervals
Results
335.0ms8000×body80valid