Details

Time bar (total: 5.4s)

sample36.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

localize12.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))))

rewrite54.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:
16.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))))

series267.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))
54.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
85.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify47.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0488942
11388894
25001876

prune285.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
3.9b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.0b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×*-un-lft-identity
21×associate-*r*
17×times-frac
16×add-cube-cbrt
14×add-exp-log
9×add-cbrt-cube
8×pow1
7×flip3-- flip-- add-log-exp
6×log-prod distribute-lft-out--
5×associate-*l* difference-of-squares
4×log-div prod-exp
3×associate--r+ unswap-sqr
2×frac-times sub-neg diff-log div-exp associate-*l/ associate-/r/ log-pow cbrt-unprod associate--r-
1×cbrt-undiv rec-exp 1-exp associate-*r/ rem-log-exp pow-prod-down un-div-inv *-commutative div-inv
Counts
4 → 96
Calls
4 calls:
5.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
13.0ms
(* (- x y) (/ 1 (- 1.0 y)))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
3.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series275.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
38.0ms
(* (- x y) (/ 1 (- 1.0 y)))
88.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
55.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify62.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0516863
12086789
25003762

prune243.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (/ (- x y) (- 1.0 y)) 3)
2.2b
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
3.9b
(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))))
10.7b
(/ (- (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)))

rewrite248.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:
14.0ms
(pow (/ (- x y) (- 1.0 y)) 3)
48.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
79.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))))
81.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)))

series868.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(pow (/ (- x y) (- 1.0 y)) 3)
180.0ms
(- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))
354.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))))
267.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)))

simplify123.0ms

Algorithm
egg-herbie
Counts
404 → 404
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
0135910607
1500210369

prune907.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.8b
(log (exp (- 1.0 (/ (- x y) (- 1.0 y)))))
3.9b
(log (log (exp (- 1.0 (/ (- x y) (- 1.0 y))))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
50×*-un-lft-identity
28×times-frac
20×add-cube-cbrt
18×difference-of-squares
16×log-prod
15×log-pow distribute-lft-out--
12×exp-prod
7×pow1 add-exp-log
6×add-cbrt-cube add-log-exp
5×associate-/r* associate-/l*
3×flip3-- div-sub exp-sum flip--
2×sub-neg rem-log-exp associate-/r/ associate-/l/ associate--r-
1×cbrt-undiv log-div frac-2neg exp-diff diff-log div-exp clear-num div-inv
Counts
4 → 109
Calls
4 calls:
8.0ms
(/ (- x y) (- 1.0 y))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
15.0ms
(log (exp (- 1.0 (/ (- x y) (- 1.0 y)))))
14.0ms
(log (log (exp (- 1.0 (/ (- x y) (- 1.0 y))))))

series236.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ (- x y) (- 1.0 y))
57.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
56.0ms
(log (exp (- 1.0 (/ (- x y) (- 1.0 y)))))
86.0ms
(log (log (exp (- 1.0 (/ (- x y) (- 1.0 y))))))

simplify42.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0443897
11271817
25001812

prune301.0ms

Pruning

4 alts after pruning (2 fresh and 2 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 17.4b

bsearch130.0ms

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

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03516
13516

end0.0ms

sample1.0s

Algorithm
intervals
Results
234.0ms5752×body80valid
167.0ms828×body1280valid
108.0ms757×body640valid
102.0ms3704×body80nan
58.0ms365×body1280nan
46.0ms368×body640nan
45.0ms422×body320valid
21.0ms219×body320nan
17.0ms241×body160valid
7.0ms113×body160nan