Details

Time bar (total: 6.9s)

sample119.0ms

Algorithm
intervals
Results
44.0ms91×body1280valid
25.0ms71×body640valid
23.0ms257×body80valid
10.0ms47×body320valid
3.0ms18×body160valid

simplify75.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 3 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity
9×times-frac
7×add-cbrt-cube
6×add-exp-log
5×pow1
3×expm1-log1p-u associate-*r* associate-*l* associate-/r* log1p-expm1-u associate-/l* add-log-exp
1×cbrt-undiv frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
3 → 59
Calls
3 calls:
3.0ms
(* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))
0.0ms
(fma 0.5 (exp im) (/ 0.5 (exp im)))
3.0ms
(/ 0.5 (exp im))

series133.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(* (fma 0.5 (exp im) (/ 0.5 (exp im))) (cos re))
48.0ms
(fma 0.5 (exp im) (/ 0.5 (exp im)))
14.0ms
(/ 0.5 (exp im))

simplify118.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 3 (113.0ms)

IterNodesCost
0215417
1712366
24318366
35001364

prune178.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 0.5 (exp im) (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im)))))
0.0b
(/ (sqrt 0.5) (sqrt (exp im)))
0.0b
(/ (sqrt 0.5) (sqrt (exp im)))
1.0b
(* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
330×add-sqr-sqrt
324×sqrt-prod
312×times-frac
176×add-cube-cbrt *-un-lft-identity
68×swap-sqr
40×associate-*r* associate-*l*
25×unswap-sqr
20×add-exp-log add-cbrt-cube
12×associate-/r* associate-/l*
11×pow1
6×cbrt-undiv sqrt-undiv div-exp div-inv
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×frac-2neg clear-num
1×pow2 frac-times pow-plus sqrt-unprod associate-*r/ pow-prod-down associate-*l/ rem-square-sqrt pow-sqr *-commutative pow-prod-up fma-udef
Counts
4 → 337
Calls
4 calls:
0.0ms
(fma 0.5 (exp im) (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im)))))
5.0ms
(/ (sqrt 0.5) (sqrt (exp im)))
5.0ms
(/ (sqrt 0.5) (sqrt (exp im)))
54.0ms
(* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))))

series280.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(fma 0.5 (exp im) (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im)))))
54.0ms
(/ (sqrt 0.5) (sqrt (exp im)))
48.0ms
(/ (sqrt 0.5) (sqrt (exp im)))
71.0ms
(* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im))))

simplify94.0ms

Algorithm
egg-herbie
Counts
349 → 349
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
07244621
139034098
250024041

prune703.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 0.5 (exp im) (cbrt (/ (pow 0.5 3) (pow (exp im) 3))))
0.0b
(/ (pow 0.5 3) (pow (exp im) 3))
0.0b
(pow (exp im) 3)
1.0b
(cbrt (/ (pow 0.5 3) (pow (exp im) 3)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
288×times-frac
159×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
153×unpow-prod-down cube-prod
148×cbrt-prod
51×cube-mult unpow3 sqr-pow
13×add-exp-log
12×associate-/r* associate-/l*
9×div-exp
7×pow-to-exp pow-exp add-cbrt-cube
5×pow1
4×expm1-log1p-u pow-pow log1p-expm1-u add-log-exp
3×pow-unpow exp-prod
2×div-inv
1×cbrt-undiv cbrt-div frac-2neg pow1/3 clear-num fma-udef rem-cube-cbrt
Counts
4 → 387
Calls
4 calls:
0.0ms
(fma 0.5 (exp im) (cbrt (/ (pow 0.5 3) (pow (exp im) 3))))
9.0ms
(/ (pow 0.5 3) (pow (exp im) 3))
2.0ms
(pow (exp im) 3)
11.0ms
(cbrt (/ (pow 0.5 3) (pow (exp im) 3)))

series149.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(fma 0.5 (exp im) (cbrt (/ (pow 0.5 3) (pow (exp im) 3))))
61.0ms
(/ (pow 0.5 3) (pow (exp im) 3))
24.0ms
(pow (exp im) 3)
20.0ms
(cbrt (/ (pow 0.5 3) (pow (exp im) 3)))

simplify114.0ms

Algorithm
egg-herbie
Counts
399 → 399
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
05992999
127652888
250012772

prune557.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 0.5 (exp im) (/ 0.5 (exp im)))
0.0b
(/ 0.5 (exp im))
0.0b
(/ 0.5 (exp im))
0.0b
(* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×times-frac
13×add-cbrt-cube
11×add-exp-log
9×pow1
6×associate-*l* associate-/r* associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp sqrt-prod cbrt-unprod
2×cbrt-undiv frac-2neg div-exp clear-num div-inv
1×associate-*r* *-commutative fma-udef
Counts
4 → 91
Calls
4 calls:
0.0ms
(fma 0.5 (exp im) (/ 0.5 (exp im)))
3.0ms
(/ 0.5 (exp im))
3.0ms
(/ 0.5 (exp im))
11.0ms
(* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))

series136.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(fma 0.5 (exp im) (/ 0.5 (exp im)))
12.0ms
(/ 0.5 (exp im))
12.0ms
(/ 0.5 (exp im))
70.0ms
(* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (* (sqrt (fma 0.5 (exp im) (/ 0.5 (exp im)))) (cos re)))

simplify113.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 3 (101.0ms)

IterNodesCost
0250703
1813589
23776589
35002583

prune328.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes55.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
01213
11213

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.4s2900×body1280valid
756.0ms2480×body640valid
747.0ms8439×body80valid
259.0ms1219×body320valid
94.0ms597×body160valid