Details

Time bar (total: 4.8s)

sample61.0ms

Algorithm
intervals
Results
12.0ms186×body80valid
8.0ms15×body1280nan
7.0ms31×body640valid
5.0ms15×body1280valid
5.0ms110×body80nan
3.0ms19×body320valid
1.0ms7×body640nan
1.0ms6×body320nan
1.0ms5×body160valid
0.0ms4×body160nan

simplify20.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.1b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
1.6b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
44×*-un-lft-identity
27×times-frac
16×add-cube-cbrt difference-of-squares
14×distribute-lft-out--
6×add-exp-log log-prod
5×associate-/r* add-cbrt-cube associate-/l* add-log-exp
4×pow1 flip3-- flip--
2×log-div div-sub associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num log-pow div-inv associate--r-
Counts
3 → 85
Calls
3 calls:
13.0ms
(/ (- x y) (- 1.0 y))
20.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
20.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series176.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(/ (- x y) (- 1.0 y))
50.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
85.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify37.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0397707
11115663
25001658

prune218.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 y))
0.3b
(cbrt (- 1.0 y))
3.1b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
11.0b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite126.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)))))
60.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))
91.0ms
(cbrt (- 1.0 y))
87.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
54.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify89.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 3 (78.0ms)

IterNodesCost
03801130
19701010
23612986
35002982

prune258.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

1.6b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×log-prod
15×*-un-lft-identity
8×difference-of-squares
7×pow1 add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
3×rem-log-exp log-pow
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 67
Calls
4 calls:
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
22.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
20.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
19.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series319.0ms

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

simplify54.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0194742
1481673
21890661
35002661

prune268.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.1b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
10.6b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
13.3b
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
48×log-prod
28×difference-of-squares
22×*-un-lft-identity
18×unpow-prod-down cube-prod
10×times-frac sqr-pow
8×pow1 add-exp-log add-cube-cbrt log-div
7×distribute-lft-out--
4×rem-log-exp log-pow add-cbrt-cube add-log-exp
3×flip3-- flip--
1×difference-cubes flip3-+ flip-+
Counts
4 → 92
Calls
4 calls:
20.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
21.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
40.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
73.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

series679.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
84.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
170.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
339.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))

simplify54.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
05021529
114881392
250021377

prune501.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

regimes152.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch131.0ms

Steps
ItersRangePoint
11
0.004380743253548005
1.4777983484669568e+17
31980879.898730252
8
-852931462.9897757
-1008652.5027185878
-96388745.0459895

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03622
13622

end0.0ms

sample1.0s

Algorithm
intervals
Results
220.0ms5672×body80valid
161.0ms819×body1280valid
114.0ms804×body640valid
102.0ms3814×body80nan
55.0ms369×body1280nan
49.0ms494×body320valid
40.0ms355×body640nan
18.0ms212×body320nan
14.0ms211×body160valid
6.0ms115×body160nan