Details

Time bar (total: 5.2s)

sample40.0ms

Algorithm
intervals
Results
10.0ms302×body80valid
8.0ms334×body80nan

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0265
1575
21215
32415
43645
54905
66415
710235
817975
921555
1021615
1121615

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- 1.0 z) (log z))
0.0b
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.1b
(* y (+ (- 1.0 z) (log z)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
17×add-sqr-sqrt
13×add-cube-cbrt
11×associate-+l+
9×pow1 prod-diff
8×distribute-lft-out add-log-exp
7×associate-*r*
6×fma-def
5×add-exp-log associate-+r+ add-cbrt-cube distribute-lft-out--
4×log-pow
3×expm1-log1p-u log-prod flip3-+ associate-*l* sum-log flip-+ log1p-expm1-u
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/
1×associate-+l- sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
3 → 82
Calls
3 calls:
33.0ms
(+ (- 1.0 z) (log z))
20.0ms
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
76.0ms
(* y (+ (- 1.0 z) (log z)))

series286.0ms

Counts
3 → 9
Calls
3 calls:
159.0ms
(+ (- 1.0 z) (log z))
53.0ms
(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
73.0ms
(* y (+ (- 1.0 z) (log z)))

simplify54.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0410523
11823431
25001425

prune225.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (sqrt z))
0.0b
(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
0.0b
(+ (- 1.0 z) (log (sqrt z)))
0.1b
(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

rewrite462.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
22×distribute-lft-out
21×add-sqr-sqrt
19×pow1
17×add-cube-cbrt
14×log-pow
13×associate-*r*
12×log-prod
11×associate-+l+
9×prod-diff add-log-exp
8×associate-+r+
7×add-exp-log distribute-lft-out--
6×fma-def sqrt-prod add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u
3×flip3-+ associate-*l* sum-log flip-+
2×+-commutative distribute-rgt-in distribute-lft-in associate-*r/
1×associate-+l- sub-neg sqrt-pow1 pow1/2 diff-log rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 110
Calls
4 calls:
2.0ms
(log (sqrt z))
87.0ms
(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
34.0ms
(+ (- 1.0 z) (log (sqrt z)))
334.0ms
(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

series297.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(log (sqrt z))
86.0ms
(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
50.0ms
(+ (- 1.0 z) (log (sqrt z)))
100.0ms
(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

simplify68.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0521882
12210773
25003723

prune327.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (+ (+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z)))) (log (sqrt z))))
0.2b
(+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z))))
0.6b
(cbrt (sqrt z))
0.6b
(cbrt (sqrt z))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
18×cbrt-prod
16×add-sqr-sqrt
14×add-cube-cbrt
12×pow1 distribute-lft-out
9×associate-+r+ log-prod associate-*r* sqrt-prod
6×add-exp-log log-pow add-cbrt-cube
5×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-def associate-*l*
2×flip3-+ pow1/3 associate-*r/ flip-+
1×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in pow-prod-down prod-exp sum-log *-commutative cbrt-unprod fma-udef unswap-sqr
Counts
4 → 90
Calls
4 calls:
101.0ms
(* y (+ (+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z)))) (log (sqrt z))))
9.0ms
(+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z))))
2.0ms
(cbrt (sqrt z))
2.0ms
(cbrt (sqrt z))

series965.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(* y (+ (+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z)))) (log (sqrt z))))
470.0ms
(+ (fma 2 (log (cbrt (sqrt z))) (- 1.0 z)) (log (cbrt (sqrt z))))
144.0ms
(cbrt (sqrt z))
145.0ms
(cbrt (sqrt z))

simplify58.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0460944
11791868
25003849

prune392.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x 0.5) (pow (fma y (- 1.0 z) (* (log z) y)) 1))
0.1b
(fma y (- 1.0 z) (* (log z) y))
0.3b
(* (log z) y)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×pow1
5×add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
4×associate-*l*
3×expm1-log1p-u associate-*r* log1p-expm1-u
1×+-commutative fma-def flip3-+ pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
3 → 45
Calls
3 calls:
10.0ms
(+ (* x 0.5) (pow (fma y (- 1.0 z) (* (log z) y)) 1))
0.0ms
(fma y (- 1.0 z) (* (log z) y))
8.0ms
(* (log z) y)

series200.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(+ (* x 0.5) (pow (fma y (- 1.0 z) (* (log z) y)) 1))
86.0ms
(fma y (- 1.0 z) (* (log z) y))
62.0ms
(* (log z) y)

simplify134.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0279332
1991291
24591273
35001273

prune144.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes94.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02215
12215

end0.0ms

sample1.1s

Algorithm
intervals
Results
335.0ms9145×body80valid
241.0ms9091×body80nan