Details

Time bar (total: 10.9s)

sample71.0ms

Algorithm
intervals
Results
28.0ms63×body1280valid
12.0ms48×body640valid
7.0ms152×body80valid
6.0ms25×body320valid
3.0ms107×body80nan
1.0ms13×body160valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (4.0ms)

IterNodesCost
0811
11511
2249
3519
41009
52379
65679
728469
done50019

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ x (+ x y))
6.7b
(pow (/ x (+ x y)) x)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
18×unpow-prod-down
7×add-exp-log distribute-lft-out
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1 pow-unpow associate-/l*
2×flip3-+ div-exp pow-exp flip-+ div-inv add-log-exp
1×cbrt-undiv pow-to-exp pow-pow frac-2neg clear-num sqr-pow
Counts
2 → 66
Calls
2 calls:
5.0ms
(/ x (+ x y))
8.0ms
(pow (/ x (+ x y)) x)

series271.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(/ x (+ x y))
230.0ms
(pow (/ x (+ x y)) x)

simplify761.0ms

Counts
72 → 72
Iterations

Useful iterations: done (759.0ms)

IterNodesCost
0129836
1308785
2993756
done5000754

prune149.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.4b
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
13×unpow-prod-down
12×cbrt-div
9×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/r/
6×flip3-+ flip-+
5×pow1 pow-exp
4×frac-times div-exp prod-exp add-cbrt-cube add-log-exp
3×pow-unpow pow1/3
2×associate-*r/ associate-*l/
1×pow-to-exp pow-pow times-frac div-inv sqr-pow
Counts
4 → 64
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
16.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

series806.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt x)
177.0ms
(cbrt x)
174.0ms
(cbrt x)
280.0ms
(pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)

simplify1.7s

Counts
76 → 76
Iterations

Useful iterations: 3 (534.0ms)

IterNodesCost
01501093
13571017
2950899
33495878
done5000878

prune242.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod
10×*-un-lft-identity
8×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
2×cbrt-div
1×flip3-+ flip-+ distribute-lft-out
Counts
4 → 47
Calls
4 calls:
2.0ms
(cbrt (+ x y))
0.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series872.0ms

Counts
4 → 12
Calls
4 calls:
334.0ms
(cbrt (+ x y))
180.0ms
(cbrt x)
177.0ms
(cbrt x)
181.0ms
(cbrt x)

simplify2.7s

Counts
59 → 59
Iterations

Useful iterations: 4 (781.0ms)

IterNodesCost
069356
1143335
2338309
3903297
44964295
done5000295

prune192.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes47.0ms

Accuracy

88.8% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 5.9b

bsearch62.0ms

Steps
ItersRangePoint
7
1.7032345034745653e-05
0.0005333266348582408
0.0005238356276561065
4
-3.226264717511912e+140
-1.7940569278775236e+140
-1.8181743492396227e+140

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01949
12445
done2445

end0.0ms

sample1.7s

Algorithm
intervals
Results
647.0ms1550×body1280valid
361.0ms1465×body640valid
201.0ms4851×body80valid
126.0ms819×body320valid
91.0ms3111×body80nan
45.0ms462×body160valid