Details

sample25.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	6
1	22	6
2	22	6

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: 1.8b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.6b	(- (* 1.1283791670955126 (exp z)) (* x y))
5.7b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
11×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`times-frac`
7×	`add-log-exp`
5×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv` `distribute-lft-out`

Counts

3 → 53

Calls

3 calls:

8.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series196.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
72.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
83.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify142.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	287	523
1	981	488
2	4083	484
3	5002	484

prune222.0ms

Filtered

62 candidates to 49 candidates (21.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	4	63

Merged error: 0.0b

Counts

63 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
0.1b	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
0.6b	(- (* 1.1283791670955126 (exp z)) (* x y))
5.8b	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
20×	`add-cube-cbrt` `times-frac`
17×	`add-exp-log`
15×	`associate-r`
11×	`add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `sub-neg` `pow-flip` `frac-2neg` `flip3-+` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 94

Calls

4 calls:

2.0ms	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
6.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
12.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series257.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(+ x (* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))))
64.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
71.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
81.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify58.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	422	884
1	1863	788
2	5001	756

prune396.0ms

Filtered

106 candidates to 68 candidates (35.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	2	2
Picked	0	1	1
Done	1	0	1
Total	106	4	110

Merged error: 0b

Counts

110 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

2.0b	(* y (* (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))) (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))))
6.2b	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
6.2b	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
6.2b	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

45×	`cbrt-prod`
27×	`add-sqr-sqrt` `times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `add-exp-log`
7×	`cbrt-div` `add-cbrt-cube`
6×	`associate-/r/`
4×	`associate-*r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `div-inv`
1×	`frac-times` `associate-r` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 94

Calls

4 calls:

16.0ms	(* y (* (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))) (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))))
6.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
8.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
6.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series747.0ms

Counts

4 → 12

Calls

4 calls:

336.0ms	(* y (* (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))) (cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))))
137.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
135.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))
139.0ms	(cbrt (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify135.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	407	1404
1	1231	1303
2	4750	1256
3	5001	1256

prune723.0ms

Filtered

106 candidates to 80 candidates (24.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	106	4	110

Merged error: 0b

Counts

110 → 4

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (/ 1 x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
5×	`*-un-lft-identity`
3×	`add-log-exp` `difference-of-squares`
2×	`times-frac` `distribute-lft-out--`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `div-inv`

Counts

1 → 17

Calls

1 calls:

6.0ms

(- x (/ 1 x))

series33.0ms

Counts

1 → 3

Calls

1 calls:

33.0ms

(- x (/ 1 x))

simplify80.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	82	88
1	229	82
2	1594	79
3	5001	79

prune25.0ms

Filtered

20 candidates to 12 candidates (40.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	20	4	24

Merged error: 0b

Counts

24 → 4

regimes262.0ms

Accuracy

65% (1.1b remaining)

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

bsearch76.0ms

Steps

Iters	Range		Point
14	0.0	0.8887823352781439	8.44690546214563e-280

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	10
1	23	10

end0.0ms

sample582.0ms

Algorithm

intervals

Results

293.0ms

8000×

body

valid

Details

sample25.0ms

simplify6.0ms

prune4.0ms

localize8.0ms

rewrite20.0ms

series196.0ms

simplify142.0ms

prune222.0ms

localize10.0ms

rewrite28.0ms

series257.0ms

simplify58.0ms

prune396.0ms

localize14.0ms

rewrite39.0ms

series747.0ms

simplify135.0ms

prune723.0ms

localize3.0ms

rewrite6.0ms

series33.0ms

simplify80.0ms

prune25.0ms

regimes262.0ms

bsearch76.0ms

simplify1.0ms

end0.0ms

sample582.0ms

Profiling