Details

sample45.0ms

Algorithm

intervals

Results

16.0ms	264×	body	80	nan
12.0ms	256×	body	80	valid

simplify66.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	10
1	72	10
2	182	10
3	370	10
4	713	10
5	1066	10
6	1201	10
7	1308	10
8	1308	10

prune4.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	(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.0b	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b	(* 3.0 (* v v))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
26×	`associate-l`
23×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
20×	`sqrt-prod`
18×	`frac-times` `sqrt-div`
17×	`pow1`
15×	`flip3--` `flip--`
11×	`associate-r`
10×	`associate-*r/` `prod-exp` `cbrt-unprod`
9×	`associate-*l/`
7×	`pow-prod-down` `unswap-sqr`
4×	`add-log-exp`
3×	`*-commutative`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-inv` `difference-of-squares`

Counts

4 → 128

Calls

4 calls:

3.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
13.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
11.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
6.0ms	(* 3.0 (* v v))

series767.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
381.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
247.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
34.0ms	(* 3.0 (* v v))

simplify94.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	813	1605
1	3649	1515
2	5001	1512

prune907.0ms

Filtered

140 candidates to 99 candidates (29.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	138	3	141

Merged error: 0b

Counts

141 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))
0.0b	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b	(exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
0.2b	(* 3.0 (* v v))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
29×	`associate-l`
23×	`add-cube-cbrt` `*-un-lft-identity`
22×	`times-frac`
20×	`frac-times` `log-div` `exp-diff` `sqrt-div`
17×	`sqrt-prod`
16×	`pow1` `flip3--` `add-cbrt-cube` `flip--`
15×	`add-exp-log`
12×	`associate-*r/`
11×	`associate-r`
10×	`associate-*l/`
8×	`unswap-sqr`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`exp-prod`
4×	`add-log-exp`
3×	`*-commutative`
2×	`distribute-rgt-in` `sub-neg` `log-prod` `distribute-lft-in` `exp-sum` `log-pow`
1×	`cbrt-undiv` `div-exp` `div-inv` `rem-exp-log` `difference-of-squares`

Counts

4 → 131

Calls

4 calls:

15.0ms	(* (exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))
14.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
9.0ms	(exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
6.0ms	(* 3.0 (* v v))

series931.0ms

Counts

4 → 12

Calls

4 calls:

387.0ms	(* (exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v)))
254.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
260.0ms	(exp (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))))
30.0ms	(* 3.0 (* v v))

simplify86.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	757	1733
1	3205	1631
2	5002	1628

prune1.3s

Filtered

143 candidates to 106 candidates (25.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	144	2	146

Merged error: 0b

Counts

146 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (log (- 1.0 (* v v)))))
0.0b	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b	(* 3.0 (* v v))
2.5b	(log (- 1.0 (* v v)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
27×	`*-un-lft-identity`
25×	`associate-l`
22×	`add-cube-cbrt` `times-frac`
21×	`pow1`
17×	`sqrt-prod`
15×	`add-exp-log`
14×	`add-cbrt-cube`
9×	`log-div` `exp-prod`
8×	`sqrt-div` `log-pow`
7×	`exp-diff` `associate-r` `unswap-sqr`
6×	`flip3--` `pow-prod-down` `flip--` `distribute-lft-out`
5×	`associate-+l-` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`frac-times` `log-prod` `associate-*r/`
2×	`associate-+r-` `associate-l/` `-commutative` `rem-exp-log`
1×	`cbrt-undiv` `div-exp` `rem-log-exp` `exp-sum` `sum-log` `div-inv` `difference-of-squares`

Counts

4 → 112

Calls

4 calls:

15.0ms	(exp (+ (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (log (- 1.0 (* v v)))))
13.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
6.0ms	(* 3.0 (* v v))
3.0ms	(log (- 1.0 (* v v)))

series1.5s

Counts

4 → 12

Calls

4 calls:

1.0s	(exp (+ (log (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (log (- 1.0 (* v v)))))
259.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
30.0ms	(* 3.0 (* v v))
134.0ms	(log (- 1.0 (* v v)))

simplify84.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	835	1399
1	3233	1311
2	5003	1302

prune1.3s

Filtered

124 candidates to 86 candidates (30.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	124	2	126

Merged error: 0b

Counts

126 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* 3.0 (* v v)) (* 3.0 (* v v)))
0.2b	(* 3.0 (* v v))
0.2b	(* 3.0 (* v v))
0.2b	(* 3.0 (* v v))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

133×	`pow1`
75×	`pow-prod-down`
55×	`add-exp-log` `add-cbrt-cube`
36×	`prod-exp` `cbrt-unprod`
10×	`add-sqr-sqrt` `associate-l`
9×	`pow-sqr` `pow-prod-up`
7×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `*-commutative` `add-log-exp`
3×	`pow-plus` `unswap-sqr`
1×	`pow2` `swap-sqr`

Counts

4 → 117

Calls

4 calls:

13.0ms	(* (* 3.0 (* v v)) (* 3.0 (* v v)))
6.0ms	(* 3.0 (* v v))
6.0ms	(* 3.0 (* v v))
6.0ms	(* 3.0 (* v v))

series141.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(* (* 3.0 (* v v)) (* 3.0 (* v v)))
36.0ms	(* 3.0 (* v v))
30.0ms	(* 3.0 (* v v))
30.0ms	(* 3.0 (* v v))

simplify143.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	200	526
1	782	349
2	4098	319
3	5001	319

prune438.0ms

Filtered

129 candidates to 49 candidates (62.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	129	2	131

Merged error: 0b

Counts

131 → 2

regimes57.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	13
1	20	13

end0.0ms

sample971.0ms

Algorithm

intervals

Results

373.0ms	8000×	body	80	valid
361.0ms	7997×	body	80	nan

Details

sample45.0ms

simplify66.0ms

prune4.0ms

localize10.0ms

rewrite38.0ms

series767.0ms

simplify94.0ms

prune907.0ms

localize14.0ms

rewrite50.0ms

series931.0ms

simplify86.0ms

prune1.3s

localize16.0ms

rewrite40.0ms

series1.5s

simplify84.0ms

prune1.3s

localize16.0ms

rewrite38.0ms

series141.0ms

simplify143.0ms

prune438.0ms

regimes57.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample971.0ms

Profiling