Details

Time bar (total: 8.8s)

sample17.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify2.0ms

Counts
1 → 1
Iterations
IterNodes
done6
16
05

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize6.0ms

Local error

Found 1 expressions with local error:

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

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

series72.0ms

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

simplify1.1s

Counts
32 → 32
Iterations
IterNodes
done5000
2783
1183
074

prune126.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (pow x 3) x)
4.6b
(/ x (- (* (pow x 3) x) (* 1.0 1.0)))
16.0b
(* (/ x (- (* (pow x 3) x) (* 1.0 1.0))) (- (* x x) 1.0))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
27×associate-*l*
23×*-un-lft-identity add-cube-cbrt
19×times-frac
15×add-exp-log
12×add-cbrt-cube
7×associate-*r*
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×distribute-rgt-in frac-times cbrt-undiv sub-neg distribute-lft-in div-exp associate-*r/ *-commutative div-inv sqr-pow
1×cube-mult pow-to-exp clear-num frac-2neg pow-plus unpow3 pow-prod-down associate-*l/ pow-exp pow-prod-up difference-of-squares
Counts
3 → 105
Calls
3 calls:
19.0ms
(* (pow x 3) x)
13.0ms
(/ x (- (* (pow x 3) x) (* 1.0 1.0)))
84.0ms
(* (/ x (- (* (pow x 3) x) (* 1.0 1.0))) (- (* x x) 1.0))

series408.0ms

Counts
3 → 9
Calls
3 calls:
50.0ms
(* (pow x 3) x)
206.0ms
(/ x (- (* (pow x 3) x) (* 1.0 1.0)))
153.0ms
(* (/ x (- (* (pow x 3) x) (* 1.0 1.0))) (- (* x x) 1.0))

simplify2.8s

Counts
114 → 114
Iterations
IterNodes
done5000
23202
1550
0191

prune426.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite693.0ms

Algorithm
rewrite-expression-head
Rules
109×add-sqr-sqrt
97×times-frac
69×*-un-lft-identity
47×add-cube-cbrt
33×unpow-prod-down
20×difference-of-squares
19×associate-/r*
17×sqr-pow
16×cube-prod
14×add-exp-log
11×add-log-exp
8×add-cbrt-cube distribute-lft-out--
6×div-exp div-inv associate-/l*
5×distribute-lft-out
4×cube-mult pow1 unpow3
3×frac-add
2×pow-to-exp cbrt-undiv associate-+l+ clear-num sum-log sub-neg frac-2neg flip3-- diff-log pow-exp frac-sub flip--
1×+-commutative flip3-+ associate-+l- flip-+
Counts
4 → 171
Calls
4 calls:
579.0ms
(+ (- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3))) (/ 1 x))
6.0ms
(/ 1.0 (pow x 5))
7.0ms
(/ 1.0 (pow x 3))
89.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(+ (- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3))) (/ 1 x))
91.0ms
(/ 1.0 (pow x 5))
47.0ms
(/ 1.0 (pow x 3))
200.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

simplify1.0s

Counts
183 → 183
Iterations
IterNodes
done5002
22555
1576
0258

prune813.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes94.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch110.0ms

Steps
ItersRangePoint
10
5.09324609688744e-06
47495130.80298876
476.33445129265164
6
-3.88562222724269e+24
-6.437211764621e+23
-3.83760315849384e+24

simplify7.0ms

Iterations
IterNodes
done33
133
025

end0.0ms

sample467.0ms

Algorithm
intervals
Results
301.0ms8000×body80valid