Details

Time bar (total: 5.4s)

sample107.0ms

Algorithm
intervals
Results
38.0ms86×body1280valid
27.0ms80×body640valid
17.0ms258×body80valid
8.0ms39×body320valid
3.0ms24×body160valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (10.0ms)

IterNodesCost
0237
1607
21127
32367
45206
57026
615146
722846
850016

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
4×*-un-lft-identity associate-*r*
3×pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt associate-*r/
1×distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ log1p-expm1-u distribute-lft-out add-log-exp
Counts
1 → 25
Calls
1 calls:
30.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

series60.0ms

Counts
1 → 3
Calls
1 calls:
59.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

simplify36.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0219263
11151215
25001213

prune59.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
0.0b
(* (* 0.5 (cos re)) (exp im))
0.0b
(/ (* 0.5 (cos re)) (exp im))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube
9×add-exp-log
8×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×fma-def
6×times-frac
5×add-log-exp
4×prod-exp cbrt-unprod
3×expm1-log1p-u associate-*r* pow-prod-down associate-/r* log1p-expm1-u div-inv
2×cbrt-undiv div-exp
1×+-commutative frac-2neg flip3-+ associate-*l* clear-num sum-log *-commutative flip-+ distribute-lft-out associate-/l*
Counts
3 → 64
Calls
3 calls:
10.0ms
(+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
9.0ms
(* (* 0.5 (cos re)) (exp im))
5.0ms
(/ (* 0.5 (cos re)) (exp im))

series155.0ms

Counts
3 → 9
Calls
3 calls:
81.0ms
(+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
37.0ms
(* (* 0.5 (cos re)) (exp im))
37.0ms
(/ (* 0.5 (cos re)) (exp im))

simplify50.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0297490
11687421
25001416

prune168.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (exp (- im)) (exp (- im)))
0.0b
(pow (exp (- im)) 3)
0.3b
(/ (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
6.6b
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
86×exp-prod
48×*-un-lft-identity
36×add-sqr-sqrt
34×add-cube-cbrt
27×distribute-rgt-neg-in
23×distribute-lft-neg-in
22×exp-neg
20×associate-/r/
19×neg-sub0 exp-diff
18×frac-add
16×add-cbrt-cube
15×pow-prod-down
13×add-exp-log pow-sqr pow-prod-up
12×pow1 frac-times
11×pow-pow
10×flip3-- flip--
9×neg-mul-1
8×associate-*r/
6×associate-*l/ add-log-exp
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u
3×cbrt-undiv unpow-prod-down pow-unpow times-frac cube-prod swap-sqr div-exp associate-*r* associate-*l* associate-/r* un-div-inv
2×cube-div flip3-+ flip-+ associate-/l/
1×pow2 cube-mult pow-to-exp sub-neg distribute-rgt-out-- frac-2neg pow-plus fma-neg diff-log unpow3 prod-diff pow-exp clear-num *-commutative div-inv associate-/l* rem-cube-cbrt unswap-sqr sqr-pow
Counts
4 → 175
Calls
4 calls:
28.0ms
(* (exp (- im)) (exp (- im)))
5.0ms
(pow (exp (- im)) 3)
114.0ms
(/ (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
7.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

series305.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* (exp (- im)) (exp (- im)))
26.0ms
(pow (exp (- im)) 3)
215.0ms
(/ (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
48.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

simplify187.0ms

Algorithm
egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 2 (168.0ms)

IterNodesCost
010072368
149891807
250011791

prune542.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes61.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0129
1129

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.4s2961×body1280valid
727.0ms2518×body640valid
574.0ms8477×body80valid
229.0ms1143×body320valid
84.0ms610×body160valid