Details

analyze4.5s (16.4%)

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

Compiler

Compiled 34 to 24 computations (29.4% saved)

sample253.0ms (0.9%)

Algorithm

1×

intervals

Results

162.0ms	128×	body	1024	valid
49.0ms	55×	body	512	valid
13.0ms	62×	body	128	valid
5.0ms	11×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify157.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	463	55
1	463	55

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

0.1b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize315.0ms (1.2%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (sin.f64 phi1) (cos.f64 delta))
0.1b	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.1b	(sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.1b	(+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.2b	(.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.3b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
9×	`add-sqr-sqrt_binary64_1805`
7×	`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` `associate-l_binary64_1724` `pow-prod-down_binary64_1854`
2×	`sin-mult_binary64_1938` `*-commutative_binary64_1714`
1×	`flip3--_binary64_1787` `cancel-sign-sub-inv_binary64_1749` `asin-acos_binary64_1963` `associate-*l/_binary64_1726` `diff-log_binary64_1875` `unswap-sqr_binary64_1751` `flip--_binary64_1758` `sub-neg_binary64_1776`

Counts

4 → 58

Calls

8 calls:

8.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
8.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
6.0ms	(.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1))
2.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.0ms	(+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))

series1.3s (4.9%)

Counts

4 → 48

Calls

4 calls:

478.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
394.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
359.0ms	(.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1))
99.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3062 to 2039 computations (33.4% saved)

simplify104.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4999	3243
1	4999	3243

prune337.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	99	7	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	7	107

Error

0.0b

Counts

107 → 7

Compiler

Compiled 4421 to 651 computations (85.3% saved)

localize35.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(atan2.f64 (.f64 (.f64 (sin.f64 theta) (sin.f64 delta)) (cos.f64 phi1)) (log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))))
0.1b	(sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.1b	(+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.1b	(exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.3b	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
1.0b	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1805`
8×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`pow1_binary64_1844`
6×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `add-log-exp_binary64_1822`
5×	`log-prod_binary64_1869`
4×	`log-pow_binary64_1872`
3×	`associate-l_binary64_1724` `exp-prod_binary64_1835` `associate-r_binary64_1723`
2×	`exp-sum_binary64_1829` `cancel-sign-sub-inv_binary64_1749` `sub-neg_binary64_1776`
1×	`flip3--_binary64_1787` `exp-diff_binary64_1831` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `asin-acos_binary64_1963` `diff-log_binary64_1875` `sin-mult_binary64_1938` `*-commutative_binary64_1714` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `flip--_binary64_1758` `rem-log-exp_binary64_1824` `log-div_binary64_1870`

Counts

4 → 57

Calls

8 calls:

6.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
4.0ms	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
2.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.0ms	(exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

series2.3s (8.6%)

Counts

4 → 46

Calls

4 calls:

1.3s	(log.f64 (exp.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
540.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
408.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
78.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3056 to 2088 computations (31.7% saved)

simplify155.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4875	3960
1	4875	3960

prune156.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	103	7	110

Error

0.0b

Counts

110 → 7

Compiler

Compiled 4533 to 630 computations (86.1% saved)

localize46.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (sin.f64 phi1) (cos.f64 delta))
0.1b	(atan2.f64 (.f64 (.f64 (.f64 (sin.f64 delta) (sin.f64 theta)) (.f64 (cbrt.f64 (cos.f64 phi1)) (cbrt.f64 (cos.f64 phi1)))) (cbrt.f64 (cos.f64 phi1))) (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.1b	(sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.1b	(+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.3b	(cbrt.f64 (cos.f64 phi1))
0.3b	(cbrt.f64 (cos.f64 phi1))
0.3b	(cbrt.f64 (cos.f64 phi1))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_1814`
7×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
6×	`add-log-exp_binary64_1822`
4×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
3×	`pow1/3_binary64_1865`
1×	`flip3--_binary64_1787` `cancel-sign-sub-inv_binary64_1749` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776`

Counts

4 → 45

Calls

8 calls:

8.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
2.0ms	(cbrt.f64 (cos.f64 phi1))
2.0ms	(cbrt.f64 (cos.f64 phi1))
2.0ms	(cbrt.f64 (cos.f64 phi1))
0.0ms	(+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))

series815.0ms (3%)

Counts

4 → 31

Calls

4 calls:

524.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
104.0ms	(cbrt.f64 (cos.f64 phi1))
101.0ms	(cbrt.f64 (cos.f64 phi1))
86.0ms	(cbrt.f64 (cos.f64 phi1))

Compiler

Compiled 2047 to 1322 computations (35.4% saved)

simplify136.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4859	1609
1	4859	1609

prune161.0ms (0.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	76	7	83

Error

0.0b

Counts

83 → 7

Compiler

Compiled 3837 to 576 computations (85% saved)

localize49.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.1b	(+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.1b	(+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.1b	(+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))
0.5b	(cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_1822`
5×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
4×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `flip--_binary64_1758` `pow1_binary64_1844`
3×	`cbrt-prod_binary64_1814` `cancel-sign-sub-inv_binary64_1749` `diff-log_binary64_1875` `sub-neg_binary64_1776`
2×	`cbrt-div_binary64_1815`
1×	`pow1/3_binary64_1865`

Counts

4 → 49

Calls

8 calls:

4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
3.0ms	(cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
0.0ms	(+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))

series3.2s (11.6%)

Counts

4 → 52

Calls

4 calls:

1.5s	(cbrt.f64 (-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
620.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
527.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))
486.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

Compiler

Compiled 7369 to 3125 computations (57.6% saved)

simplify131.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4904	4661
1	4904	4661

prune305.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	101	7	108

Error

0.0b

Counts

108 → 7

Compiler

Compiled 9086 to 590 computations (93.5% saved)

simplify28.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	355	1861
1	355	1861

regimes512.0ms (1.9%)

Accuracy

Total 0.1b remaining (50.8%)

Threshold costs 0.1b (50.8%)

Compiler

Compiled 5565 to 3335 computations (40.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	55
1	55	55

end0.0ms (0%)

sample12.2s (44.6%)

Algorithm

1×

intervals

Results

5.8s	3953×	body	1024	valid
1.2s	1332×	body	512	valid
552.0ms	2153×	body	128	valid
328.0ms	548×	body	256	valid
39.0ms	14×	body	2048	valid

Compiler

Compiled 3433 to 2044 computations (40.5% saved)

Pareto

0.550974413754363

Details

analyze4.5s (16.4%)

sample253.0ms (0.9%)

simplify157.0ms (0.6%)

prune8.0ms (0%)

localize315.0ms (1.2%)

rewrite33.0ms (0.1%)

series1.3s (4.9%)

simplify104.0ms (0.4%)

prune337.0ms (1.2%)

localize35.0ms (0.1%)

rewrite28.0ms (0.1%)

series2.3s (8.6%)

simplify155.0ms (0.6%)

prune156.0ms (0.6%)

localize46.0ms (0.2%)

rewrite28.0ms (0.1%)

series815.0ms (3%)

simplify136.0ms (0.5%)

prune161.0ms (0.6%)

localize49.0ms (0.2%)

rewrite28.0ms (0.1%)

series3.2s (11.6%)

simplify131.0ms (0.5%)

prune305.0ms (1.1%)

simplify28.0ms (0.1%)

regimes512.0ms (1.9%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample12.2s (44.6%)

Profiling