Details

analyze3.8s (16.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4909	605
1	4909	605
0	5	5
1	5	5

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)

sample233.0ms (1%)

Algorithm

1×

intervals

Results

151.0ms	135×	body	1024	valid
38.0ms	50×	body	512	valid
16.0ms	58×	body	128	valid
5.0ms	12×	body	256	valid
2.0ms	1×	body	2048	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify43.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	463	55
1	463	55

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

0.1b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.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.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.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)))))))

rewrite120.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

11×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
9×	`add-sqr-sqrt_binary64_1464`
7×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
6×	`add-log-exp_binary64_1481` `associate-r_binary64_1382`
4×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `associate-l_binary64_1383`
2×	`*-commutative_binary64_1373`
1×	`diff-log_binary64_1534` `flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `cancel-sign-sub-inv_binary64_1408` `sin-mult_binary64_1597` `unswap-sqr_binary64_1410` `asin-acos_binary64_1622`

Counts

4 → 57

Calls

4 calls:

6.0ms	(.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))
5.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))))))
4.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)))))))
1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 2634 to 438 computations (83.4% saved)

series1.2s (5.1%)

Error

0.1b

Counts

4 → 47

Calls

4 calls:

425.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)))))))
372.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))))))
261.0ms	(.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))
78.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 4736 to 2175 computations (54.1% saved)

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5162	3240

prune153.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	98	6	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	6	105

Error

0.1b

Counts

105 → 6

Compiler

Compiled 4361 to 720 computations (83.5% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))))
0.6b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)))))
0.6b	(pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)
5.3b	(cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))

rewrite163.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64_1464`
12×	`add-cube-cbrt_binary64_1477` `cbrt-prod_binary64_1473` `*-un-lft-identity_binary64_1442`
7×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
6×	`add-log-exp_binary64_1481` `unpow-prod-down_binary64_1521` `cube-prod_binary64_1470`
3×	`pow-unpow_binary64_1519` `associate-l_binary64_1383` `associate-r_binary64_1382`
2×	`unpow3_binary64_1508` `cube-mult_binary64_1472` `sqr-pow_binary64_1414`
1×	`pow1/3_binary64_1524` `rem-cbrt-cube_binary64_1466` `pow-pow_binary64_1514` `pow-to-exp_binary64_1511` `pow-exp_binary64_1510` `rem-cube-cbrt_binary64_1465` `diff-log_binary64_1534` `flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `cancel-sign-sub-inv_binary64_1408` `sin-mult_binary64_1597` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373`

Counts

4 → 75

Calls

4 calls:

7.0ms	(.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)))))
3.0ms	(pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)
2.0ms	(cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))

Compiler

Compiled 4038 to 967 computations (76.1% saved)

series1.3s (5.4%)

Error

0.1b

Counts

4 → 43

Calls

4 calls:

435.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)))))
380.0ms	(.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))))
333.0ms	(pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3)
80.0ms	(cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))) 3))

Compiler

Compiled 4420 to 2074 computations (53.1% saved)

simplify111.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4884	4279
1	4884	4279

prune160.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	118	6	124

Error

0.1b

Counts

124 → 6

Compiler

Compiled 5186 to 874 computations (83.1% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (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 (cos.f64 theta) (.f64 (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 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
0.4b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))

rewrite499.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_1464`
10×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
9×	`sin-mult_binary64_1597` `associate-l_binary64_1383` `associate-r_binary64_1382`
6×	`add-log-exp_binary64_1481`
5×	`cos-mult_binary64_1596`
3×	`frac-sub_binary64_1451` `pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373`
2×	`associate-l/_binary64_1385` `associate-r/_binary64_1384` `sub-div_binary64_1449`
1×	`diff-log_binary64_1534` `frac-times_binary64_1452` `flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `difference-of-squares_binary64_1411` `cancel-sign-sub-inv_binary64_1408` `sqr-cos-a_binary64_1591` `associate--l+_binary64_1379`

Counts

4 → 76

Calls

4 calls:

285.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
9.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
5.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
5.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))

Compiler

Compiled 7484 to 523 computations (93% saved)

series2.0s (8.7%)

Error

0.1b

Counts

4 → 49

Calls

4 calls:

797.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))))
384.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
384.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
383.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))

Compiler

Compiled 10595 to 2852 computations (73.1% saved)

simplify125.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4906	5579
1	4906	5579

prune279.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	124	7	131

Error

0.0b

Counts

131 → 7

Compiler

Compiled 10972 to 1003 computations (90.9% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (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 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
0.7b	(+.f64 1/2 (-.f64 (.f64 (cos.f64 (+.f64 delta delta)) 1/2) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)))

rewrite199.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64_1464`
12×	`*-un-lft-identity_binary64_1442`
11×	`pow1_binary64_1503` `add-exp-log_binary64_1480`
10×	`add-cube-cbrt_binary64_1477`
9×	`add-log-exp_binary64_1481`
8×	`add-cbrt-cube_binary64_1478`
7×	`associate-+r+_binary64_1374`
6×	`cancel-sign-sub-inv_binary64_1408` `associate-l_binary64_1383` `associate-r_binary64_1382`
3×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `pow-unpow_binary64_1519`
2×	`sum-log_binary64_1533` `unpow-prod-down_binary64_1521` `unpow2_binary64_1507` `sqr-pow_binary64_1414` `sin-mult_binary64_1597` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410` `*-commutative_binary64_1373` `pow-pow_binary64_1514` `pow-exp_binary64_1510`
1×	`diff-log_binary64_1534` `flip3-+_binary64_1445` `flip-+_binary64_1416` `distribute-lft-out_binary64_1393` `associate-+r-_binary64_1376` `sub-neg_binary64_1435` `+-commutative_binary64_1372` `pow-to-exp_binary64_1511`

Counts

4 → 77

Calls

4 calls:

8.0ms	(+.f64 1/2 (-.f64 (.f64 (cos.f64 (+.f64 delta delta)) 1/2) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)))
6.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
5.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
5.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)

Compiler

Compiled 6141 to 1078 computations (82.4% saved)

series2.3s (9.7%)

Error

0.0b

Counts

4 → 49

Calls

4 calls:

819.0ms	(+.f64 1/2 (-.f64 (.f64 (cos.f64 (+.f64 delta delta)) 1/2) (pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (*.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)))
597.0ms	(pow.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1))))))) 2)
392.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))
379.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (cos.f64 theta) (.f64 (sin.f64 delta) (cos.f64 phi1)))))))

Compiler

Compiled 9359 to 3751 computations (59.9% saved)

simplify103.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5003	5158

prune242.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	126	7	133

Error

0.0b

Counts

133 → 7

Compiler

Compiled 9176 to 1634 computations (82.2% saved)

regimes1.4s (6%)

Accuracy

Total 0.1b remaining (62.9%)

Threshold costs 0.1b (62.9%)

Compiler

Compiled 27018 to 12166 computations (55% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	66	103
1	66	103

end0.0ms (0%)

sample8.9s (37.6%)

Algorithm

1×

intervals

Results

4.5s	3886×	body	1024	valid
1.0s	1416×	body	512	valid
455.0ms	2169×	body	128	valid
224.0ms	514×	body	256	valid
34.0ms	15×	body	2048	valid

Compiler

Compiled 3936 to 1779 computations (54.8% saved)

Details

analyze3.8s (16.2%)

sample233.0ms (1%)

simplify43.0ms (0.2%)

prune4.0ms (0%)

localize26.0ms (0.1%)

rewrite120.0ms (0.5%)

series1.2s (5.1%)

simplify85.0ms (0.4%)

prune153.0ms (0.7%)

localize33.0ms (0.1%)

rewrite163.0ms (0.7%)

series1.3s (5.4%)

simplify111.0ms (0.5%)

prune160.0ms (0.7%)

localize36.0ms (0.2%)

rewrite499.0ms (2.1%)

series2.0s (8.7%)

simplify125.0ms (0.5%)

prune279.0ms (1.2%)

localize40.0ms (0.2%)

rewrite199.0ms (0.8%)

series2.3s (9.7%)

simplify103.0ms (0.4%)

prune242.0ms (1%)

regimes1.4s (6%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample8.9s (37.6%)

Profiling