Details

Time bar (total: 7.3s)

sample80.0ms

Algorithm
intervals
Results
19.0ms29×body1280valid
17.0ms194×body80valid
15.0ms33×body640valid
8.0ms75×body80nan
5.0ms17×body320valid
3.0ms15×body160valid

simplify111.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1277
2547
31097
43077
57777
641457
750027

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.9b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (exp (* y (log (/ y (+ z y))))) y)
0.0b
(exp (* y (log (/ y (+ z y)))))
0.1b
(* y (log (/ y (+ z y))))
7.5b
(log (/ y (+ z y)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
273×times-frac
234×log-prod
232×*-un-lft-identity
180×exp-sum
156×add-sqr-sqrt
154×add-cube-cbrt
108×distribute-rgt-in distribute-lft-in
39×distribute-lft-out associate-/l*
26×associate-/r/
14×div-inv
13×flip3-+ flip-+
10×add-exp-log
8×pow1 add-cbrt-cube
6×add-log-exp
4×associate-*r*
3×associate-*l* associate-/r*
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div exp-prod exp-to-pow frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 301
Calls
4 calls:
36.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
10.0ms
(exp (* y (log (/ y (+ z y)))))
11.0ms
(* y (log (/ y (+ z y))))
4.0ms
(log (/ y (+ z y)))

series502.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
229.0ms
(exp (* y (log (/ y (+ z y)))))
72.0ms
(* y (log (/ y (+ z y))))
54.0ms
(log (/ y (+ z y)))

simplify82.0ms

Algorithm
egg-herbie
Counts
313 → 313
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
08273276
126532828
250022813

prune621.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
0.0b
(/ (pow (exp y) (log (/ y (+ z y)))) y)
0.1b
(pow (exp y) (log (/ y (+ z y))))
7.5b
(log (/ y (+ z y)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
147×times-frac
127×*-un-lft-identity
108×log-prod
90×unpow-prod-up
89×add-sqr-sqrt add-cube-cbrt
25×associate-/l*
19×distribute-lft-out
15×unpow-prod-down
12×associate-/r/
11×add-exp-log
7×pow1 flip3-+ flip-+ div-inv
6×add-cbrt-cube add-log-exp
5×sqr-pow
4×pow-unpow pow-pow div-exp
3×log-div exp-prod associate-/r*
2×pow-to-exp rem-log-exp pow-exp log-pow pow-sub
1×cbrt-undiv +-commutative frac-2neg clear-num sum-log associate-/l/
Counts
4 → 199
Calls
4 calls:
40.0ms
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
18.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
6.0ms
(pow (exp y) (log (/ y (+ z y))))
4.0ms
(log (/ y (+ z y)))

series391.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(+ x (/ (pow (exp y) (log (/ y (+ z y)))) y))
103.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
151.0ms
(pow (exp y) (log (/ y (+ z y))))
51.0ms
(log (/ y (+ z y)))

simplify69.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
07052270
126372228
250012192

prune650.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
2.7b
(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)
3.2b
(log (/ (cbrt y) (cbrt (+ z y))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
53×cbrt-prod
51×*-un-lft-identity
48×log-prod
43×times-frac
35×add-sqr-sqrt add-cube-cbrt
20×add-exp-log
18×cbrt-div
13×unpow-prod-down
10×associate-/r/
9×flip3-+ flip-+
8×distribute-lft-out
6×pow1
5×div-exp pow-exp
4×frac-times prod-exp add-cbrt-cube add-log-exp
3×pow-unpow
2×pow1/3 associate-*r/ rem-log-exp associate-*l/ div-inv
1×pow-to-exp log-div pow-pow log-pow sqr-pow
Counts
4 → 118
Calls
4 calls:
2.0ms
(cbrt (+ z y))
2.0ms
(cbrt (+ z y))
14.0ms
(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)
6.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

series611.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (+ z y))
126.0ms
(cbrt (+ z y))
286.0ms
(pow (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))) y)
68.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

simplify52.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
06261366
119621297
250011239

prune515.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.2b
(pow (sqrt (/ y (+ z y))) y)
3.2b
(log (sqrt (/ y (+ z y))))
4.2b
(sqrt (/ y (+ z y)))
4.2b
(sqrt (/ y (+ z y)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
63×*-un-lft-identity
50×times-frac
45×add-sqr-sqrt
39×add-cube-cbrt
21×unpow-prod-down log-prod
12×distribute-lft-out
10×pow1
8×associate-/r/
6×add-exp-log
4×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ div-inv add-log-exp
3×pow-unpow pow-pow sqrt-div log-pow
1×pow-to-exp log-div rem-log-exp pow-exp sqrt-pow2 sqr-pow
Counts
4 → 131
Calls
4 calls:
12.0ms
(pow (sqrt (/ y (+ z y))) y)
4.0ms
(log (sqrt (/ y (+ z y))))
6.0ms
(sqrt (/ y (+ z y)))
6.0ms
(sqrt (/ y (+ z y)))

series464.0ms

Counts
4 → 12
Calls
4 calls:
261.0ms
(pow (sqrt (/ y (+ z y))) y)
84.0ms
(log (sqrt (/ y (+ z y))))
64.0ms
(sqrt (/ y (+ z y)))
55.0ms
(sqrt (/ y (+ z y)))

simplify43.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
04031019
11334946
25001934

prune466.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes90.0ms

Accuracy

47.1% (0.6b remaining)

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

bsearch62.0ms

Steps
ItersRangePoint
8
-1.9583052665026904e+19
-865616285789687.6
-23989478599247524.0

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02311
12311

end0.0ms

sample2.2s

Algorithm
intervals
Results
556.0ms6488×body80valid
525.0ms801×body1280valid
405.0ms937×body640valid
176.0ms2960×body80nan
158.0ms536×body320valid
56.0ms294×body160valid