Details

Time bar (total: 9.6s)

analyze423.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
12.5%87.4%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

sample217.0ms

Algorithm
intervals
Results
83.0ms95×body1280valid
38.0ms77×body640valid
24.0ms43×body1280invalid
19.0ms42×body640invalid
15.0ms46×body320valid
7.0ms69×body80invalid
6.0ms27×body160valid
5.0ms17×body320invalid
2.0ms11×body160invalid
1.0ms11×body80valid

simplify76.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1407
2887
31417
43657
57807
610257
723097
850027

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 39.2b

Counts
2 → 1

localize19.0ms

Local error

Found 2 expressions with local error:

0.3b
(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.5b
(- (exp (neg im)) (exp im))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-sqr-sqrt *-un-lft-identity add-cbrt-cube
5×associate-*r*
4×add-log-exp
3×add-cube-cbrt sub-neg pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 40
Calls
2 calls:
20.0ms
(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
10.0ms
(- (exp (neg im)) (exp im))

series24.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms
(- (exp (neg im)) (exp im))

simplify48.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0241393
11046329
25001328

prune88.0ms

Filtered
32 candidates to 46 candidates (-43.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New42446
Fresh000
Picked101
Done000
Total43447

Merged error: 0.3b

Counts
47 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
0.1b
(* 1/60 (pow im 5))
0.1b
(* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.1b
(* -1/3 (pow im 3))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×associate-*r*
19×add-exp-log
13×add-cbrt-cube
12×add-cube-cbrt *-un-lft-identity
9×pow1 prod-exp add-log-exp
8×unpow-prod-down
7×associate-*l* unswap-sqr
5×cbrt-unprod
4×cube-prod sqr-pow
3×sub-neg pow-prod-down *-commutative
2×distribute-rgt-in pow-to-exp flip3-- distribute-lft-in diff-log associate-*r/ pow-exp flip--
1×cube-mult unpow3 sum-log associate--r+
Counts
4 → 94
Calls
4 calls:
6.0ms
(- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
5.0ms
(* 1/60 (pow im 5))
10.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
8.0ms
(* -1/3 (pow im 3))

series75.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
9.0ms
(* 1/60 (pow im 5))
53.0ms
(* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
4.0ms
(* -1/3 (pow im 3))

simplify71.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0447758
12066657
25001657

prune217.0ms

Filtered
65 candidates to 106 candidates (-63.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1024106
Fresh033
Picked011
Done000
Total1028110

Merged error: 0.2b

Counts
110 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* -1/3 (pow im 3))
0.2b
(* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
18.3b
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
18.3b
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
143×pow1
77×pow-prod-down
66×sqrt-pow1
21×add-sqr-sqrt
18×associate-*r/
17×pow-prod-up
16×sqrt-div associate-*r*
14×pow1/2
12×add-cube-cbrt *-un-lft-identity
11×add-exp-log pow-sqr
8×flip3-- add-cbrt-cube flip--
7×associate-*l*
6×sqrt-prod
5×unswap-sqr
4×frac-times unpow-prod-down cube-prod swap-sqr prod-exp add-log-exp
2×associate-*l/ *-commutative cbrt-unprod sqr-pow
1×pow2 cube-mult pow-to-exp pow-plus sqrt-unprod unpow3 pow-exp rem-square-sqrt
Counts
4 → 133
Calls
4 calls:
6.0ms
(* -1/3 (pow im 3))
32.0ms
(* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
15.0ms
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
9.0ms
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

series202.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* -1/3 (pow im 3))
74.0ms
(* (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
54.0ms
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
70.0ms
(sqrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

simplify105.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (87.0ms)

IterNodesCost
05741763
130121558
250011446

prune434.0ms

Filtered
75 candidates to 145 candidates (-93.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1414145
Fresh156
Picked011
Done011
Total14211153

Merged error: 0.2b

Counts
153 → 11

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (sin re) (pow (sqrt 0.5) 2)) (+ (* 1/60 (pow im 5)) (* 2 im)))
0.1b
(* -1/3 (* (pow im 3) (* (sin re) (pow (sqrt 0.5) 2))))
1.0b
(pow (sqrt 0.5) 2)
1.0b
(pow (sqrt 0.5) 2)

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
41×prod-exp
18×add-cbrt-cube
12×pow1 add-sqr-sqrt add-cube-cbrt unpow-prod-down *-un-lft-identity
10×pow-to-exp pow-exp
9×cbrt-unprod
6×pow-unpow pow-pow sqrt-prod
4×associate-*r* associate-*l* add-log-exp
2×sqrt-pow1 pow1/2 associate-*r/ pow-prod-down *-commutative sqrt-pow2 unpow2 sqr-pow
1×distribute-rgt-in distribute-lft-in flip3-+ flip-+
Counts
4 → 100
Calls
4 calls:
19.0ms
(* (* (sin re) (pow (sqrt 0.5) 2)) (+ (* 1/60 (pow im 5)) (* 2 im)))
20.0ms
(* -1/3 (* (pow im 3) (* (sin re) (pow (sqrt 0.5) 2))))
5.0ms
(pow (sqrt 0.5) 2)
6.0ms
(pow (sqrt 0.5) 2)

series107.0ms

Counts
4 → 8
Calls
4 calls:
81.0ms
(* (* (sin re) (pow (sqrt 0.5) 2)) (+ (* 1/60 (pow im 5)) (* 2 im)))
26.0ms
(* -1/3 (* (pow im 3) (* (sin re) (pow (sqrt 0.5) 2))))
0.0ms
(pow (sqrt 0.5) 2)
0.0ms
(pow (sqrt 0.5) 2)

simplify107.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (93.0ms)

IterNodesCost
0456797
12410579
25001541

prune197.0ms

Filtered
58 candidates to 108 candidates (-86.2%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1062108
Fresh178
Picked011
Done112
Total10811119

Merged error: 0.2b

Counts
119 → 11

regimes510.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02410
12410

end0.0ms

analyze423.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
12.5%87.4%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

sample6.0s

Algorithm
intervals
Results
2.5s3307×body1280valid
1.3s2527×body640valid
629.0ms1422×body1280invalid
369.0ms1175×body640invalid
330.0ms1254×body320valid
195.0ms2357×body80invalid
132.0ms601×body320invalid
108.0ms662×body160valid
49.0ms296×body160invalid
20.0ms250×body80valid

Profiling

Loading profile data...