Details

analyze139.0ms

Algorithm: search

sample23.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	430	14
3	1195	14
4	2526	14
5	5001	14

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

Counts

2 → 1

localize15.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) (+ 3.0 a)))))
0.0b	(* (* a a) (- 1.0 a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log`
14×	`add-cbrt-cube`
12×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`associate-r`
8×	`add-cube-cbrt`
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` `distribute-lft-out--` `difference-of-squares` `sqr-pow`

Counts

4 → 81

Calls

4 calls:

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

series56.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
5.0ms	(* (* a a) (- 1.0 a))
21.0ms	(pow (+ (* a a) (* b b)) 2.0)
6.0ms	(* (* b b) (+ 3.0 a))

simplify73.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	549	670
1	2714	602
2	5001	598

prune143.0ms

Filtered

63 candidates to 93 candidates (-47.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	4	94

Merged error: 0.0b

Counts

94 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* b b) (+ 3.0 a))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
13×	`*-un-lft-identity`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt`
9×	`pow1` `add-exp-log` `unpow-prod-down` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod` `sqr-pow`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `associate-l` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

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

series105.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (* b b) (+ 3.0 a))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
32.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
32.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify40.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	292	649
1	1183	595
2	5002	577

prune227.0ms

Filtered

64 candidates to 81 candidates (-26.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	81	4	85

Merged error: 0.0b

Counts

85 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))
18.9b	(cbrt (pow (+ (* a a) (* b b)) 2.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp` `sqr-pow`

Counts

4 → 60

Calls

4 calls:

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

series134.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
33.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))
34.0ms	(cbrt (pow (+ (* a a) (* b b)) 2.0))

simplify44.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (35.0ms)

Iter	Nodes	Cost
0	134	700
1	306	656
2	1030	632
3	5001	604

prune269.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	72	4	76

Merged error: 0.0b

Counts

76 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
0.0b	(* 2 (* (pow a 2) (pow b 2)))
3.3b	(* (pow a 2) (pow b 2))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-exp-log`
28×	`prod-exp`
24×	`add-sqr-sqrt`
16×	`unswap-sqr`
14×	`unpow-prod-down`
12×	`pow-to-exp` `pow-exp`
11×	`associate-l`
10×	`*-un-lft-identity` `add-cbrt-cube` `unpow2` `sqr-pow`
9×	`associate-r`
8×	`add-cube-cbrt` `add-log-exp`
5×	`pow1`
4×	`cbrt-unprod`
3×	`sum-log`
2×	`pow-prod-down` `*-commutative`
1×	`+-commutative` `associate-+r+` `flip3-+` `flip-+` `distribute-lft-out`

Counts

3 → 90

Calls

3 calls:

7.0ms	(+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
7.0ms	(* 2 (* (pow a 2) (pow b 2)))
7.0ms	(* (pow a 2) (pow b 2))

series25.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
7.0ms	(* 2 (* (pow a 2) (pow b 2)))
6.0ms	(* (pow a 2) (pow b 2))

simplify50.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	330	587
1	1424	506
2	5001	495

prune127.0ms

Filtered

50 candidates to 99 candidates (-98.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	99	4	103

Merged error: 0.0b

Counts

103 → 4

regimes131.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	35
1	31	35

end0.0ms

analyze136.0ms

Algorithm: search

sample639.0ms

Algorithm

intervals

Results

510.0ms	8000×	body	80	valid
0.0ms	7×	body	80	invalid

Details

analyze139.0ms

sample23.0ms

simplify74.0ms

prune3.0ms

localize15.0ms

rewrite31.0ms

series56.0ms

simplify73.0ms

prune143.0ms

localize20.0ms

rewrite24.0ms

series105.0ms

simplify40.0ms

prune227.0ms

localize24.0ms

rewrite21.0ms

series134.0ms

simplify44.0ms

prune269.0ms

localize12.0ms

rewrite25.0ms

series25.0ms

simplify50.0ms

prune127.0ms

regimes131.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze136.0ms

sample639.0ms

Profiling