Details

Time bar (total: 29.6s)

sample38.0ms

Algorithm
intervals
Results
8.0ms49×body1280valid
7.0ms59×body640valid
4.0ms116×body80valid
2.0ms22×body320valid
1.0ms10×body160valid

simplify446.0ms

Counts
1 → 1
Iterations
IterNodes
done353
14353
13349
12343
11332
10222
996
875
758
639
527
421
319
216
112
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.1b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x 1.0))
0.0b
(/ (+ x 1.0) (- x 1.0))
3.0b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
52×times-frac
45×add-sqr-sqrt
23×add-cube-cbrt
18×distribute-lft-out distribute-lft-out--
9×associate-/r* difference-of-squares
7×add-exp-log add-cbrt-cube associate-/l*
5×add-log-exp
4×associate-/r/
3×pow1
2×cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 104
Calls
3 calls:
24.0ms
(/ x (+ x 1.0))
41.0ms
(/ (+ x 1.0) (- x 1.0))
177.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series374.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(/ x (+ x 1.0))
68.0ms
(/ (+ x 1.0) (- x 1.0))
242.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify4.6s

Counts
113 → 113
Iterations
IterNodes
done5002
34744
21262
1410
0176

prune658.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
0.4b
(/ 3.0 (* (* x x) x))
0.5b
(/ (- 1.0) (* x x))
5.0b
(- (/ (- 1.0) (* x x)) (/ 3.0 (* (* x x) x)))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
18×add-sqr-sqrt
15×*-un-lft-identity
14×times-frac
13×add-cube-cbrt associate-/l*
7×prod-exp cbrt-unprod
6×distribute-lft-neg-in distribute-rgt-neg-in pow-plus pow-prod-up add-log-exp
5×cbrt-undiv div-exp
3×associate-*r* pow-prod-down
2×pow2 neg-sub0 neg-mul-1 frac-2neg div-sub clear-num associate-/r* pow-sqr div-inv difference-of-squares
1×associate--l- sub-neg flip3-- diff-log distribute-frac-neg associate-*l* pow3 *-commutative frac-sub flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 105
Calls
4 calls:
41.0ms
(* (* x x) x)
40.0ms
(/ 3.0 (* (* x x) x))
21.0ms
(/ (- 1.0) (* x x))
159.0ms
(- (/ (- 1.0) (* x x)) (/ 3.0 (* (* x x) x)))

series412.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* (* x x) x)
81.0ms
(/ 3.0 (* (* x x) x))
62.0ms
(/ (- 1.0) (* x x))
202.0ms
(- (/ (- 1.0) (* x x)) (/ 3.0 (* (* x x) x)))

simplify2.2s

Counts
117 → 117
Iterations
IterNodes
done5000
21340
1393
0159

prune650.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ x (+ x 1.0)))
0.3b
(cbrt (/ x (+ x 1.0)))
0.3b
(cbrt (/ x (+ x 1.0)))
3.0b
(- (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (/ (+ x 1.0) (- x 1.0)))

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
54×cbrt-prod
46×*-un-lft-identity
36×times-frac
28×add-sqr-sqrt add-cube-cbrt
15×cbrt-div
9×distribute-lft-out
7×frac-sub
6×associate-/r/ add-log-exp
5×frac-times associate-*l/
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 associate-*r/ flip-+ div-inv
1×sub-neg flip3-- diff-log flip--
Counts
4 → 100
Calls
4 calls:
11.0ms
(cbrt (/ x (+ x 1.0)))
11.0ms
(cbrt (/ x (+ x 1.0)))
11.0ms
(cbrt (/ x (+ x 1.0)))
225.0ms
(- (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (/ (+ x 1.0) (- x 1.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
273.0ms
(cbrt (/ x (+ x 1.0)))
281.0ms
(cbrt (/ x (+ x 1.0)))
299.0ms
(cbrt (/ x (+ x 1.0)))
271.0ms
(- (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (/ (+ x 1.0) (- x 1.0)))

simplify4.7s

Counts
112 → 112
Iterations
IterNodes
done5002
34408
21160
1418
0179

prune831.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize159.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (/ x (+ x 1.0)))
0.3b
(cbrt (/ x (+ x 1.0)))
0.3b
(cbrt (/ x (+ x 1.0)))
3.0b
(- (* (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0))))) (* (/ (+ x 1.0) (- x 1.0)) (/ (+ x 1.0) (- x 1.0))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
579×cbrt-div
450×frac-times
324×associate-*l/
228×associate-*r/
189×frac-sub
54×cbrt-prod
46×*-un-lft-identity
36×times-frac
28×add-sqr-sqrt add-cube-cbrt
9×distribute-lft-out
6×associate-/r/ add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+ div-inv
1×sub-neg flip3-- diff-log flip-- difference-of-squares
Counts
4 → 283
Calls
4 calls:
11.0ms
(cbrt (/ x (+ x 1.0)))
11.0ms
(cbrt (/ x (+ x 1.0)))
11.0ms
(cbrt (/ x (+ x 1.0)))
1.2s
(- (* (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0))))) (* (/ (+ x 1.0) (- x 1.0)) (/ (+ x 1.0) (- x 1.0))))

series1.3s

Counts
4 → 12
Calls
4 calls:
282.0ms
(cbrt (/ x (+ x 1.0)))
284.0ms
(cbrt (/ x (+ x 1.0)))
275.0ms
(cbrt (/ x (+ x 1.0)))
437.0ms
(- (* (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0)))) (* (* (cbrt (/ x (+ x 1.0))) (cbrt (/ x (+ x 1.0)))) (cbrt (/ x (+ x 1.0))))) (* (/ (+ x 1.0) (- x 1.0)) (/ (+ x 1.0) (- x 1.0))))

simplify4.6s

Counts
295 → 295
Iterations
IterNodes
done5001
24221
11691
0607

prune2.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes114.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 31.5b

bsearch166.0ms

Steps
ItersRangePoint
8
87.84726908649233
263824.51516633737
13279.350724760021
10
-75476531921.81544
-1.440408271564231
-14987.585935258317

simplify12.0ms

Iterations
IterNodes
done33
133
024

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s1728×body1280valid
364.0ms1243×body640valid
304.0ms4053×body80valid
163.0ms648×body320valid
36.0ms328×body160valid