Details

sample20.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify141.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	9
1	51	9
2	69	9
3	86	9
4	94	9
5	105	9
6	139	9
7	177	9
8	202	9
9	246	9
10	416	9
11	615	9
12	992	9
13	1948	9
14	2240	9
15	3154	9
16	5001	9

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.0b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.0b	(+ 2.30753 (* x 0.27061))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
13.8b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt`
10×	`add-exp-log` `times-frac` `add-cbrt-cube`
9×	`associate-r`
8×	`pow1`
6×	`associate-l` `add-log-exp`
4×	`flip3-+` `associate-*r/` `flip-+`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-/r` `associate-/l`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `associate-/l/` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3--` `frac-2neg` `div-exp` `clear-num` `sum-log` `flip--` `div-inv` `distribute-lft-out--`

Counts

4 → 91

Calls

4 calls:

12.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
3.0ms	(+ 2.30753 (* x 0.27061))
5.0ms	(* x (+ 0.99229 (* x 0.04481)))
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series315.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
45.0ms	(+ 2.30753 (* x 0.27061))
65.0ms	(* x (+ 0.99229 (* x 0.04481)))
60.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	516	893
1	2218	827
2	5002	827

prune252.0ms

Filtered

103 candidates to 74 candidates (71.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Merged error: 0.0b

Counts

104 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 2.30753 (* x 0.27061))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.2b	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
13.8b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/r/`
3×	`associate-r/` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `sum-log`

Counts

4 → 98

Calls

4 calls:

2.0ms	(+ 2.30753 (* x 0.27061))
5.0ms	(* x (+ 0.99229 (* x 0.04481)))
9.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series224.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ 2.30753 (* x 0.27061))
65.0ms	(* x (+ 0.99229 (* x 0.04481)))
68.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
59.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify67.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	525	973
1	2425	877
2	5001	877

prune426.0ms

Filtered

110 candidates to 82 candidates (74.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	110	4	114

Merged error: 0.0b

Counts

114 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 0.70711 (- (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.1b	(/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
13.9b	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

96×	`times-frac`
78×	`add-sqr-sqrt`
65×	`*-un-lft-identity`
60×	`add-cube-cbrt`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
13×	`associate-r`
11×	`associate-/r/`
9×	`pow1`
8×	`div-exp`
7×	`flip3-+` `flip-+` `div-inv`
6×	`associate-l` `associate-/l*`
5×	`difference-of-squares`
4×	`cbrt-undiv` `associate-*r/` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `distribute-lft-out--` `unswap-sqr`
1×	`flip3--` `pow-flip` `flip--` `inv-pow`

Counts

4 → 168

Calls

4 calls:

21.0ms	(* 0.70711 (- (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
5.0ms	(* x (+ 0.99229 (* x 0.04481)))
8.0ms	(/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
7.0ms	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

series265.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(* 0.70711 (- (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
63.0ms	(* x (+ 0.99229 (* x 0.04481)))
57.0ms	(/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))))
52.0ms	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

simplify95.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	804	2202
1	3892	1937
2	5002	1934

prune264.0ms

Filtered

180 candidates to 107 candidates (59.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	180	4	184

Merged error: 0.0b

Counts

184 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (+ 0.99229 (* x 0.04481)))
0.1b	(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
13.8b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
19.3b	(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
45×	`times-frac`
44×	`add-cube-cbrt` `*-un-lft-identity`
36×	`cbrt-prod`
30×	`unpow-prod-down` `cube-prod`
11×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r/`
7×	`pow1` `flip3-+` `flip-+`
5×	`div-inv`
4×	`add-log-exp`
3×	`pow-unpow` `associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `associate-*r/` `div-exp` `pow-exp` `associate-/l/` `rem-cube-cbrt` `sqr-pow`
1×	`distribute-rgt-in` `pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `distribute-lft-in` `pow1/3` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `rem-cbrt-cube` `cbrt-unprod` `unswap-sqr`

Counts

4 → 149

Calls

4 calls:

5.0ms	(* x (+ 0.99229 (* x 0.04481)))
7.0ms	(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
7.0ms	(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

series260.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* x (+ 0.99229 (* x 0.04481)))
83.0ms	(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
59.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
58.0ms	(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

simplify96.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	675	1949
1	3285	1824
2	5001	1812

prune301.0ms

Filtered

161 candidates to 92 candidates (57.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	161	4	165

Merged error: 0.0b

Counts

165 → 4

regimes29.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	11
1	33	11
2	34	11
3	34	11

end0.0ms

sample524.0ms

Algorithm

intervals

Results

412.0ms

8000×

body

valid

Details

sample20.0ms

simplify141.0ms

prune2.0ms

localize11.0ms

rewrite28.0ms

series315.0ms

simplify65.0ms

prune252.0ms

localize13.0ms

rewrite25.0ms

series224.0ms

simplify67.0ms

prune426.0ms

localize13.0ms

rewrite49.0ms

series265.0ms

simplify95.0ms

prune264.0ms

localize15.0ms

rewrite30.0ms

series260.0ms

simplify96.0ms

prune301.0ms

regimes29.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample524.0ms

Profiling