Details

sample48.0ms

Algorithm

intervals

Results

31.0ms

688×

body

valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	8
1	41	8
2	67	8
3	119	8
4	309	8
5	1494	8
6	5001	8

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

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0)
0.0b	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
0.0b	(* 4.0 (* b b))
0.3b	(pow (+ (* a a) (* b b)) 2.0)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 63

Calls

4 calls:

9.0ms	(- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0)
6.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
5.0ms	(* 4.0 (* b b))
4.0ms	(pow (+ (* a a) (* b b)) 2.0)

series269.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0)
67.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
24.0ms	(* 4.0 (* b b))
103.0ms	(pow (+ (* a a) (* b b)) 2.0)

simplify137.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	309	549
1	1144	520
2	4418	513
3	5002	513

prune148.0ms

Filtered

75 candidates to 53 candidates (70.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Merged error: 0b

Counts

76 → 3

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)))))
0.0b	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
0.0b	(* 2 (* (pow a 2) (pow b 2)))
2.4b	(* (pow a 2) (pow b 2))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 108

Calls

4 calls:

7.0ms	(+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
10.0ms	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
7.0ms	(* 2 (* (pow a 2) (pow b 2)))
11.0ms	(* (pow a 2) (pow b 2))

series179.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
51.0ms	(- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
41.0ms	(* 2 (* (pow a 2) (pow b 2)))
32.0ms	(* (pow a 2) (pow b 2))

simplify58.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	390	833
1	1683	750
2	5002	738

prune211.0ms

Filtered

120 candidates to 64 candidates (53.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	120	3	123

Merged error: 0b

Counts

123 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 4.0 (* b b))
0.2b	(pow (pow (+ (* a a) (* b b)) 2.0) 3)
0.3b	(pow (+ (* a a) (* b b)) 2.0)
27.2b	(cbrt (pow (pow (+ (* a a) (* b b)) 2.0) 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

29×	`unpow-prod-down`
20×	`cbrt-prod`
18×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
14×	`cube-prod`
12×	`add-exp-log`
10×	`pow1` `add-cbrt-cube`
7×	`sqr-pow`
6×	`pow-unpow`
5×	`pow-exp`
4×	`add-log-exp`
3×	`pow-to-exp` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`cube-mult` `pow-pow` `unpow3`
1×	`pow1/3` `associate-r` `*-commutative` `rem-cbrt-cube` `rem-cube-cbrt` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

5.0ms	(* 4.0 (* b b))
6.0ms	(pow (pow (+ (* a a) (* b b)) 2.0) 3)
4.0ms	(pow (+ (* a a) (* b b)) 2.0)
6.0ms	(cbrt (pow (pow (+ (* a a) (* b b)) 2.0) 3))

series396.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* 4.0 (* b b))
125.0ms	(pow (pow (+ (* a a) (* b b)) 2.0) 3)
102.0ms	(pow (+ (* a a) (* b b)) 2.0)
143.0ms	(cbrt (pow (pow (+ (* a a) (* b b)) 2.0) 3))

simplify45.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	352	723
1	1324	703
2	5001	697

prune194.0ms

Filtered

110 candidates to 63 candidates (57.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0b

Counts

113 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 4.0 (* b b))
0.1b	(pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3)
0.3b	(pow (+ (* a a) (* b b)) 2.0)
15.3b	(cbrt (pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
16×	`cbrt-prod`
13×	`add-cube-cbrt` `unpow-prod-down`
11×	`pow1` `add-exp-log`
10×	`cube-prod` `add-cbrt-cube`
6×	`pow-unpow`
4×	`cube-div` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `sqr-pow`
2×	`cube-mult` `pow-to-exp` `cbrt-div` `flip3--` `pow-pow` `unpow3` `pow-exp` `flip--`
1×	`pow1/3` `associate-r` `*-commutative` `rem-cbrt-cube` `rem-cube-cbrt` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

5.0ms	(* 4.0 (* b b))
10.0ms	(pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3)
5.0ms	(pow (+ (* a a) (* b b)) 2.0)
10.0ms	(cbrt (pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3))

series680.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* 4.0 (* b b))
476.0ms	(pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3)
103.0ms	(pow (+ (* a a) (* b b)) 2.0)
75.0ms	(cbrt (pow (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3))

simplify53.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	417	1092
1	1729	1020
2	5002	1014

prune183.0ms

Filtered

104 candidates to 60 candidates (57.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	104	3	107

Merged error: 0b

Counts

107 → 3

regimes140.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	9
1	18	9

end0.0ms

sample1.3s

Algorithm

intervals

Results

920.0ms

20536×

body

valid

Details

sample48.0ms

simplify60.0ms

prune2.0ms

localize13.0ms

rewrite27.0ms

series269.0ms

simplify137.0ms

prune148.0ms

localize13.0ms

rewrite39.0ms

series179.0ms

simplify58.0ms

prune211.0ms

localize13.0ms

rewrite27.0ms

series396.0ms

simplify45.0ms

prune194.0ms

localize14.0ms

rewrite32.0ms

series680.0ms

simplify53.0ms

prune183.0ms

regimes140.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling