Details

sample71.0ms

Algorithm

intervals

Results

51.0ms

685×

body

valid

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

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

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

8.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)
8.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

series318.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
54.0ms	(* (* a a) (+ 1.0 a))
101.0ms	(pow (+ (* a a) (* b b)) 2.0)
54.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify79.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (68.0ms)

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

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

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

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

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

series506.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))
147.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
153.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify45.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (35.0ms)

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

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

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

rewrite18.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))
4.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series555.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(cbrt (+ (* a a) (* b b)))
155.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))
155.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify86.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (77.0ms)

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

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

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

rewrite18.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))
5.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

series532.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(cbrt (+ (* a a) (* b b)))
148.0ms	(cbrt (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0))
143.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
150.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify80.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (71.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

regimes196.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

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

sample71.0ms

simplify55.0ms

prune7.0ms

localize17.0ms

rewrite31.0ms

series318.0ms

simplify79.0ms

prune304.0ms

localize22.0ms

rewrite23.0ms

series506.0ms

simplify45.0ms

prune325.0ms

localize34.0ms

rewrite18.0ms

series555.0ms

simplify86.0ms

prune433.0ms

localize37.0ms

rewrite18.0ms

series532.0ms

simplify80.0ms

prune451.0ms

regimes196.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.8s

Profiling