Details

analyze343.0ms

Algorithm: search

sample152.0ms

Algorithm

intervals

Results

62.0ms	111×	body	1280	valid
26.0ms	82×	body	640	valid
17.0ms	51×	body	1280	invalid
11.0ms	34×	body	640	invalid
8.0ms	38×	body	320	valid
5.0ms	81×	body	80	invalid
5.0ms	27×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	6×	body	160	invalid
1.0ms	11×	body	80	valid

simplify66.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	40	7
2	88	7
3	141	7
4	365	7
5	780	7
6	1025	7
7	2309	7
8	5002	7

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 44.7b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.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:

10.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

series21.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify36.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	241	393
1	1046	329
2	5001	328

prune75.0ms

Filtered

32 candidates to 46 candidates (-43.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0.1b

Counts

47 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.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))
6.0ms	(* -1/3 (pow im 3))
11.0ms	(* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

series50.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))
4.0ms	(* 1/60 (pow im 5))
4.0ms	(* -1/3 (pow im 3))
36.0ms	(* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

simplify64.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	447	758
1	2066	657
2	5001	657

prune218.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	100	9	109

Merged error: 0.0b

Counts

109 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3--` `pow1/3` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `associate-*l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

8.0ms	(* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
9.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
10.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
9.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

series337.0ms

Counts

4 → 12

Calls

4 calls:

107.0ms	(* (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))))
76.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
76.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
77.0ms	(cbrt (* (* 0.5 (sin re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

simplify59.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	413	1954
1	1680	1759
2	5002	1624

prune738.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	80	13	93

Merged error: 0.0b

Counts

93 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
0.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

16.0ms	(* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
6.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
6.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
6.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))) (cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
22.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
20.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
19.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

simplify60.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	403	2076
1	1513	1955
2	5002	1832

prune568.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	1	9	10
Picked	0	1	1
Done	0	2	2
Total	98	14	112

Merged error: 0.0b

Counts

112 → 14

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

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

analyze346.0ms

Algorithm: search

sample4.6s

Algorithm

intervals

Results

1.9s	3231×	body	1280	valid
846.0ms	2575×	body	640	valid
541.0ms	1524×	body	1280	invalid
304.0ms	1228×	body	640	invalid
261.0ms	1268×	body	320	valid
165.0ms	2435×	body	80	invalid
113.0ms	631×	body	320	invalid
87.0ms	646×	body	160	valid
36.0ms	292×	body	160	invalid
18.0ms	280×	body	80	valid

Details

analyze343.0ms

sample152.0ms

simplify66.0ms

prune4.0ms

localize11.0ms

rewrite16.0ms

series21.0ms

simplify36.0ms

prune75.0ms

localize14.0ms

rewrite30.0ms

series50.0ms

simplify64.0ms

prune218.0ms

localize21.0ms

rewrite38.0ms

series337.0ms

simplify59.0ms

prune738.0ms

localize22.0ms

rewrite37.0ms

series86.0ms

simplify60.0ms

prune568.0ms

regimes681.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze346.0ms

sample4.6s

Profiling