Details

sample127.0ms

Algorithm

intervals

Results

23.0ms	53×	body	1280	valid
19.0ms	289×	body	80	nan
13.0ms	183×	body	80	valid
12.0ms	26×	body	640	valid
9.0ms	12×	body	2560	valid
4.0ms	16×	body	320	valid
2.0ms	6×	body	160	valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	10
1	55	10
2	76	10
3	89	10
4	92	10
5	92	10

prune9.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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: 19.8b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.3b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
26.0b	(cos (- y (/ (* z t) 3.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-/r` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`cos-sum` `frac-2neg` `clear-num` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 72

Calls

4 calls:

5.0ms	(/ (* z t) 3.0)
4.0ms	(/ a (* b 3.0))
6.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
5.0ms	(cos (- y (/ (* z t) 3.0)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (* z t) 3.0)
18.0ms	(/ a (* b 3.0))
117.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
32.0ms	(cos (- y (/ (* z t) 3.0)))

simplify47.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	419	507
1	1751	432
2	5001	432

prune554.0ms

Filtered

84 candidates to 59 candidates (70.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	66	18	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	18	85

Merged error: 15.5b

Counts

85 → 18

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
29.5b	(cos (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `associate-r/` `associate-r` `pow-prod-down` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `flip3-+` `associate-l` `frac-add` `clear-num` `associate-/r` `cos-mult` `-commutative` `flip-+` `div-inv` `sin-mult`

Counts

4 → 58

Calls

4 calls:

4.0ms	(/ a (* b 3.0))
11.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))

series280.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/ a (* b 3.0))
233.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
10.0ms	(cos (/ (* z t) 3.0))
15.0ms	(sin (/ (* z t) 3.0))

simplify63.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	460	697
1	2089	586
2	5001	585

prune624.0ms

Filtered

70 candidates to 52 candidates (74.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	59	11	70
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	62	26	88

Merged error: 15.4b

Counts

88 → 26

localize33.0ms

Local error

Found 4 expressions with local error:

29.5b	(cos (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))

series60.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(cos (/ (* z t) 3.0))
19.0ms	(sin (/ (* z t) 3.0))
15.0ms	(sin (/ (* z t) 3.0))
16.0ms	(sin (/ (* z t) 3.0))

simplify107.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	36	190
1	52	162
2	63	162
3	72	162
4	100	162
5	174	162
6	693	162
7	2258	162
8	5001	162

prune515.0ms

Filtered

40 candidates to 36 candidates (90.0%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	35	5	40
Fresh	3	22	25
Picked	1	0	1
Done	0	0	0
Total	39	27	66

Merged error: 15.4b

Counts

66 → 27

localize37.0ms

Local error

Found 4 expressions with local error:

29.2b	(sin (* 0.3333333333333333 (* t z)))
29.5b	(cos (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))
29.7b	(sin (/ (* z t) 3.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`

Counts

4 → 28

Calls

4 calls:

3.0ms	(sin (* 0.3333333333333333 (* t z)))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))
4.0ms	(sin (/ (* z t) 3.0))

series56.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(sin (* 0.3333333333333333 (* t z)))
10.0ms	(cos (/ (* z t) 3.0))
15.0ms	(sin (/ (* z t) 3.0))
15.0ms	(sin (/ (* z t) 3.0))

simplify120.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	44	190
1	61	162
2	74	162
3	86	162
4	123	162
5	217	162
6	831	162
7	2762	162
8	5001	162

prune346.0ms

Filtered

40 candidates to 34 candidates (85.0%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	26	26
Picked	1	0	1
Done	0	0	0
Total	39	28	67

Merged error: 15.4b

Counts

67 → 28

regimes5.1s

Accuracy

54.5% (1.7b remaining)

Error of 18.3b against oracle of 16.6b and baseline of 20.3b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	55
1	65	55
2	65	55

end0.0ms

sample3.6s

Algorithm

intervals

Results

710.0ms	1612×	body	1280	valid
611.0ms	9033×	body	80	nan
402.0ms	5545×	body	80	valid
306.0ms	974×	body	640	valid
260.0ms	361×	body	2560	valid
95.0ms	423×	body	320	valid
29.0ms	181×	body	160	valid

Details

sample127.0ms

simplify10.0ms

prune9.0ms

localize16.0ms

rewrite22.0ms

series183.0ms

simplify47.0ms

prune554.0ms

localize25.0ms

rewrite21.0ms

series280.0ms

simplify63.0ms

prune624.0ms

localize33.0ms

rewrite9.0ms

series60.0ms

simplify107.0ms

prune515.0ms

localize37.0ms

rewrite12.0ms

series56.0ms

simplify120.0ms

prune346.0ms

regimes5.1s

bsearch3.0ms

simplify2.0ms

end0.0ms

sample3.6s

Profiling