Details

analyze5.0ms (0%)

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
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample31.0ms (0.2%)

Algorithm

1×

intervals

Results

21.0ms

256×

body

128

valid

Compiler

Compiled 25 to 23 computations (8% saved)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	19
1	12	19

prune3.0ms (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

Error

29.7b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.6b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
0.6b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`times-frac_binary64_766`
22×	`log-pow_binary64_849`
20×	`pow1_binary64_821`
16×	`add-sqr-sqrt_binary64_782`
15×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
6×	`sqrt-pow1_binary64_778` `associate-/l*_binary64_705` `pow1/2_binary64_840`
4×	`add-exp-log_binary64_798` `associate-/r*_binary64_704` `sqrt-div_binary64_777` `add-cbrt-cube_binary64_796`
3×	`sqrt-prod_binary64_776`
2×	`log-div_binary64_847` `flip3-+_binary64_763` `add-log-exp_binary64_799` `flip-+_binary64_734` `div-sub_binary64_765`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

2 → 63

Calls

4 calls:

9.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
0.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

series300.0ms (1.7%)

Counts

2 → 30

Calls

2 calls:

178.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
122.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 806 to 740 computations (8.2% saved)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5069	2094

prune164.0ms (0.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	79	14	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	14	94

Error

0.7b

Counts

94 → 14

Compiler

Compiled 1936 to 901 computations (53.5% saved)

localize18.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.6b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.5b	(.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
0.3b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.6b	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
27.4b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite69.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

126×	`pow1_binary64_821`
94×	`log-pow_binary64_849`
72×	`times-frac_binary64_766`
60×	`sqrt-div_binary64_777`
54×	`cbrt-div_binary64_792`
45×	`pow1/3_binary64_842` `pow-prod-up_binary64_830`
34×	`add-sqr-sqrt_binary64_782`
31×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
30×	`flip3-+_binary64_763` `pow-plus_binary64_823` `flip-+_binary64_734`
28×	`frac-times_binary64_770`
26×	`log-div_binary64_847` `div-sub_binary64_765`
25×	`pow-prod-down_binary64_831`
18×	`associate-/l*_binary64_705`
15×	`pow-sqr_binary64_733`
14×	`associate-*l/_binary64_703`
10×	`pow2_binary64_841`
9×	`sqrt-prod_binary64_776`
8×	`associate-*r/_binary64_702`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`pow3_binary64_843`
4×	`associate-/r*_binary64_704` `add-log-exp_binary64_799`
3×	`rem-sqrt-square_binary64_773` `sqrt-pow1_binary64_778` `pow1/2_binary64_840`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

4 → 177

Calls

8 calls:

29.0ms	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))

series572.0ms (3.3%)

Counts

4 → 66

Calls

4 calls:

185.0ms	(/.f64 (log.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (log.f64 10))
134.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
127.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
125.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 3218 to 2120 computations (34.1% saved)

simplify129.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

243 → 243

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4967	6647
1	4967	6647

prune311.0ms (1.8%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	239	4	243
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	240	17	257

Error

0.7b

Counts

257 → 17

Compiler

Compiled 7557 to 2846 computations (62.3% saved)

localize11.0ms (0.1%)

Local error

Found 6 expressions with local error:

28.4b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.6b	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.3b	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.3b	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.6b	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
28.4b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

140×	`times-frac_binary64_766`
71×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
46×	`pow1_binary64_821`
43×	`log-pow_binary64_849`
24×	`associate-/r*_binary64_704`
11×	`add-exp-log_binary64_798`
10×	`add-cbrt-cube_binary64_796`
7×	`associate-/l*_binary64_705`
6×	`div-inv_binary64_757`
4×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
3×	`add-log-exp_binary64_799` `log-prod_binary64_846`
2×	`log-div_binary64_847` `frac-2neg_binary64_771` `clear-num_binary64_759`
1×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734` `rem-log-exp_binary64_801`

Counts

3 → 148

Calls

6 calls:

7.0ms	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
0.0ms	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))

series644.0ms (3.7%)

Counts

3 → 38

Calls

3 calls:

370.0ms	(/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
181.0ms	(/.f64 1/2 (/.f64 (log.f64 10) (log.f64 (+.f64 (.f64 re re) (.f64 im im)))))
93.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1632 to 1508 computations (7.6% saved)

simplify96.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5092	5491

prune236.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	178	8	186
Fresh	10	5	15
Picked	1	0	1
Done	1	0	1
Total	190	13	203

Error

0.6b

Counts

203 → 13

Compiler

Compiled 4399 to 2135 computations (51.5% saved)

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

28.4b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.6b	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2)))
0.5b	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))))
0.4b	(.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))
0.4b	(.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))
0.5b	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))))
0.6b	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2)))
28.4b	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite41.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`times-frac_binary64_766`
46×	`add-sqr-sqrt_binary64_782`
42×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
31×	`sqrt-prod_binary64_776`
21×	`add-exp-log_binary64_798`
20×	`add-cbrt-cube_binary64_796`
17×	`pow1_binary64_821`
11×	`log-pow_binary64_849`
10×	`associate-/l*_binary64_705`
9×	`associate-/r*_binary64_704` `div-inv_binary64_757`
7×	`cbrt-undiv_binary64_794` `div-exp_binary64_811`
6×	`associate-r_binary64_700`
4×	`add-log-exp_binary64_799` `associate-l_binary64_701`
3×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793` `log-prod_binary64_846`
2×	`log-div_binary64_847` `unswap-sqr_binary64_728` `frac-2neg_binary64_771` `clear-num_binary64_759`
1×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734` `rem-log-exp_binary64_801` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 139

Calls

8 calls:

11.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))))
6.0ms	(.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))
6.0ms	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2)))
4.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))

series987.0ms (5.7%)

Counts

4 → 50

Calls

4 calls:

461.0ms	(/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2)))
276.0ms	(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))))
146.0ms	(.f64 (log.f64 (+.f64 (.f64 re re) (*.f64 im im))) (sqrt.f64 1/2))
104.0ms	(log.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 2520 to 2378 computations (5.6% saved)

simplify95.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5017	5404

prune247.0ms (1.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	185	4	189
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	187	15	202

Error

0.4b

Counts

202 → 15

Compiler

Compiled 4404 to 2613 computations (40.7% saved)

simplify33.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	444	2007
1	444	2007

regimes2.0s (11.7%)

Compiler: Compiled 14204 to 10629 computations (25.2% saved)

bsearch83.0ms (0.5%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	3.5515048939018026e+132
8	5.787806332766279e-184	1.970338315565225e-179	1.5808915944341867e-181
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-3.396417318103129e-304
5	-8.092280158139808e+89	-2.4079305180137935e+89	-7.957190502393604e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes1.6s (9.1%)

Compiler: Compiled 10709 to 8708 computations (18.7% saved)

bsearch78.0ms (0.5%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	1.0813851646160545e+133
8	5.787806332766279e-184	1.970338315565225e-179	1.4612152070729814e-183
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-2.0587136117511207e-304
5	-8.092280158139808e+89	-2.4079305180137935e+89	-3.8230971066908273e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes1.0s (5.9%)

Compiler: Compiled 5240 to 4924 computations (6% saved)

bsearch80.0ms (0.5%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	1.748985785853791e+131
8	5.787806332766279e-184	1.970338315565225e-179	1.5100632843712227e-181
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-1.341759796267171e-305
6	-3.8522781111243015e+84	-4.010189140667434e+83	-1.7092302464501153e+84

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes968.0ms (5.6%)

Compiler: Compiled 4866 to 4594 computations (5.6% saved)

bsearch80.0ms (0.5%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	2.3275519908472327e+131
8	5.787806332766279e-184	1.970338315565225e-179	2.589049802161673e-183
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-1.14882176169717e-305
6	-3.8522781111243015e+84	-4.010189140667434e+83	-3.1949520550424426e+84

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes812.0ms (4.7%)

Compiler: Compiled 3813 to 3677 computations (3.6% saved)

bsearch77.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	2.1597781474088058e+132
8	5.787806332766279e-184	1.970338315565225e-179	5.175353787195054e-183
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-6.64588331996408e-304
6	-3.8522781111243015e+84	-4.010189140667434e+83	-1.2541583614703662e+84

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes707.0ms (4.1%)

Compiler: Compiled 3183 to 3104 computations (2.5% saved)

bsearch71.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	1.5384294376496345e+132
8	5.787806332766279e-184	1.970338315565225e-179	4.151622206787763e-181
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-3.749303227302988e-305
5	-8.092280158139808e+89	-2.4079305180137935e+89	-4.9038143526604607e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes694.0ms (4%)

Compiler: Compiled 3048 to 2960 computations (2.9% saved)

bsearch68.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	5.421008368769625e+131
8	5.787806332766279e-184	1.970338315565225e-179	2.699719036635054e-183
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-5.256911607223242e-305
5	-8.092280158139808e+89	-2.4079305180137935e+89	-7.416831879408788e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes651.0ms (3.8%)

Compiler: Compiled 2796 to 2690 computations (3.8% saved)

bsearch68.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	2.0686566951142447e+131
8	5.787806332766279e-184	1.970338315565225e-179	7.9088512795762e-182
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-6.285914458263249e-305
5	-8.092280158139808e+89	-2.4079305180137935e+89	-5.795756010454339e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes264.0ms (1.5%)

Compiler: Compiled 694 to 770 computations (-11% saved)

bsearch68.0ms (0.4%)

Steps

Iters	Range		Point
7	1.727411177876042e+131	1.3308553028469298e+133	9.26708196289371e+131
8	5.787806332766279e-184	1.970338315565225e-179	1.3001277567494677e-182
7	-1.7587501082014853e-303	-1.1279516190789283e-305	-1.1175447774881049e-304
5	-8.092280158139808e+89	-2.4079305180137935e+89	-5.255397387469522e+89

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes244.0ms (1.4%)

Compiler: Compiled 474 to 554 computations (-16.9% saved)

bsearch140.0ms (0.8%)

Steps

Iters	Range		Point
9	5.879454072998022e-72	7.409606260765143e-67	8.652535386165096e-72
5	7.762054410161983e-274	2.7458620665290583e-273	1.0714898969958725e-273
7	6.467712275218652e-285	2.3933024853572217e-283	2.3778016643234542e-284
6	-1.1611436445766177e-268	-2.767662772927484e-269	-3.940313326110668e-269
8	-4.598058952447466e-239	-4.78027364562656e-242	-6.887443022145891e-242
7	-2.8480218988376413e-141	-1.5826833870320152e-142	-4.29601264620126e-142
10	-6.007614390909474e-113	-3.7858034124386707e-128	-3.767766824219734e-126
8	-5.675763252343326e-56	-1.2966900958492635e-58	-1.2417036622411211e-56

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes102.0ms (0.6%)

Compiler: Compiled 54 to 78 computations (-44.4% saved)

bsearch142.0ms (0.8%)

Steps

Iters	Range		Point
8	6.386087431083085e-179	2.5774881226426683e-174	1.3066790705255886e-174
7	2.7458620665290583e-273	1.4052825421396277e-271	5.8049964218187595e-272
7	6.467712275218652e-285	2.3933024853572217e-283	1.9416406107261096e-284
6	-1.1611436445766177e-268	-2.767662772927484e-269	-7.953281208305644e-269
8	-4.598058952447466e-239	-4.78027364562656e-242	-2.6620241004041015e-241
7	-2.8480218988376413e-141	-1.5826833870320152e-142	-1.6925218008705358e-141
10	-6.007614390909474e-113	-3.7858034124386707e-128	-2.8179583370122537e-127
8	-5.675763252343326e-56	-1.2966900958492635e-58	-3.402873198778472e-57

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes54.0ms (0.3%)

Compiler: Compiled 42 to 64 computations (-52.4% saved)

bsearch35.0ms (0.2%)

Steps

Iters	Range		Point
8	6.386087431083085e-179	2.5774881226426683e-174	2.5173148715042562e-174
7	-2.8480218988376413e-141	-1.5826833870320152e-142	-6.319268992154543e-142

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes39.0ms (0.2%)

Compiler: Compiled 30 to 50 computations (-66.7% saved)

bsearch20.0ms (0.1%)

Steps

Iters	Range		Point
9	1.970338315565225e-179	3.411580032185119e-172	1.4452463921379706e-173

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes24.0ms (0.1%)

Compiler: Compiled 20 to 38 computations (-90% saved)

bsearch18.0ms (0.1%)

Steps

Iters	Range		Point
8	-1.1279516190789283e-305	3.235396794835487e-307	1.08511105960776e-309

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes15.0ms (0.1%)

Accuracy

Total 18.0b remaining (98.3%)

Threshold costs 0b (0%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch44.0ms (0.3%)

Compiler: Compiled 956 to 757 computations (20.8% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	284	1509
1	284	1509

end0.0ms (0%)

sample2.7s (15.9%)

Algorithm

1×

intervals

Results

500.0ms

8000×

body

128

valid

Compiler

Compiled 2224 to 1726 computations (22.4% saved)

Pareto

0.6717381478131716

Details

analyze5.0ms (0%)

sample31.0ms (0.2%)

simplify92.0ms (0.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite19.0ms (0.1%)

series300.0ms (1.7%)

simplify73.0ms (0.4%)

prune164.0ms (0.9%)

localize18.0ms (0.1%)

rewrite69.0ms (0.4%)

series572.0ms (3.3%)

simplify129.0ms (0.7%)

prune311.0ms (1.8%)

localize11.0ms (0.1%)

rewrite32.0ms (0.2%)

series644.0ms (3.7%)

simplify96.0ms (0.6%)

prune236.0ms (1.4%)

localize13.0ms (0.1%)

rewrite41.0ms (0.2%)

series987.0ms (5.7%)

simplify95.0ms (0.6%)

prune247.0ms (1.4%)

simplify33.0ms (0.2%)

regimes2.0s (11.7%)

bsearch83.0ms (0.5%)

regimes1.6s (9.1%)

bsearch78.0ms (0.5%)

regimes1.0s (5.9%)

bsearch80.0ms (0.5%)

regimes968.0ms (5.6%)

bsearch80.0ms (0.5%)

regimes812.0ms (4.7%)

bsearch77.0ms (0.4%)

regimes707.0ms (4.1%)

bsearch71.0ms (0.4%)

regimes694.0ms (4%)

bsearch68.0ms (0.4%)

regimes651.0ms (3.8%)

bsearch68.0ms (0.4%)

regimes264.0ms (1.5%)

bsearch68.0ms (0.4%)

regimes244.0ms (1.4%)

bsearch140.0ms (0.8%)

regimes102.0ms (0.6%)

bsearch142.0ms (0.8%)

regimes54.0ms (0.3%)

bsearch35.0ms (0.2%)

regimes39.0ms (0.2%)

bsearch20.0ms (0.1%)

regimes24.0ms (0.1%)

bsearch18.0ms (0.1%)

regimes15.0ms (0.1%)

bsearch44.0ms (0.3%)

simplify20.0ms (0.1%)

end0.0ms (0%)

sample2.7s (15.9%)

Profiling