Details

Time bar (total: 5.1s)

analyze348.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
25%74.9%0.1%4
62.4%37.5%0.1%5
62.4%37.5%0.1%6
62.4%31.2%6.3%7
62.4%31.2%6.3%8
62.4%28.1%9.5%9
62.4%28.1%9.5%10
62.4%26.5%11%11
62.4%26.5%11%12
62.4%25.8%11.8%13
62.4%25.8%11.8%14

sample96.0ms

Algorithm
intervals
Results
23.0ms41×body1280valid
16.0ms45×body1280invalid
12.0ms43×body640valid
8.0ms142×body80valid
7.0ms32×body640invalid
6.0ms18×body320invalid
5.0ms77×body80invalid
4.0ms20×body320valid
1.0ms10×body160valid
1.0ms9×body160invalid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
010612
110612

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log *-un-lft-identity add-cbrt-cube
4×associate-*r* add-log-exp
3×add-sqr-sqrt add-cube-cbrt pow-prod-down prod-exp cbrt-unprod
2×flip3-+ associate-*r/ flip-+ distribute-lft-out
1×+-commutative distribute-rgt-in distribute-lft-in associate-*l* sum-log *-commutative
Counts
2 → 35
Calls
2 calls:
6.0ms
(+ (exp (- 0.0 im)) (exp im))
11.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

series19.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(+ (exp (- 0.0 im)) (exp im))
15.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

simplify38.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05057485

prune72.0ms

Filtered
29 candidates to 41 candidates (-41.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New38341
Fresh000
Picked101
Done000
Total39342

Merged error: 0b

Counts
42 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
7×pow1 add-cube-cbrt *-un-lft-identity associate-*r* add-cbrt-cube
6×associate-*l*
5×add-exp-log add-log-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×+-commutative sub-neg flip3-+ exp-diff associate-*r/ exp-sum sum-log flip-+ distribute-lft-out
Counts
3 → 50
Calls
3 calls:
10.0ms
(+ (* 0.5 (* (sin re) (exp (- 0.0 im)))) (* 0.5 (* (sin re) (exp im))))
5.0ms
(* (sin re) (exp im))
8.0ms
(* (sin re) (exp (- 0.0 im)))

series34.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(+ (* 0.5 (* (sin re) (exp (- 0.0 im)))) (* 0.5 (* (sin re) (exp im))))
7.0ms
(* (sin re) (exp im))
8.0ms
(* (sin re) (exp (- 0.0 im)))

simplify46.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05199570

prune84.0ms

Filtered
44 candidates to 59 candidates (-34.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New58159
Fresh112
Picked101
Done000
Total60262

Merged error: 0b

Counts
62 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp (- 0.0 im)))
0.0b
(sqrt (exp (- 0.0 im)))
0.0b
(* (sin re) (sqrt (exp (- 0.0 im))))
0.0b
(* (* (sin re) (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
17×*-un-lft-identity sqrt-prod
14×associate-*r*
13×pow1 add-cube-cbrt
12×sqrt-pow1
11×add-exp-log add-cbrt-cube
10×exp-prod
7×exp-diff sqrt-div
4×sub-neg associate-*r/ associate-*l* exp-sum pow-prod-down prod-exp cbrt-unprod add-log-exp
2×rem-sqrt-square pow1/2 *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×frac-times associate-*l/
Counts
4 → 89
Calls
4 calls:
4.0ms
(sqrt (exp (- 0.0 im)))
4.0ms
(sqrt (exp (- 0.0 im)))
11.0ms
(* (sin re) (sqrt (exp (- 0.0 im))))
15.0ms
(* (* (sin re) (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))))

series25.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (exp (- 0.0 im)))
3.0ms
(sqrt (exp (- 0.0 im)))
11.0ms
(* (sin re) (sqrt (exp (- 0.0 im))))
8.0ms
(* (* (sin re) (sqrt (exp (- 0.0 im)))) (sqrt (exp (- 0.0 im))))

simplify54.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05038793

prune169.0ms

Filtered
71 candidates to 101 candidates (-42.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1010101
Fresh011
Picked011
Done000
Total1012103

Merged error: 0b

Counts
103 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp im) 3)
0.1b
(pow (exp (- 0.0 im)) 3)
0.3b
(/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 2) (- (pow (exp im) 2) (exp 0.0))))
4.9b
(- (pow (exp im) 2) (exp 0.0))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
50×distribute-lft-out
45×times-frac
36×add-sqr-sqrt
32×unpow-prod-down
31×cube-prod
28×add-cube-cbrt
12×distribute-lft-out--
10×pow-pow
9×associate-/l*
8×exp-prod add-cbrt-cube
6×pow1 add-exp-log pow-unpow sum-cubes add-log-exp
5×associate-/r* difference-of-squares
3×sub-neg sqr-pow
2×cube-mult pow-to-exp flip3-+ unpow3 exp-sum pow-exp associate-/r/ flip-+ associate-/l/ rem-cube-cbrt
1×cbrt-undiv cube-div flip3-- frac-2neg exp-diff diff-log div-exp clear-num flip-- div-inv unpow2
Counts
4 → 148
Calls
4 calls:
3.0ms
(pow (exp im) 3)
6.0ms
(pow (exp (- 0.0 im)) 3)
30.0ms
(/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 2) (- (pow (exp im) 2) (exp 0.0))))
6.0ms
(- (pow (exp im) 2) (exp 0.0))

series62.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(pow (exp im) 3)
5.0ms
(pow (exp (- 0.0 im)) 3)
44.0ms
(/ (+ (pow (exp (- 0.0 im)) 3) (pow (exp im) 3)) (+ (pow (exp (- 0.0 im)) 2) (- (pow (exp im) 2) (exp 0.0))))
8.0ms
(- (pow (exp im) 2) (exp 0.0))

simplify90.0ms

Algorithm
egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
049513382
149513382

prune328.0ms

Filtered
83 candidates to 160 candidates (-92.8%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1600160
Fresh000
Picked011
Done011
Total1602162

Merged error: 0b

Counts
162 → 2

regimes148.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02124
12124

end0.0ms

analyze344.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
25%74.9%0.1%4
62.4%37.5%0.1%5
62.4%37.5%0.1%6
62.4%31.2%6.3%7
62.4%31.2%6.3%8
62.4%28.1%9.5%9
62.4%28.1%9.5%10
62.4%26.5%11%11
62.4%26.5%11%12
62.4%25.8%11.8%13
62.4%25.8%11.8%14

sample3.0s

Algorithm
intervals
Results
793.0ms1471×body1280valid
516.0ms1481×body1280invalid
378.0ms1318×body640valid
299.0ms1261×body640invalid
269.0ms4265×body80valid
142.0ms2359×body80invalid
112.0ms625×body320valid
95.0ms569×body320invalid
47.0ms342×body160invalid
39.0ms321×body160valid

Profiling

Loading profile data...