Details

Time bar (total: 7.3s)

sample130.0ms

Algorithm
intervals
Results
61.0ms146×body1280valid
33.0ms122×body640valid
9.0ms58×body320valid
7.0ms151×body80valid
4.0ms43×body160valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1407
2887
31417
43657
57807
610797
725937
850027

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 45.0b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×sub-neg
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ associate-*l* *-commutative flip--
Counts
2 → 13
Calls
2 calls:
7.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
3.0ms
(- (exp (- im)) (exp im))

series116.0ms

Counts
2 → 6
Calls
2 calls:
80.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
35.0ms
(- (exp (- im)) (exp im))

simplify40.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 3 (37.0ms)

IterNodesCost
0130136
1360131
21098126
35001123

prune52.0ms

Filtered
19 candidates to 12 candidates (63.2%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New16319
Fresh000
Picked101
Done000
Total17320

Merged error: 0.1b

Counts
20 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
4×*-commutative
3×associate-*r*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l* sqr-pow
1×+-commutative flip3-- flip3-+ unpow3 flip-- flip-+
Counts
4 → 17
Calls
4 calls:
5.0ms
(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
3.0ms
(* 1/60 (pow im 5))
12.0ms
(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
3.0ms
(* 1/3 (pow im 3))

series395.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
49.0ms
(* 1/60 (pow im 5))
175.0ms
(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
36.0ms
(* 1/3 (pow im 3))

simplify144.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0199197
1690194
23326193
35001193

prune77.0ms

Filtered
29 candidates to 16 candidates (55.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New27229
Fresh022
Picked011
Done000
Total27532

Merged error: 0.1b

Counts
32 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
14×*-commutative
12×associate-*r*
8×associate-/l* difference-of-squares
4×associate-*r/ associate-*l*
2×distribute-rgt-in sub-neg flip3-- distribute-lft-in unpow3 associate-/r/ flip-- associate-/l/ sqr-pow
1×frac-2neg flip3-+ clear-num flip-+ div-inv
Counts
4 → 34
Calls
4 calls:
3.0ms
(* 1/3 (pow im 3))
3.0ms
(* 1/3 (pow im 3))
22.0ms
(* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
25.0ms
(/ (* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

series773.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* 1/3 (pow im 3))
36.0ms
(* 1/3 (pow im 3))
272.0ms
(* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
429.0ms
(/ (* (* 0.5 (sin re)) (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

simplify55.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0335616
11453583
25002574

prune146.0ms

Filtered
46 candidates to 28 candidates (60.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New45146
Fresh033
Picked011
Done011
Total45651

Merged error: 0.1b

Counts
51 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
15×associate-/r* associate-/r/
12×associate-*r* *-commutative
8×difference-of-squares
4×associate-*r/ associate-/l/
3×frac-2neg clear-num div-inv
2×flip3-- flip3-+ unpow3 flip-- flip-+ sqr-pow
Counts
4 → 36
Calls
4 calls:
3.0ms
(* 1/3 (pow im 3))
3.0ms
(* 1/3 (pow im 3))
30.0ms
(/ (sin re) (/ (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))))
24.0ms
(/ (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))

series663.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* 1/3 (pow im 3))
36.0ms
(* 1/3 (pow im 3))
427.0ms
(/ (sin re) (/ (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))))
166.0ms
(/ (+ (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))) (* 0.5 (- (* (* im -2) (* im -2)) (* (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))

simplify47.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0307684
11147658
25001582

prune149.0ms

Filtered
48 candidates to 33 candidates (68.8%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New46248
Fresh033
Picked101
Done022
Total47754

Merged error: 0.1b

Counts
54 → 7

regimes153.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02410
12410

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.1s4753×body1280valid
955.0ms3822×body640valid
285.0ms1790×body320valid
231.0ms4667×body80valid
108.0ms997×body160valid