Details

Time bar (total: 5.3s)

sample108.0ms

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

simplify73.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0237
1587
2957
32097
44597
56297
614157
721487
850027

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

rewrite27.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 distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out add-log-exp
Counts
1 → 23
Calls
1 calls:
26.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

series66.0ms

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

simplify39.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0215246
11120199
25002198

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

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

rewrite23.0ms

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

series159.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(+ (/ (* 0.5 (cos re)) (exp im)) (* (* 0.5 (cos re)) (exp im)))
35.0ms
(* (* 0.5 (cos re)) (exp im))
40.0ms
(/ (* 0.5 (cos re)) (exp im))

simplify51.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0284450
11619391
25002384

prune133.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

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

rewrite156.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×prod-exp cbrt-unprod
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 diff-log unpow3 pow-exp clear-num *-commutative div-inv associate-/l* rem-cube-cbrt unswap-sqr sqr-pow
Counts
4 → 165
Calls
4 calls:
26.0ms
(* (exp (- im)) (exp (- im)))
5.0ms
(pow (exp (- im)) 3)
112.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)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* (exp (- im)) (exp (- im)))
28.0ms
(pow (exp (- im)) 3)
208.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)))))
49.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

simplify175.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
09612305
147671729
250011729

prune512.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes60.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
716.0ms2518×body640valid
563.0ms8477×body80valid
227.0ms1143×body320valid
84.0ms610×body160valid