Details

Time bar (total: 9.6s)

sample37.0ms

Algorithm
intervals
Results
10.0ms189×body80valid
5.0ms25×body1280valid
3.0ms24×body640valid
3.0ms94×body80nan
1.0ms10×body1280nan
1.0ms14×body320valid
1.0ms9×body640nan
0.0ms6×body320nan
0.0ms4×body160valid
0.0ms4×body160nan

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.4b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
1.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
5.0b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
51×*-un-lft-identity
28×times-frac
19×difference-of-squares
18×add-cube-cbrt
17×distribute-lft-out--
12×log-prod
7×add-exp-log add-log-exp
6×pow1 flip3-- add-cbrt-cube flip-- associate--r+
5×associate-/r* associate-/l*
4×log-div
3×associate--r-
2×sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num div-inv
Counts
4 → 108
Calls
4 calls:
22.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
13.0ms
(/ (- x y) (- 1.0 y))
20.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
19.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series271.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms
(/ (- x y) (- 1.0 y))
56.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
88.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify44.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0488942
11388894
25001876

prune313.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
5.0b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
11.8b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
15×*-un-lft-identity
14×cbrt-prod
12×times-frac difference-of-squares
9×log-prod
7×add-cube-cbrt
6×add-log-exp
5×pow1 add-exp-log
4×cbrt-div flip3-- add-cbrt-cube flip-- distribute-lft-out--
2×log-div pow1/3 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 69
Calls
4 calls:
2.0ms
(cbrt (- 1.0 y))
2.0ms
(cbrt (- 1.0 y))
60.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
61.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series323.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(cbrt (- 1.0 y))
93.0ms
(cbrt (- 1.0 y))
86.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
52.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify97.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 3 (80.0ms)

IterNodesCost
03801130
19701010
23612986
35002982

prune261.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (/ (- x y) (- 1.0 y)) 3)
1.3b
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
5.0b
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
8.0b
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

rewrite513.0ms

Algorithm
rewrite-expression-head
Rules
510×add-sqr-sqrt
312×times-frac
222×*-un-lft-identity
212×difference-of-squares
175×unpow-prod-down cube-prod
105×log-prod
102×add-cube-cbrt
81×sqr-pow
60×distribute-lft-out--
33×associate-/l*
12×add-exp-log
9×add-cbrt-cube
8×difference-cubes associate-/r/
6×pow1 add-log-exp
4×flip3-- flip-- div-inv
3×pow-unpow div-exp associate-/r*
2×cbrt-undiv flip3-+ rem-log-exp pow-exp flip-+ associate-/l/ rem-cube-cbrt
1×cube-div cube-mult pow-to-exp sub-neg log-div pow-pow frac-2neg diff-log unpow3 div-sub clear-num log-pow
Counts
4 → 392
Calls
4 calls:
13.0ms
(pow (/ (- x y) (- 1.0 y)) 3)
74.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
111.0ms
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
283.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

series872.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(pow (/ (- x y) (- 1.0 y)) 3)
182.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
357.0ms
(log (/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
272.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))

simplify125.0ms

Algorithm
egg-herbie
Counts
404 → 404
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
0135910607
1500210369

prune964.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

1.3b
(- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3)))
5.0b
(log (/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
8.0b
(/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
15.8b
(/ (pow (- x y) 3) (pow (- 1.0 y) 3))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
1603×add-sqr-sqrt
1200×times-frac
612×difference-of-squares
562×unpow-prod-down cube-prod
426×sqr-pow
411×*-un-lft-identity
259×add-cube-cbrt
222×log-prod
88×associate-/l*
76×distribute-lft-out--
34×cube-mult unpow3
21×add-exp-log
19×associate-/r*
11×div-exp
8×add-cbrt-cube
6×pow-to-exp pow-exp associate-/r/ add-log-exp
5×pow1
4×cube-div flip3-- flip-- associate-/l/
3×div-inv
2×cbrt-undiv frac-2neg flip3-+ rem-log-exp clear-num flip-+
1×sub-neg log-div diff-log div-sub log-pow
Counts
4 → 934
Calls
4 calls:
169.0ms
(- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3)))
214.0ms
(log (/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
759.0ms
(/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
27.0ms
(/ (pow (- x y) 3) (pow (- 1.0 y) 3))

series807.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3)))
331.0ms
(log (/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))))
242.0ms
(/ (- (pow 1.0 3) (/ (pow (- x y) 3) (pow (- 1.0 y) 3))) (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))
81.0ms
(/ (pow (- x y) 3) (pow (- 1.0 y) 3))

simplify259.0ms

Algorithm
egg-herbie
Counts
946 → 946
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0192325352
1500225165

prune2.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

regimes146.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 17.1b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03326
13326

end0.0ms

sample1.0s

Algorithm
intervals
Results
217.0ms5655×body80valid
161.0ms818×body1280valid
108.0ms783×body640valid
104.0ms3691×body80nan
54.0ms360×body1280nan
48.0ms497×body320valid
40.0ms356×body640nan
17.0ms200×body320nan
16.0ms247×body160valid
6.0ms118×body160nan