Details

Time bar (total: 12.1s)

sample22.0ms

Algorithm
intervals
Results
9.0ms425×body80valid

simplify2.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
done67

prune1.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x x) (* y y))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 11
Calls
1 calls:
8.0ms
(+ (* x x) (* y y))

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(+ (* x x) (* y y))

simplify1.7s

Counts
14 → 14
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
030166
1100161
2291131
3694131
41837131
done5000131

prune34.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (* y y))
1.6b
(- (pow x 4) (pow y 4))
34.5b
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
95×add-sqr-sqrt
70×difference-of-squares
56×times-frac
48×unpow-prod-down
47×*-un-lft-identity
36×sqr-pow
23×add-cube-cbrt
14×associate-/l*
12×distribute-lft-out--
7×add-log-exp
5×add-exp-log add-cbrt-cube
4×flip3-- associate-/r* flip--
3×pow1
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
Counts
3 → 127
Calls
3 calls:
12.0ms
(- (* x x) (* y y))
19.0ms
(- (pow x 4) (pow y 4))
82.0ms
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

series205.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(- (* x x) (* y y))
65.0ms
(- (pow x 4) (pow y 4))
100.0ms
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

simplify1.1s

Counts
136 → 136
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02213074
15222853
215902757
done50012437

prune326.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
5.7b
(cbrt (* (- x y) (+ y x)))
5.7b
(cbrt (* (- x y) (+ y x)))
5.7b
(cbrt (- (* x x) (* y y)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
162×cbrt-div
144×frac-times
80×associate-/r/
61×flip3-- flip3-+ flip-- flip-+
48×associate-*r/ associate-*l/
9×add-exp-log
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×cbrt-prod
4×pow1 add-log-exp
3×times-frac pow1/3 associate-/l*
2×cbrt-undiv div-exp associate-/l/
1×frac-2neg prod-exp clear-num associate-/r* cbrt-unprod div-inv difference-of-squares
Counts
4 → 151
Calls
4 calls:
98.0ms
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
18.0ms
(cbrt (* (- x y) (+ y x)))
18.0ms
(cbrt (* (- x y) (+ y x)))
17.0ms
(cbrt (- (* x x) (* y y)))

series804.0ms

Counts
4 → 12
Calls
4 calls:
327.0ms
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
184.0ms
(cbrt (* (- x y) (+ y x)))
162.0ms
(cbrt (* (- x y) (+ y x)))
131.0ms
(cbrt (- (* x x) (* y y)))

simplify1.2s

Counts
163 → 163
Iterations

Useful iterations: done (1.1s)

IterNodesCost
03434650
17194575
219404247
done50014199

prune961.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

4.2b
(/ (- (* x x) (* y y)) (* (cbrt (+ x y)) (cbrt (- x y))))
5.5b
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
5.7b
(cbrt (* (- x y) (+ y x)))
5.7b
(cbrt (* (- x y) (+ y x)))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
172×cbrt-div
148×frac-times
88×associate-/r/
64×flip3-- flip3-+ flip-- flip-+
50×associate-*r/ associate-*l/
14×add-exp-log
10×add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×times-frac associate-/l*
4×pow1 cbrt-undiv div-exp associate-/l/ add-log-exp
2×cbrt-prod frac-2neg pow1/3 prod-exp clear-num associate-/r* cbrt-unprod div-inv difference-of-squares
1×div-sub
Counts
4 → 171
Calls
4 calls:
44.0ms
(/ (- (* x x) (* y y)) (* (cbrt (+ x y)) (cbrt (- x y))))
92.0ms
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
28.0ms
(cbrt (* (- x y) (+ y x)))
18.0ms
(cbrt (* (- x y) (+ y x)))

series1.0s

Counts
4 → 12
Calls
4 calls:
325.0ms
(/ (- (* x x) (* y y)) (* (cbrt (+ x y)) (cbrt (- x y))))
289.0ms
(/ (+ (pow x 2) (* y y)) (* (cbrt (* (- x y) (+ y x))) (cbrt (* (- x y) (+ y x)))))
209.0ms
(cbrt (* (- x y) (+ y x)))
202.0ms
(cbrt (* (- x y) (+ y x)))

simplify1.4s

Counts
183 → 183
Iterations

Useful iterations: done (1.4s)

IterNodesCost
04105269
19425198
229574968
done50004932

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes122.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
done67

end0.0ms

sample1.2s

Algorithm
intervals
Results
403.0ms14072×body80valid