Details

analyze3.2s (29.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
5.1%	94.6%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample71.0ms (0.6%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
11.0ms	103×	body	128	nan
5.0ms	62×	body	128	invalid

Compiler

Compiled 55 to 43 computations (21.8% saved)

simplify44.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

893×	`div-sub_binary64`
645×	`distribute-neg-frac_binary64`
581×	`distribute-rgt-neg-in_binary64`
569×	`distribute-lft-neg-in_binary64`
418×	`associate-/l*_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	27
1	42	27
2	111	27
3	718	27
4	2816	27
5	4688	27
6	6103	27

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

13.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	13.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))

Compiler

Compiled 48 to 36 computations (25% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
5.2b	(/.f64 (.f64 M D) (.f64 2 d))
5.8b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
8.4b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite158.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

9.7b

Rules

67×	`add-exp-log_binary64`
38×	`add-sqr-sqrt_binary64`
27×	`prod-exp_binary64`
23×	`add-cbrt-cube_binary64`
19×	`associate-r_binary64`

Counts

4 → 116

Calls

4 calls:

8.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
8.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
5.0ms	(/.f64 (.f64 M D) (.f64 2 d))
3.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))

Compiler

Compiled 3232 to 1835 computations (43.2% saved)

series366.0ms (3.3%)

Error

5.8b

Counts

4 → 57

Calls

4 calls:

102.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
98.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
93.0ms	(/.f64 (.f64 M D) (.f64 2 d))
58.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))

Compiler

Compiled 3462 to 2639 computations (23.8% saved)

simplify112.0ms (1%)

Algorithm

1×	egg-herbie

Rules

647×	`associate-/l/_binary64`
277×	`associate-l_binary64`
259×	`distribute-rgt-neg-in_binary64`
252×	`associate-r_binary64`
252×	`times-frac_binary64`

Counts

173 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	291	3951
1	687	3629
2	2921	3628
3	5496	3628

prune98.0ms (0.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	127	10	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	128	10	138

Error

3.8b

Counts

138 → 10

Alt Table

Status	Error	Program
▶	11.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2)) l))))
	49.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (sqrt.f64 h) (sqrt.f64 l))) (.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 (sqrt.f64 h) (sqrt.f64 l)))))))
	60.9b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	57.3b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 w0 (neg.f64 M)))
	61.5b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0))
	61.8b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	57.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	15.0b	(.f64 (.f64 (cbrt.f64 w0) (cbrt.f64 w0)) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2)))) (cbrt.f64 w0)))
	13.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l)))))
	12.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 h l))))))

Compiler

Compiled 2613 to 1522 computations (41.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.0b	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)
5.0b	(.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2))
5.2b	(/.f64 (.f64 D M) (.f64 2 d))
5.8b	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)))

rewrite149.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

2.9b

Rules

67×	`add-exp-log_binary64`
26×	`prod-exp_binary64`
23×	`add-cbrt-cube_binary64`
20×	`div-exp_binary64`
20×	`add-sqr-sqrt_binary64`

Counts

4 → 99

Calls

4 calls:

10.0ms	(/.f64 (.f64 D M) (.f64 2 d))
7.0ms	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)
6.0ms	(.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2))
5.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)))

Compiler

Compiled 2616 to 1612 computations (38.4% saved)

series254.0ms (2.3%)

Error

3.8b

Counts

4 → 51

Calls

4 calls:

98.0ms	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)
64.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) l)))
58.0ms	(.f64 h (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2))
23.0ms	(/.f64 (.f64 D M) (.f64 2 d))

Compiler

Compiled 3034 to 2341 computations (22.8% saved)

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

802×	`associate-/r/_binary64`
259×	`times-frac_binary64`
229×	`associate-/l*_binary64`
198×	`distribute-rgt-neg-in_binary64`
186×	`distribute-lft-neg-in_binary64`

Counts

150 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3062
1	532	2861
2	2304	2852
3	4971	2852

prune63.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	91	4	95
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	93	12	105

Error

2.9b

Counts

105 → 12

Alt Table

Status	Error	Program
	61.5b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0))
▶	10.1b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (/.f64 (.f64 D M) (.f64 2 d))) (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 2 2))) l))))
	22.5b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 1/4 (.f64 (/.f64 h (.f64 d d)) (pow.f64 (*.f64 D M) 2))) l))))
	61.8b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (.f64 D M) 2)) -1/4)) d))
	60.9b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	57.3b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 w0 (neg.f64 M)))
	59.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	57.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	15.0b	(.f64 (.f64 (cbrt.f64 w0) (cbrt.f64 w0)) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2)))) (cbrt.f64 w0)))
	13.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l)))))
	12.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 h l))))))

Compiler

Compiled 1514 to 972 computations (35.8% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.5b	(.f64 h (/.f64 (.f64 D M) (*.f64 2 d)))
5.2b	(/.f64 (.f64 D M) (.f64 2 d))
5.2b	(/.f64 (.f64 D M) (.f64 2 d))
5.8b	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (/.f64 (.f64 D M) (.f64 2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))

rewrite170.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

2.9b

Rules

46×	`add-cbrt-cube_binary64`
46×	`add-exp-log_binary64`
17×	`cbrt-unprod_binary64`
17×	`prod-exp_binary64`
13×	`add-sqr-sqrt_binary64`

Counts

4 → 89

Calls

4 calls:

8.0ms	(.f64 h (/.f64 (.f64 D M) (*.f64 2 d)))
7.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (/.f64 (.f64 D M) (.f64 2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))
5.0ms	(/.f64 (.f64 D M) (.f64 2 d))
5.0ms	(/.f64 (.f64 D M) (.f64 2 d))

Compiler

Compiled 3333 to 1998 computations (40.1% saved)

series155.0ms (1.4%)

Error

2.9b

Counts

4 → 45

Calls

4 calls:

57.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (/.f64 (.f64 D M) (.f64 2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))
40.0ms	(.f64 h (/.f64 (.f64 D M) (*.f64 2 d)))
25.0ms	(/.f64 (.f64 D M) (.f64 2 d))
25.0ms	(/.f64 (.f64 D M) (.f64 2 d))

Compiler

Compiled 3092 to 2255 computations (27.1% saved)

simplify103.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

435×	`associate-/r/_binary64`
354×	`associate-/l/_binary64`
323×	`cube-prod_binary64`
225×	`cube-div_binary64`
212×	`times-frac_binary64`

Counts

134 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	2692
1	451	2074
2	2002	2071
3	4179	2071
4	5049	2071

prune64.0ms (0.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	83	11	94

Error

2.9b

Counts

94 → 11

Alt Table

Status	Error	Program
▶	10.1b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (.f64 (.f64 D M) (/.f64 1/2 d))) (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 2 2))) l))))
	57.3b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 w0 (neg.f64 M)))
	61.8b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (.f64 D M) 2)) -1/4)) d))
	60.9b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	61.5b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0))
	59.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	57.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	15.0b	(.f64 (.f64 (cbrt.f64 w0) (cbrt.f64 w0)) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2)))) (cbrt.f64 w0)))
	13.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l)))))
	12.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 h l))))))

Compiler

Compiled 1819 to 1139 computations (37.4% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.5b	(.f64 h (.f64 (*.f64 D M) (/.f64 1/2 d)))
5.2b	(/.f64 (.f64 D M) (.f64 2 d))
5.3b	(.f64 (.f64 D M) (/.f64 1/2 d))
5.8b	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (.f64 (.f64 D M) (/.f64 1/2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))

rewrite143.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

2.9b

Rules

46×	`add-cbrt-cube_binary64`
46×	`add-exp-log_binary64`
21×	`cbrt-unprod_binary64`
21×	`prod-exp_binary64`
19×	`pow1_binary64`

Counts

4 → 98

Calls

4 calls:

8.0ms	(.f64 (.f64 D M) (/.f64 1/2 d))
7.0ms	(.f64 h (.f64 (*.f64 D M) (/.f64 1/2 d)))
6.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (.f64 (.f64 D M) (/.f64 1/2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))
5.0ms	(/.f64 (.f64 D M) (.f64 2 d))

Compiler

Compiled 3519 to 2123 computations (39.7% saved)

series158.0ms (1.4%)

Error

2.9b

Counts

4 → 45

Calls

4 calls:

56.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (.f64 (.f64 D M) (/.f64 1/2 d))) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) (/.f64 2 2))) l)))
38.0ms	(.f64 h (.f64 (*.f64 D M) (/.f64 1/2 d)))
30.0ms	(/.f64 (.f64 D M) (.f64 2 d))
25.0ms	(.f64 (.f64 D M) (/.f64 1/2 d))

Compiler

Compiled 3092 to 2255 computations (27.1% saved)

simplify113.0ms (1%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-/l/_binary64`
407×	`associate-/r/_binary64`
340×	`associate-l_binary64`
311×	`associate-r_binary64`
230×	`times-frac_binary64`

Counts

143 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	2792
1	605	2174
2	2710	2171
3	4899	2171
4	4977	2171

prune70.0ms (0.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	97	12	109

Error

2.9b

Counts

109 → 12

Alt Table

Status	Error	Program
	10.1b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (.f64 (.f64 D M) (/.f64 1/2 d))) (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 2 2))) l))))
	57.3b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 w0 (neg.f64 M)))
	61.8b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	60.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (.f64 D M) 2)) -1/4)) d))
	22.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (log.f64 (pow.f64 (sqrt.f64 (exp.f64 D)) (/.f64 M d)))) (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 2 2))) l))))
	59.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	60.9b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	61.5b	(.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (.f64 M w0))
	57.9b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	15.0b	(.f64 (.f64 (cbrt.f64 w0) (cbrt.f64 w0)) (.f64 (sqrt.f64 (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2)))) (cbrt.f64 w0)))
	13.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l)))))
	12.7b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (/.f64 (.f64 M D) (.f64 2 d)) (.f64 (/.f64 (.f64 D M) (*.f64 2 d)) (/.f64 h l))))))

Compiler

Compiled 1928 to 1142 computations (40.8% saved)

regimes2.8s (25.8%)

Accuracy

Total 4.2b remaining (53.1%)

Threshold costs 0b (0%)

Compiler

Compiled 67642 to 48900 computations (27.7% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

35×	`*-commutative_binary64`
22×	`+-commutative_binary64`
22×	`sub-neg_binary64`
20×	`neg-sub0_binary64`
20×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	143
1	83	143
2	114	143
3	146	143
4	175	143
5	201	143
6	216	143
7	222	143
8	224	143
9	221	143

end12.0ms (0.1%)

Compiler: Compiled 303 to 189 computations (37.6% saved)

sample2.5s (22.4%)

Algorithm

1×

intervals

Results

794.0ms	8000×	body	128	valid
294.0ms	3119×	body	128	nan
125.0ms	1283×	body	128	invalid

Compiler

Compiled 449 to 313 computations (30.3% saved)

Iter	Nodes	Cost
0	52	143
1	83	143
2	114	143
3	146	143
4	175	143
5	201	143
6	216	143
7	222	143
8	224	143
9	221	143

Iter	Nodes	Cost
0	52	143
1	83	143
2	114	143
3	146	143
4	175	143
5	201	143
6	216	143
7	222	143
8	224	143
9	221	143

Details

analyze3.2s (29.2%)

sample71.0ms (0.6%)

simplify44.0ms (0.4%)

prune2.0ms (0%)

localize13.0ms (0.1%)

rewrite158.0ms (1.4%)

series366.0ms (3.3%)

simplify112.0ms (1%)

prune98.0ms (0.9%)

localize13.0ms (0.1%)

rewrite149.0ms (1.4%)

series254.0ms (2.3%)

simplify84.0ms (0.8%)

prune63.0ms (0.6%)

localize17.0ms (0.2%)

rewrite170.0ms (1.6%)

series155.0ms (1.4%)

simplify103.0ms (0.9%)

prune64.0ms (0.6%)

localize21.0ms (0.2%)

rewrite143.0ms (1.3%)

series158.0ms (1.4%)

simplify113.0ms (1%)

prune70.0ms (0.6%)

regimes2.8s (25.8%)

bsearch8.0ms (0.1%)

simplify10.0ms (0.1%)

end12.0ms (0.1%)

sample2.5s (22.4%)

Profiling

Iter	Nodes	Cost
0	52	143
1	83	143
2	114	143
3	146	143
4	175	143
5	201	143
6	216	143
7	222	143
8	224	143
9	221	143