Details

sample21.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	28	8
1	42	8
2	50	8
3	50	8

prune2.0ms

Filtered

1 candidates to 0 candidates (100.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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

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

series21.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify59.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	440	825
1	1911	776
2	5001	776

prune143.0ms

Filtered

93 candidates to 70 candidates (24.7%)

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

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 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))))
15.8b	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 156

Calls

4 calls:

20.0ms	(- (/ 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)))

series22.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify90.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	718	2125
1	3434	1879
2	5001	1873

prune218.0ms

Filtered

168 candidates to 99 candidates (41.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	169	3	172

Merged error: 0.0b

Counts

172 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 149

Calls

4 calls:

5.0ms	(* x (+ 0.99229 (* x 0.04481)))
4.0ms	(pow (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 3)
3.0ms	(cbrt (pow (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 3))
9.0ms	(/ (+ 2.30753 (* x 0.27061)) (cbrt (pow (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 3)))

series18.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify88.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	567	1810
1	2708	1695
2	5001	1672

prune198.0ms

Filtered

161 candidates to 85 candidates (47.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	161	3	164

Merged error: 0.0b

Counts

164 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

4.1b	(* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
15.7b	(/ (- (* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) (pow x 2)) (+ (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
15.7b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.8b	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
80×	`*-un-lft-identity`
77×	`add-sqr-sqrt`
68×	`add-cube-cbrt`
51×	`associate-l`
19×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/r/`
11×	`flip3-+` `associate-/r*` `flip-+` `div-inv`
9×	`associate-/l*`
8×	`distribute-lft-out`
6×	`pow1` `cbrt-undiv` `div-exp` `associate-/l/`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
2×	`frac-times` `associate-*r/`
1×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `div-sub` `pow-prod-down` `associate-l/` `-commutative` `flip--`

Counts

4 → 181

Calls

4 calls:

18.0ms	(* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
36.0ms	(/ (- (* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) (pow x 2)) (+ (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
8.0ms	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

series38.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)))
19.0ms	(/ (- (* (/ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) (pow x 2)) (+ (/ 1 (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))) x))
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
5.0ms	(/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061)))

simplify63.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1251	3976
1	5001	3599

prune900.0ms

Filtered

193 candidates to 156 candidates (19.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	192	4	196

Merged error: 0.0b

Counts

196 → 4

regimes36.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	9
1	24	9

end0.0ms

sample451.0ms

Algorithm

intervals

Results

316.0ms

8000×

body

valid

Details

sample21.0ms

simplify8.0ms

prune2.0ms

localize10.0ms

rewrite25.0ms

series21.0ms

simplify59.0ms

prune143.0ms

localize14.0ms

rewrite45.0ms

series22.0ms

simplify90.0ms

prune218.0ms

localize13.0ms

rewrite27.0ms

series18.0ms

simplify88.0ms

prune198.0ms

localize20.0ms

rewrite76.0ms

series38.0ms

simplify63.0ms

prune900.0ms

regimes36.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample451.0ms

Profiling