Details

analyze2.6s (10.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample212.0ms (0.9%)

Algorithm

1×

intervals

Results

145.0ms	165×	body	1024	valid
24.0ms	44×	body	512	valid
11.0ms	5×	body	2048	valid
10.0ms	15×	body	256	valid
4.0ms	27×	body	128	valid

Compiler

Compiled 49 to 39 computations (20.4% saved)

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	385	39
1	385	39

prune3.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

11.7b

Counts

2 → 1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.1b	(-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))
0.1b	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
0.1b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
3.6b	(sin.f64 (-.f64 lambda1 lambda2))
3.7b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_1819` `add-sqr-sqrt_binary64_1805` `add-exp-log_binary64_1821` `pow1_binary64_1844`
9×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
6×	`cancel-sign-sub-inv_binary64_1749` `associate-r_binary64_1723`
4×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `associate-l_binary64_1724` `pow-prod-down_binary64_1854` `cos-sum_binary64_1917` `sin-sum_binary64_1916` `add-log-exp_binary64_1822`
3×	`cos-diff_binary64_1920`
2×	`*-commutative_binary64_1714` `sub-neg_binary64_1776`
1×	`distribute-lft-in_binary64_1732` `sin-cos-mult_binary64_1939` `associate-*l/_binary64_1726` `sin-diff_binary64_1919` `distribute-rgt-in_binary64_1733` `unswap-sqr_binary64_1751`

Counts

4 → 63

Calls

8 calls:

10.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))
4.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
0.0ms	(atan2.f64 (.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

series613.0ms (2.6%)

Counts

4 → 53

Calls

4 calls:

383.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
114.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
59.0ms	(cos.f64 (-.f64 lambda1 lambda2))
57.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2407 to 1645 computations (31.7% saved)

simplify84.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5035	1791

prune485.0ms (2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	101	15	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	15	117

Error

5.7b

Counts

117 → 15

Compiler

Compiled 3792 to 799 computations (78.9% saved)

localize32.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2))
0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.1b	(-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))
0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))
0.1b	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
0.2b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
3.7b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
10×	`add-sqr-sqrt_binary64_1805`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
6×	`add-log-exp_binary64_1822` `associate-r_binary64_1723`
4×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `cancel-sign-sub-inv_binary64_1749` `associate-l_binary64_1724` `pow-prod-down_binary64_1854` `cos-sum_binary64_1917`
3×	`cos-diff_binary64_1920`
2×	`*-commutative_binary64_1714` `sub-neg_binary64_1776`
1×	`flip3--_binary64_1787` `distribute-lft-in_binary64_1732` `sin-cos-mult_binary64_1939` `associate-*l/_binary64_1726` `diff-log_binary64_1875` `distribute-rgt-in_binary64_1733` `unswap-sqr_binary64_1751` `flip--_binary64_1758`

Counts

4 → 63

Calls

8 calls:

8.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
4.0ms	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
0.0ms	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))

series768.0ms (3.2%)

Counts

4 → 53

Calls

4 calls:

413.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
168.0ms	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
120.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
67.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2896 to 2039 computations (29.6% saved)

simplify87.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4964	2013
1	4964	2013

prune219.0ms (0.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	111	5	116
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	120	11	131

Error

0.0b

Counts

131 → 11

Compiler

Compiled 4551 to 780 computations (82.9% saved)

localize30.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.1b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.1b	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))

rewrite38.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cbrt-cube_binary64_1819` `add-sqr-sqrt_binary64_1805` `add-exp-log_binary64_1821` `pow1_binary64_1844`
9×	`add-cube-cbrt_binary64_1818` `-un-lft-identity_binary64_1783` `associate-r*_binary64_1723`
7×	`associate-l_binary64_1724`
6×	`add-log-exp_binary64_1822`
5×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow-prod-down_binary64_1854`
4×	`sin-cos-mult_binary64_1939`
3×	`associate-r/_binary64_1725` `sin-mult_binary64_1938` `-commutative_binary64_1714` `frac-times_binary64_1793`
2×	`cos-mult_binary64_1937` `frac-add_binary64_1791` `flip-+_binary64_1757` `flip3-+_binary64_1786` `unswap-sqr_binary64_1751`
1×	`flip3--_binary64_1787` `distribute-lft-in_binary64_1732` `cancel-sign-sub-inv_binary64_1749` `associate-*l/_binary64_1726` `diff-log_binary64_1875` `distribute-rgt-in_binary64_1733` `flip--_binary64_1758` `sub-neg_binary64_1776`

Counts

4 → 76

Calls

8 calls:

11.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
7.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
5.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
5.0ms	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
0.0ms	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))

series1.1s (4.6%)

Counts

4 → 50

Calls

4 calls:

730.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
175.0ms	(-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2)))
108.0ms	(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
95.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 3383 to 2114 computations (37.5% saved)

simplify69.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4993	2906
1	4993	2906

prune269.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	127	10	137

Error

0.0b

Counts

137 → 10

Compiler

Compiled 5984 to 885 computations (85.2% saved)

localize51.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.1b	(*.f64 (cos.f64 lambda1) (cos.f64 lambda2))
0.1b	(atan2.f64 (.f64 (-.f64 (.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (.f64 (cos.f64 lambda1) (sin.f64 lambda2))) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 phi1) (sin.f64 phi2)) (/.f64 (.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))) (+.f64 (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (-.f64 (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (.f64 (sin.f64 lambda1) (sin.f64 lambda2))) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))))
0.1b	(+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))
0.3b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.3b	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
0.4b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
0.5b	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)

rewrite55.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`pow1_binary64_1844`
36×	`pow-prod-down_binary64_1854`
34×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
18×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
8×	`pow-prod-up_binary64_1853` `pow-sqr_binary64_1756`
6×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `pow-unpow_binary64_1860` `*-un-lft-identity_binary64_1783`
5×	`cos-mult_binary64_1937` `sin-mult_binary64_1938`
4×	`rem-cube-cbrt_binary64_1806` `pow-plus_binary64_1846` `pow-pow_binary64_1855` `pow-exp_binary64_1851` `add-log-exp_binary64_1822`
2×	`associate-r/_binary64_1725` `sqr-pow_binary64_1755` `swap-sqr_binary64_1750` `cube-mult_binary64_1813` `unpow3_binary64_1849` `unpow-prod-down_binary64_1862` `associate-l_binary64_1724` `associate-l/_binary64_1726` `-commutative_binary64_1714` `frac-times_binary64_1793` `cube-div_binary64_1812` `pow-to-exp_binary64_1852` `cube-prod_binary64_1811` `pow2_binary64_1864` `associate-r*_binary64_1723`

Counts

4 → 120

Calls

8 calls:

10.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
9.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
5.0ms	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
5.0ms	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)
0.0ms	(+.f64 (pow.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3) (pow.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))

series744.0ms (3.1%)

Counts

4 → 34

Calls

4 calls:

216.0ms	(pow.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) 3)
205.0ms	(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
181.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
142.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))

Compiler

Compiled 4568 to 2255 computations (50.6% saved)

simplify71.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5115	1712

prune332.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	154	10	164

Error

0.0b

Counts

164 → 10

Compiler

Compiled 12137 to 1982 computations (83.7% saved)

simplify203.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (159.0ms)

Iter	Nodes	Cost
0	3593	3524
1	3593	3524

regimes823.0ms (3.5%)

Compiler: Compiled 11328 to 7297 computations (35.6% saved)

bsearch0.0ms (0%)

regimes776.0ms (3.3%)

Compiler: Compiled 10183 to 6817 computations (33.1% saved)

bsearch0.0ms (0%)

regimes638.0ms (2.7%)

Compiler: Compiled 6864 to 4932 computations (28.1% saved)

bsearch286.0ms (1.2%)

Steps

Iters	Range		Point
8	1.377645471565523e-43	6.568212808206681e-40	6.4803096536900596e-40
10	-5.145065054880037e+16	-0.012308754318390716	-0.012544702964436502

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes487.0ms (2%)

Compiler: Compiled 5665 to 4197 computations (25.9% saved)

bsearch0.0ms (0%)

regimes507.0ms (2.1%)

Compiler: Compiled 4053 to 3088 computations (23.8% saved)

bsearch282.0ms (1.2%)

Steps

Iters	Range		Point
8	3.4203964229723817e-69	2.4065007490139626e-65	2.359053506556364e-65
11	-3.2223511950811484e+25	-0.00023533354299035359	-0.0002382165619649544

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes485.0ms (2%)

Compiler: Compiled 3722 to 2869 computations (22.9% saved)

bsearch241.0ms (1%)

Steps

Iters	Range		Point
8	8.831980996655722e-31	3.2500796715486033e-28	1.7012794661107674e-29
9	-0.052537966415851456	-9.092492044989657e-10	-6.835101163101616e-06

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes466.0ms (2%)

Compiler: Compiled 3416 to 2645 computations (22.6% saved)

bsearch205.0ms (0.9%)

Steps

Iters	Range		Point
8	8.831980996655722e-31	3.2500796715486033e-28	3.2165934139795973e-28
6	-9.092492044989657e-10	-1.8310662052187292e-10	-3.368311480159183e-10

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes284.0ms (1.2%)

Compiler: Compiled 2934 to 2267 computations (22.7% saved)

bsearch0.0ms (0%)

regimes198.0ms (0.8%)

Compiler: Compiled 1047 to 895 computations (14.5% saved)

bsearch280.0ms (1.2%)

Steps

Iters	Range		Point
9	8.039182142100976e-07	28.656547866029342	6.864772566798058e-06
10	-2678408944746555.5	-1918.7880158065464	-63339.1121088836

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes139.0ms (0.6%)

Compiler: Compiled 719 to 627 computations (12.8% saved)

bsearch262.0ms (1.1%)

Steps

Iters	Range		Point
7	392721632954940.9	10732977854108928.0	397995300175797.25
10	-5.145065054880037e+16	-0.012308754318390716	-0.012544702964436502

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes86.0ms (0.4%)

Compiler: Compiled 499 to 457 computations (8.4% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.1%)

Compiler: Compiled 20 to 92 computations (-360% saved)

bsearch0.0ms (0%)

regimes31.0ms (0.1%)

Accuracy

Total 0.1b remaining (72.6%)

Threshold costs 0.1b (72.6%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch30.0ms (0.1%)

Compiler: Compiled 705 to 323 computations (54.2% saved)

simplify16.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	419	945
1	419	945

end0.0ms (0%)

sample9.0s (37.9%)

Algorithm

1×

intervals

Results

5.0s	5402×	body	1024	valid
739.0ms	1265×	body	512	valid
425.0ms	203×	body	2048	valid
152.0ms	402×	body	256	valid
127.0ms	728×	body	128	valid

Compiler

Compiled 2746 to 1716 computations (37.5% saved)

Pareto

0.5665976318554159

Details

analyze2.6s (10.9%)

sample212.0ms (0.9%)

simplify108.0ms (0.5%)

prune3.0ms (0%)

localize20.0ms (0.1%)

rewrite32.0ms (0.1%)

series613.0ms (2.6%)

simplify84.0ms (0.4%)

prune485.0ms (2%)

localize32.0ms (0.1%)

rewrite29.0ms (0.1%)

series768.0ms (3.2%)

simplify87.0ms (0.4%)

prune219.0ms (0.9%)

localize30.0ms (0.1%)

rewrite38.0ms (0.2%)

series1.1s (4.6%)

simplify69.0ms (0.3%)

prune269.0ms (1.1%)

localize51.0ms (0.2%)

rewrite55.0ms (0.2%)

series744.0ms (3.1%)

simplify71.0ms (0.3%)

prune332.0ms (1.4%)

simplify203.0ms (0.9%)

regimes823.0ms (3.5%)

bsearch0.0ms (0%)

regimes776.0ms (3.3%)

bsearch0.0ms (0%)

regimes638.0ms (2.7%)

bsearch286.0ms (1.2%)

regimes487.0ms (2%)

bsearch0.0ms (0%)

regimes507.0ms (2.1%)

bsearch282.0ms (1.2%)

regimes485.0ms (2%)

bsearch241.0ms (1%)

regimes466.0ms (2%)

bsearch205.0ms (0.9%)

regimes284.0ms (1.2%)

bsearch0.0ms (0%)

regimes198.0ms (0.8%)

bsearch280.0ms (1.2%)

regimes139.0ms (0.6%)

bsearch262.0ms (1.1%)

regimes86.0ms (0.4%)

bsearch0.0ms (0%)

regimes35.0ms (0.1%)

bsearch0.0ms (0%)

regimes31.0ms (0.1%)

bsearch30.0ms (0.1%)

simplify16.0ms (0.1%)

end0.0ms (0%)

sample9.0s (37.9%)

Profiling