Details

analyze1.8s (9.9%)

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
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
15.6%	84.3%	0.1%	8
15.6%	84.3%	0.1%	9
15.6%	84.3%	0.1%	10
30.4%	69.4%	0.1%	11
30.4%	69.4%	0.1%	12
30.4%	69.4%	0.1%	13
39.6%	60.3%	0.1%	14

Compiler

Compiled 25 to 23 computations (8% saved)

sample89.0ms (0.5%)

Algorithm

1×

intervals

Results

41.0ms	68×	body	1024	valid
15.0ms	39×	body	512	valid
15.0ms	137×	body	128	valid
3.0ms	12×	body	256	valid

Compiler

Compiled 49 to 48 computations (2% saved)

simplify176.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4871	37
1	4871	37

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

18.2b

Counts

2 → 1

Compiler

Compiled 48 to 44 computations (8.3% saved)

localize21.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
0.1b	(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
0.3b	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
8.5b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.5b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

rewrite46.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64_1139`
20×	`pow1_binary64_1162`
18×	`add-cbrt-cube_binary64_1137`
15×	`*-un-lft-identity_binary64_1101`
12×	`add-sqr-sqrt_binary64_1123` `prod-exp_binary64_1150`
11×	`add-cube-cbrt_binary64_1136`
10×	`associate-r_binary64_1041`
9×	`cbrt-unprod_binary64_1134` `pow-prod-down_binary64_1172`
8×	`sqrt-prod_binary64_1117`
7×	`unpow-prod-down_binary64_1180`
4×	`pow-exp_binary64_1169` `add-log-exp_binary64_1140` `sqrt-div_binary64_1118`
3×	`pow-unpow_binary64_1178` `times-frac_binary64_1107` `div-exp_binary64_1152`
2×	`-commutative_binary64_1032` `distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-r/_binary64_1043` `flip-+_binary64_1075` `associate-l_binary64_1042`
1×	`rem-sqrt-square_binary64_1114` `pow-pow_binary64_1173` `sqrt-pow1_binary64_1119` `div-inv_binary64_1098` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `unpow2_binary64_1166` `pow1/2_binary64_1181`

Counts

4 → 86

Calls

8 calls:

16.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
7.0ms	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
5.0ms	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
0.0ms	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))

series1.8s (10%)

Counts

4 → 61

Calls

4 calls:

756.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
594.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
347.0ms	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
114.0ms	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))

Compiler

Compiled 2994 to 2663 computations (11.1% saved)

simplify67.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5298	3997

prune329.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	141	6	147
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	142	6	148

Error

0.0b

Counts

148 → 6

Compiler

Compiled 4510 to 3441 computations (23.7% saved)

localize28.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
0.1b	(/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2)))
0.1b	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))
2.2b	(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
2.3b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))) 2)))))
15.0b	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
15.0b	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2))) 2)))

rewrite43.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_1101`
14×	`pow1_binary64_1162`
13×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `cbrt-prod_binary64_1132`
11×	`add-sqr-sqrt_binary64_1123`
9×	`add-cube-cbrt_binary64_1136`
7×	`sqrt-prod_binary64_1117`
6×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `cbrt-div_binary64_1133`
4×	`add-log-exp_binary64_1140`
3×	`pow1/3_binary64_1183` `distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-r_binary64_1041` `flip-+_binary64_1075`
2×	`rem-sqrt-square_binary64_1114` `sqrt-pow1_binary64_1119` `sqrt-div_binary64_1118`
1×	`-commutative_binary64_1032` `associate-l*_binary64_1042` `pow1/2_binary64_1181`

Counts

4 → 70

Calls

8 calls:

9.0ms	(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2))) 2)))
8.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
7.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))) 2)))))
0.0ms	(.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2)))

series3.2s (17.9%)

Counts

4 → 67

Calls

4 calls:

920.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (.f64 J 2))) 2)))
909.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
864.0ms	(sqrt.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
550.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (fabs.f64 (cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (cos.f64 (/.f64 K 2)) (*.f64 J 2))) 2)))))

Compiler

Compiled 6338 to 5574 computations (12.1% saved)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4973	5700
1	4973	5700

prune497.0ms (2.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	137	6	143

Error

0.0b

Counts

143 → 6

Compiler

Compiled 7553 to 5902 computations (21.9% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 -2 J) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
0.1b	(.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2))))
0.1b	(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
0.3b	(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b	(cbrt.f64 (cos.f64 (/.f64 K 2)))
8.5b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.5b	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

rewrite51.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary64_1162`
29×	`add-exp-log_binary64_1139`
20×	`add-cbrt-cube_binary64_1137`
19×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
13×	`*-un-lft-identity_binary64_1101`
10×	`add-sqr-sqrt_binary64_1123`
9×	`add-cube-cbrt_binary64_1136`
8×	`sqrt-prod_binary64_1117`
7×	`associate-r_binary64_1041`
6×	`cbrt-prod_binary64_1132`
4×	`add-log-exp_binary64_1140` `sqrt-div_binary64_1118`
2×	`pow1/3_binary64_1183` `distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
1×	`-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `sqrt-pow1_binary64_1119` `associate-l*_binary64_1042` `pow1/2_binary64_1181`

Counts

4 → 74

Calls

8 calls:

26.0ms	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
11.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
1.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
1.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.0ms	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))

series1.5s (8.4%)

Counts

4 → 52

Calls

4 calls:

753.0ms	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2)))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
600.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
90.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
81.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))

Compiler

Compiled 3057 to 2686 computations (12.1% saved)

simplify81.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4971	3550
1	4971	3550

prune299.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	125	7	132

Error

0.0b

Counts

132 → 7

Compiler

Compiled 4869 to 3848 computations (21% saved)

localize28.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 -2 J) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
0.1b	(.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))))))
0.1b	(/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
0.3b	(cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
0.3b	(cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))))
8.5b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.5b	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))

rewrite62.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`pow1_binary64_1162`
57×	`add-exp-log_binary64_1139`
42×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
39×	`add-cbrt-cube_binary64_1137`
13×	`*-un-lft-identity_binary64_1101`
10×	`add-sqr-sqrt_binary64_1123` `cbrt-prod_binary64_1132`
9×	`add-cube-cbrt_binary64_1136`
8×	`sqrt-prod_binary64_1117`
7×	`associate-r_binary64_1041`
4×	`add-log-exp_binary64_1140` `sqrt-div_binary64_1118`
2×	`pow1/3_binary64_1183` `distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
1×	`-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `sqrt-pow1_binary64_1119` `associate-l*_binary64_1042` `pow1/2_binary64_1181`

Counts

4 → 90

Calls

8 calls:

30.0ms	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
4.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
2.0ms	(cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))))
0.0ms	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))

series1.6s (9%)

Counts

4 → 52

Calls

4 calls:

786.0ms	(.f64 (.f64 (.f64 (.f64 -2 J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2)))))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
650.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
111.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
92.0ms	(cbrt.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))))

Compiler

Compiled 3659 to 3202 computations (12.5% saved)

simplify119.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4930	4234
1	4930	4234

prune380.0ms (2.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	142	7	149

Error

0.0b

Counts

149 → 7

Compiler

Compiled 6113 to 4893 computations (20% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	287	1405
1	287	1405

regimes806.0ms (4.4%)

Compiler: Compiled 4480 to 4055 computations (9.5% saved)

bsearch169.0ms (0.9%)

Steps

Iters	Range		Point
9	4.955762286078353e-81	4.340487459517913e-75	5.037250337742537e-81
4	1.1173276111140906e-157	2.1235538594711397e-157	1.9974033146612488e-157
8	6.000352559018996e-204	5.693557594863637e-201	4.665136132356276e-203
6	-1.393321600541555e-225	-2.661025953865755e-226	-3.2764703254569817e-226

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes374.0ms (2.1%)

Compiler: Compiled 606 to 669 computations (-10.4% saved)

bsearch279.0ms (1.5%)

Steps

Iters	Range		Point
9	1.4561314241493583e-36	1.0466676863147613e-30	2.9747408206806927e-36
4	1.1173276111140906e-157	2.1235538594711397e-157	1.4928011354216868e-157
8	6.000352559018996e-204	5.693557594863637e-201	4.344975775647229e-202
6	-1.393321600541555e-225	-2.661025953865755e-226	-7.371847444837888e-226
8	-4.908136650362704e+44	-2.877327285050756e+40	-4.026635994422866e+44
9	-1.151304514994141e+89	-6.442161045831105e+82	-9.549762233492366e+85

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes141.0ms (0.8%)

Compiler: Compiled 159 to 198 computations (-24.5% saved)

bsearch165.0ms (0.9%)

Steps

Iters	Range		Point
9	1.4561314241493583e-36	1.0466676863147613e-30	1.5850819538915512e-32
4	1.1173276111140906e-157	2.1235538594711397e-157	1.9974033146612488e-157
8	6.000352559018996e-204	5.693557594863637e-201	1.0413640422795948e-203
6	-1.393321600541555e-225	-2.661025953865755e-226	-1.3674081533166613e-225

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes77.0ms (0.4%)

Compiler: Compiled 24 to 75 computations (-212.5% saved)

bsearch58.0ms (0.3%)

Steps

Iters	Range		Point
10	-8.011019831085225e-91	-1.1203059650846803e-101	-2.8315071369987278e-96

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes29.0ms (0.2%)

Compiler: Compiled 18 to 63 computations (-250% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.1%)

Accuracy

Total 17.4b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch9.0ms (0%)

Compiler: Compiled 184 to 151 computations (17.9% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	274
1	86	274

end0.0ms (0%)

sample3.5s (19.4%)

Algorithm

1×

intervals

Results

1.1s	1970×	body	1024	valid
500.0ms	4484×	body	128	valid
408.0ms	1014×	body	512	valid
134.0ms	531×	body	256	valid
1.0ms	1×	body	2048	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 1101 to 980 computations (11% saved)

Pareto

0.48273158946122385

Details

analyze1.8s (9.9%)

sample89.0ms (0.5%)

simplify176.0ms (1%)

prune4.0ms (0%)

localize21.0ms (0.1%)

rewrite46.0ms (0.3%)

series1.8s (10%)

simplify67.0ms (0.4%)

prune329.0ms (1.8%)

localize28.0ms (0.2%)

rewrite43.0ms (0.2%)

series3.2s (17.9%)

simplify92.0ms (0.5%)

prune497.0ms (2.7%)

localize20.0ms (0.1%)

rewrite51.0ms (0.3%)

series1.5s (8.4%)

simplify81.0ms (0.4%)

prune299.0ms (1.6%)

localize28.0ms (0.2%)

rewrite62.0ms (0.3%)

series1.6s (9%)

simplify119.0ms (0.7%)

prune380.0ms (2.1%)

simplify21.0ms (0.1%)

regimes806.0ms (4.4%)

bsearch169.0ms (0.9%)

regimes374.0ms (2.1%)

bsearch279.0ms (1.5%)

regimes141.0ms (0.8%)

bsearch165.0ms (0.9%)

regimes77.0ms (0.4%)

bsearch58.0ms (0.3%)

regimes29.0ms (0.2%)

bsearch0.0ms (0%)

regimes25.0ms (0.1%)

bsearch9.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample3.5s (19.4%)

Profiling