Details

analyze427.0ms (8.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

sample64.0ms (1.3%)

Algorithm

1×

intervals

Results

27.0ms	111×	body	320	valid
22.0ms	136×	body	160	valid
3.0ms	39×	body	80	nan
1.0ms	9×	body	80	valid

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4881	36
1	4881	36

prune16.0ms (0.3%)

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

Counts

2 → 2

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.0b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
8.6b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.0b	(sqrt (- (* g g) (* h h)))
29.0b	(sqrt (- (* g g) (* h h)))

rewrite34.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-div`
8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `frac-times` `flip3--` `sqrt-div` `associate-*r/` `add-cbrt-cube` `flip--` `add-log-exp`
2×	`cbrt-prod` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `associate-*l/` `flip-+` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

13.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))

series142.0ms (2.8%)

Counts

4 → 12

Calls

4 calls:

65.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
64.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))

simplify40.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5360	1068

prune252.0ms (4.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	56	16	72
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	58	16	74

Merged error: 31.0b

Counts

74 → 16

localize26.0ms (0.5%)

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
8.6b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.0b	(sqrt (- (* g g) (* h h)))
29.0b	(sqrt (- (* g g) (* h h)))

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`flip3--` `flip--` `difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `associate-*r/` `flip-+`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*l/`

Counts

4 → 58

Calls

4 calls:

12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
5.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(- (* g g) (* h h))

series83.0ms (1.6%)

Counts

4 → 12

Calls

4 calls:

63.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
8.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))
6.0ms	(- (* g g) (* h h))

simplify41.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4922	834
1	4922	834

prune229.0ms (4.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	69	17	86

Merged error: 30.4b

Counts

86 → 17

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
8.6b	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.0b	(sqrt (- (* g g) (* h h)))
29.0b	(sqrt (- (* g g) (* h h)))

rewrite25.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`flip3--` `flip--` `difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `associate-*r/` `flip-+`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*l/`

Counts

4 → 58

Calls

4 calls:

12.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(- (* g g) (* h h))

series83.0ms (1.6%)

Counts

4 → 12

Calls

4 calls:

64.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))
6.0ms	(- (* g g) (* h h))

simplify39.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4922	834
1	4922	834

prune230.0ms (4.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	16	16
Picked	1	0	1
Done	0	0	0
Total	70	17	87

Merged error: 30.4b

Counts

87 → 17

localize20.0ms (0.4%)

Local error

Found 4 expressions with local error:

3.0b	(- (* g g) (* h h))
6.0b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
29.0b	(sqrt (- (* g g) (* h h)))
29.0b	(sqrt (- (* g g) (* h h)))

rewrite28.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div` `flip3--` `flip--`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*r/`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*l/`

Counts

4 → 58

Calls

4 calls:

13.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
6.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(sqrt (- (* g g) (* h h)))
4.0ms	(- (* g g) (* h h))

series86.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

66.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms	(sqrt (- (* g g) (* h h)))
7.0ms	(sqrt (- (* g g) (* h h)))
6.0ms	(- (* g g) (* h h))

simplify40.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5217	847

prune166.0ms (3.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	3	13	16
Picked	1	0	1
Done	0	0	0
Total	68	19	87

Merged error: 30.4b

Counts

87 → 19

regimes859.0ms (16.8%)

Accuracy

Total 1.4b remaining (4.4%)

Threshold costs 0b (0%)

bsearch92.0ms (1.8%)

Steps

Iters	Range		Point
10	-1.0752574753399122e-201	-8.789100431094948e-219	-1.0526257207470665e-201

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	116	82
1	116	82

end0.0ms (0%)

sample1.9s (37.5%)

Algorithm

1×

intervals

Results

915.0ms	3738×	body	320	valid
662.0ms	4108×	body	160	valid
96.0ms	1192×	body	80	nan
14.0ms	154×	body	80	valid

Details

analyze427.0ms (8.4%)

sample64.0ms (1.3%)

simplify101.0ms (2%)

prune16.0ms (0.3%)

localize18.0ms (0.3%)

rewrite34.0ms (0.7%)

series142.0ms (2.8%)

simplify40.0ms (0.8%)

prune252.0ms (4.9%)

localize26.0ms (0.5%)

rewrite26.0ms (0.5%)

series83.0ms (1.6%)

simplify41.0ms (0.8%)

prune229.0ms (4.5%)

localize22.0ms (0.4%)

rewrite25.0ms (0.5%)

series83.0ms (1.6%)

simplify39.0ms (0.8%)

prune230.0ms (4.5%)

localize20.0ms (0.4%)

rewrite28.0ms (0.5%)

series86.0ms (1.7%)

simplify40.0ms (0.8%)

prune166.0ms (3.3%)

regimes859.0ms (16.8%)

bsearch92.0ms (1.8%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.9s (37.5%)

Profiling