Details

Time bar (total: 7.6s)

sample37.0ms

Algorithm
intervals
Results
7.0ms186×body80valid
5.0ms26×body1280valid
4.0ms28×body640valid
3.0ms107×body80nan
2.0ms12×body1280nan
1.0ms10×body640nan
1.0ms10×body320valid
1.0ms8×body320nan
0.0ms6×body160valid
0.0ms2×body160nan

simplify18.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: 17.9b

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))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.9b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite58.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:
19.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms
(/ (- x y) (- 1.0 y))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series278.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
41.0ms
(/ (- x y) (- 1.0 y))
49.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
85.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify60.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0488942
11388894
25001876

prune290.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity
10×cbrt-prod
7×add-cube-cbrt
6×add-log-exp
5×pow1 add-exp-log
4×cbrt-div flip3-- add-cbrt-cube flip--
3×log-prod
2×log-div pow1/3 distribute-lft-out-- difference-of-squares
1×sub-neg diff-log rem-log-exp log-pow
Counts
4 → 56
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
3.0ms
(cbrt (- 1.0 y))
5.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
3.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

series333.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(cbrt (- 1.0 y))
89.0ms
(cbrt (- 1.0 y))
91.0ms
(log (- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y))))))
54.0ms
(- 1.0 (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))))

simplify41.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0338876
11019796
25001759

prune230.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
3.9b
(log (/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
10.7b
(/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
11.7b
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
122×add-sqr-sqrt
78×times-frac
65×difference-of-squares
58×*-un-lft-identity
48×sqr-pow
45×log-prod
40×add-cube-cbrt
16×unpow-prod-down cube-prod
13×associate-/l*
9×add-exp-log distribute-lft-out--
8×difference-cubes
6×add-cbrt-cube add-log-exp
5×pow1 cbrt-prod
4×associate-/r/
3×flip3-- associate-/r* flip--
2×cbrt-div flip3-+ div-exp rem-log-exp flip-+ div-inv associate-/l/
1×cbrt-undiv sub-neg log-div frac-2neg pow1/3 diff-log div-sub clear-num log-pow
Counts
4 → 165
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
83.0ms
(log (/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
62.0ms
(/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
9.0ms
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))

series1.3s

Counts
4 → 12
Calls
4 calls:
89.0ms
(cbrt (- 1.0 y))
386.0ms
(log (/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
357.0ms
(/ (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
432.0ms
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))

simplify162.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
087810231
132869844
250029836

prune750.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

3.9b
(log (/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
6.4b
(/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
11.7b
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))
11.9b
(log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
146×add-sqr-sqrt
113×log-pow
104×exp-prod
102×times-frac
74×*-un-lft-identity
72×difference-of-squares
62×log-prod
56×add-cube-cbrt
54×sqr-pow
18×unpow-prod-down cube-prod
17×associate-/l*
13×pow1
9×difference-cubes add-exp-log distribute-lft-out--
6×add-cbrt-cube add-log-exp
4×associate-/r/
3×log-div rem-log-exp associate-/r*
2×sub-neg flip3-+ exp-diff div-exp exp-sum flip-+ div-inv
1×cbrt-undiv flip3-- frac-2neg diff-log div-sub clear-num flip--
Counts
4 → 204
Calls
4 calls:
67.0ms
(log (/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
64.0ms
(/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
9.0ms
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))
11.0ms
(log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))))

series1.3s

Counts
4 → 12
Calls
4 calls:
367.0ms
(log (/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0))))
327.0ms
(/ (log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3)))) (+ (* (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) (+ (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 1.0)) (* 1.0 1.0)))
291.0ms
(- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))
279.0ms
(log (exp (- (pow 1.0 3) (pow (* (/ 1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (- x y) (cbrt (- 1.0 y)))) 3))))

simplify184.0ms

Algorithm
egg-herbie
Counts
216 → 216
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
083612995
1293712294
2500112268

prune939.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes120.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 16.3b

bsearch150.0ms

Steps
ItersRangePoint
10
7.521372480586488e-07
27530559744.528915
76447033.33081697
10
-5.651135004763443e+21
-1608183693.8472729
-1630045945.922767

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03823
13823

end0.0ms

sample1.0s

Algorithm
intervals
Results
227.0ms5752×body80valid
174.0ms828×body1280valid
107.0ms757×body640valid
104.0ms3704×body80nan
58.0ms365×body1280nan
46.0ms368×body640nan
42.0ms422×body320valid
19.0ms219×body320nan
16.0ms241×body160valid
6.0ms113×body160nan