Details

sample63.0ms

Algorithm

intervals

Results

45.0ms

682×

body

valid

simplify94.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	53	15
1	161	15
2	459	15
3	1323	15
4	2992	15
5	5001	15

prune6.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: 0.2b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
0.1b	(* (* a a) (+ 1.0 a))
0.4b	(pow (+ (* a a) (* b b)) 2.0)
1.0b	(* (* b b) (- 1.0 (* 3.0 a)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log`
14×	`add-cbrt-cube`
10×	`add-sqr-sqrt` `*-un-lft-identity`
8×	`add-cube-cbrt`
7×	`associate-r`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
3×	`unpow-prod-down` `pow-unpow`
2×	`sub-neg` `associate-+r+` `flip3-+` `associate-l` `*-commutative` `flip-+` `unswap-sqr`
1×	`+-commutative` `pow-to-exp` `flip3--` `pow-pow` `pow-exp` `sum-log` `flip--` `distribute-lft-out` `sqr-pow`

Counts

4 → 79

Calls

4 calls:

7.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
8.0ms	(* (* a a) (+ 1.0 a))
4.0ms	(pow (+ (* a a) (* b b)) 2.0)
7.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

series310.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
46.0ms	(* (* a a) (+ 1.0 a))
99.0ms	(pow (+ (* a a) (* b b)) 2.0)
52.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify69.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	504	702
1	2520	622
2	5003	622

prune215.0ms

Filtered

91 candidates to 61 candidates (67.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	4	92

Merged error: 0.0b

Counts

92 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
0.0b	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
0.0b	(* 2 (* (pow a 2) (pow b 2)))
2.7b	(* (pow a 2) (pow b 2))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-exp-log`
28×	`prod-exp`
27×	`add-sqr-sqrt`
16×	`unswap-sqr`
15×	`add-log-exp`
14×	`unpow-prod-down` `*-un-lft-identity`
12×	`pow-to-exp` `pow-exp`
11×	`associate-l` `add-cbrt-cube`
10×	`unpow2` `sqr-pow`
9×	`add-cube-cbrt` `associate-r`
6×	`pow1`
4×	`sum-log` `cbrt-unprod`
3×	`diff-log`
2×	`pow-prod-down` `*-commutative` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate--l+` `flip--` `flip-+` `distribute-lft-out` `difference-of-squares`

Counts

4 → 105

Calls

4 calls:

15.0ms	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
5.0ms	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
7.0ms	(* 2 (* (pow a 2) (pow b 2)))
8.0ms	(* (pow a 2) (pow b 2))

series183.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
58.0ms	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
35.0ms	(* 2 (* (pow a 2) (pow b 2)))
32.0ms	(* (pow a 2) (pow b 2))

simplify60.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	382	781
1	1594	688
2	5001	675

prune205.0ms

Filtered

117 candidates to 61 candidates (52.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	117	4	121

Merged error: 0.0b

Counts

121 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (* 3.0 a))
0.1b	(* (* a a) (+ 1.0 a))
0.3b	(pow (/ 1 a) -4.0)
1.0b	(* (* b b) (- 1.0 (* 3.0 a)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log`
16×	`pow1` `add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt` `add-cbrt-cube`
13×	`unpow-prod-down`
9×	`times-frac`
7×	`associate-r`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`associate-*r/` `pow-exp`
3×	`distribute-rgt-in` `sub-neg` `pow-unpow` `pow-pow` `distribute-lft-in`
2×	`flip3--` `div-exp` `associate-l` `*-commutative` `flip--` `unswap-sqr`
1×	`pow-to-exp` `rec-exp` `pow-flip` `flip3-+` `diff-log` `1-exp` `flip-+` `div-inv` `distribute-lft-out` `inv-pow` `sqr-pow`

Counts

4 → 93

Calls

4 calls:

3.0ms	(- 1.0 (* 3.0 a))
8.0ms	(* (* a a) (+ 1.0 a))
5.0ms	(pow (/ 1 a) -4.0)
7.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

series516.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(- 1.0 (* 3.0 a))
250.0ms	(* (* a a) (+ 1.0 a))
176.0ms	(pow (/ 1 a) -4.0)
55.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify67.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	504	513
1	2257	447
2	5001	445

prune207.0ms

Filtered

105 candidates to 62 candidates (59.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	106	3	109

Merged error: 0.0b

Counts

109 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow a 4.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
0.0b	(- 1.0 (* 3.0 a))
0.1b	(* (* a a) (+ 1.0 a))
1.0b	(* (* b b) (- 1.0 (* 3.0 a)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
7×	`associate-r`
6×	`add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
3×	`sub-neg`
2×	`associate-+r+` `flip3--` `flip3-+` `associate-l` `*-commutative` `flip--` `flip-+` `unswap-sqr`
1×	`+-commutative` `diff-log` `sum-log` `distribute-lft-out`

Counts

4 → 74

Calls

4 calls:

5.0ms	(+ (pow a 4.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
3.0ms	(- 1.0 (* 3.0 a))
8.0ms	(* (* a a) (+ 1.0 a))
8.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

series201.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(+ (pow a 4.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
37.0ms	(- 1.0 (* 3.0 a))
51.0ms	(* (* a a) (+ 1.0 a))
49.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify70.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	457	593
1	2264	514
2	5001	514

prune165.0ms

Filtered

86 candidates to 56 candidates (65.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	86	3	89

Merged error: 0.0b

Counts

89 → 3

regimes95.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	15
1	27	15

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.4s

20744×

body

valid

Details

sample63.0ms

simplify94.0ms

prune6.0ms

localize16.0ms

rewrite29.0ms

series310.0ms

simplify69.0ms

prune215.0ms

localize13.0ms

rewrite37.0ms

series183.0ms

simplify60.0ms

prune205.0ms

localize17.0ms

rewrite25.0ms

series516.0ms

simplify67.0ms

prune207.0ms

localize18.0ms

rewrite25.0ms

series201.0ms

simplify70.0ms

prune165.0ms

regimes95.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling