Details

sample66.0ms

Algorithm

intervals

Results

47.0ms

685×

body

valid

simplify52.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	55	15
1	179	14
2	561	13
3	1824	13
4	5002	13

prune7.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	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.3b	(pow (+ (* a a) (* b b)) 2.0)
0.9b	(* (* b b) (- 1.0 (* 3.0 a)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 100

Calls

4 calls:

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

series302.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
51.0ms	(* (* a a) (+ 1.0 a))
99.0ms	(pow (+ (* a a) (* b b)) 2.0)
47.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify72.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	564	828
1	2826	724
2	5001	715

prune292.0ms

Filtered

112 candidates to 80 candidates (71.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	106	6	112
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	106	7	113

Merged error: 0.0b

Counts

113 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.9b	(* (* b b) (- 1.0 (* 3.0 a)))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
14×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log` `unpow-prod-down` `add-cbrt-cube`
6×	`prod-diff`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `sqr-pow`
2×	`sub-neg` `associate-*r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

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

series502.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
151.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
151.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
146.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify43.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	315	769
1	1231	692
2	5002	681

prune515.0ms

Filtered

96 candidates to 74 candidates (77.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	96	7	103

Merged error: 0.0b

Counts

103 → 7

localize32.0ms

Local error

Found 4 expressions with local error:

8.7b	(cbrt (+ (* a a) (* b b)))
15.2b	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

22×	`cbrt-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`unpow-prod-down`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`sqr-pow`
2×	`cbrt-div`
1×	`flip3-+` `flip-+`

Counts

4 → 64

Calls

4 calls:

4.0ms	(cbrt (+ (* a a) (* b b)))
4.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
8.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series527.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(cbrt (+ (* a a) (* b b)))
146.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
148.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
141.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify86.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (74.0ms)

Iter	Nodes	Cost
0	274	737
1	864	681
2	3001	672
3	5002	666

prune421.0ms

Filtered

76 candidates to 67 candidates (88.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	76	7	83

Merged error: 0.0b

Counts

83 → 7

localize35.0ms

Local error

Found 4 expressions with local error:

8.7b	(cbrt (+ (* a a) (* b b)))
15.2b	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
19.2b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

22×	`cbrt-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`unpow-prod-down`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `pow1/3` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`sqr-pow`
2×	`cbrt-div`
1×	`flip3-+` `flip-+`

Counts

4 → 64

Calls

4 calls:

4.0ms	(cbrt (+ (* a a) (* b b)))
4.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
7.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series536.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(cbrt (+ (* a a) (* b b)))
145.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
147.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
147.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify83.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (74.0ms)

Iter	Nodes	Cost
0	274	737
1	864	681
2	3001	672
3	5002	666

prune451.0ms

Filtered

76 candidates to 67 candidates (88.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	76	7	83

Merged error: 0.0b

Counts

83 → 7

regimes195.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

20567×

body

valid

Details

sample66.0ms

simplify52.0ms

prune7.0ms

localize16.0ms

rewrite32.0ms

series302.0ms

simplify72.0ms

prune292.0ms

localize20.0ms

rewrite26.0ms

series502.0ms

simplify43.0ms

prune515.0ms

localize32.0ms

rewrite22.0ms

series527.0ms

simplify86.0ms

prune421.0ms

localize35.0ms

rewrite21.0ms

series536.0ms

simplify83.0ms

prune451.0ms

regimes195.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling