Details

Time bar (total: 12.6s)

sample46.0ms

Algorithm
intervals
Results
17.0ms256×body80valid
7.0ms256×pre80true

simplify4.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
12215
24815
310215
420515
538715
683115
7362215
done500015

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.0b

localize38.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) (* y y))
20.2b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-exp-log add-cbrt-cube
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times add-cube-cbrt *-un-lft-identity add-log-exp
3×flip3-- times-frac associate-/r* flip--
2×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ associate-/r/
1×+-commutative frac-2neg prod-exp clear-num sum-log cbrt-unprod div-inv associate-/l*
Counts
2 → 42
Calls
2 calls:
15.0ms
(+ (* x x) (* y y))
56.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series165.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(+ (* x x) (* y y))
115.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify1.9s

Counts
48 → 48
Iterations

Useful iterations: 2 (473.0ms)

IterNodesCost
091826
1346802
22658666
done5000666

prune297.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune10.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

localize56.0ms

Local error

Found 4 expressions with local error:

20.3b
(cbrt (+ (* x x) (* y y)))
20.3b
(cbrt (+ (* x x) (* y y)))
20.3b
(cbrt (+ (* x x) (* y y)))
20.4b
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
16×add-exp-log
12×flip3-+ add-cbrt-cube flip-+
9×cbrt-prod
8×frac-times associate-/r/ associate-/l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv associate-*r/ div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
3×flip3-- pow1/3 flip--
1×frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 76
Calls
4 calls:
9.0ms
(cbrt (+ (* x x) (* y y)))
9.0ms
(cbrt (+ (* x x) (* y y)))
9.0ms
(cbrt (+ (* x x) (* y y)))
77.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

series811.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(cbrt (+ (* x x) (* y y)))
169.0ms
(cbrt (+ (* x x) (* y y)))
166.0ms
(cbrt (+ (* x x) (* y y)))
319.0ms
(/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))

simplify2.0s

Counts
88 → 88
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01391992
14731834
228481576
done50011557

prune620.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.6b

regimes258.0ms

Accuracy

77.3% (4.5b remaining)

Error of 4.9b against oracle of 0.4b and baseline of 20.2b

bsearch137.0ms

Steps
ItersRangePoint
8
1.0095394390452263e-170
4.5053414536057826e-167
4.425126226680901e-167
9
-3.4461463933520937e-161
-3.1883648954557053e-167
-1.6194904278371335e-161
5
-3.251690204975706e+154
-9.96161025005455e+153
-1.0142476237434665e+154

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02044
12830
done2830

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.1s8000×body80valid
313.0ms8000×pre80true