Details

analyze3.6s (17.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
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)

sample211.0ms (1%)

Algorithm

1×

intervals

Results

139.0ms	116×	body	1024	valid
30.0ms	43×	body	512	valid
16.0ms	79×	body	128	valid
8.0ms	18×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify141.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.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.2b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.2b	(.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)))))))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1123`
8×	`*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
6×	`add-log-exp_binary64_1140` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `sin-mult_binary64_1256`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `asin-acos_binary64_1281` `cancel-sign-sub-inv_binary64_1067`

Counts

4 → 58

Calls

4 calls:

6.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))))))
5.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
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))))

series949.0ms (4.7%)

Counts

4 → 41

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)))))))
331.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))))))
113.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
79.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 2660 to 1813 computations (31.8% saved)

simplify91.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4862	2949
1	4862	2949

prune160.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Error

0.0b

Counts

100 → 8

Compiler

Compiled 4180 to 636 computations (84.8% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_1140` `sin-mult_binary64_1256`
5×	`cos-mult_binary64_1255`
4×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
3×	`asin-acos_binary64_1281` `frac-sub_binary64_1110`
2×	`sub-div_binary64_1108` `associate-r/_binary64_1043` `associate-l/_binary64_1044`
1×	`diff-log_binary64_1193` `sqr-cos-a_binary64_1250` `difference-of-squares_binary64_1070` `frac-times_binary64_1111` `sub-neg_binary64_1094` `associate--l+_binary64_1038` `flip--_binary64_1076` `flip3--_binary64_1105` `cancel-sign-sub-inv_binary64_1067`

Counts

4 → 43

Calls

4 calls:

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

series1.1s (5.3%)

Counts

4 → 40

Calls

4 calls:

790.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (.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)))))) (.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))))))))
96.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
96.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
96.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 5585 to 2600 computations (53.4% saved)

simplify87.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5065	3369

prune175.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	83	8	91

Error

0.0b

Counts

91 → 8

Compiler

Compiled 6972 to 736 computations (89.4% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.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) (log.f64 (exp.f64 (.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.6b	(log.f64 (exp.f64 (.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))))))))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_1123`
12×	`*-un-lft-identity_binary64_1101`
9×	`pow1_binary64_1162` `add-cube-cbrt_binary64_1136`
7×	`add-log-exp_binary64_1140` `log-pow_binary64_1190`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `log-prod_binary64_1187` `cancel-sign-sub-inv_binary64_1067`
3×	`associate--r+_binary64_1037` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`distribute-lft-out--_binary64_1053` `exp-prod_binary64_1153` `exp-to-pow_binary64_1163`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `sub-neg_binary64_1094` `rem-log-exp_binary64_1142` `flip--_binary64_1076` `flip3--_binary64_1105` `asin-acos_binary64_1281` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `sin-mult_binary64_1256`

Counts

4 → 64

Calls

4 calls:

7.0ms	(-.f64 (cos.f64 delta) (log.f64 (exp.f64 (.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)))))))))
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))))))
3.0ms	(log.f64 (exp.f64 (.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.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

series2.4s (11.7%)

Counts

4 → 42

Calls

4 calls:

1.0s	(-.f64 (cos.f64 delta) (log.f64 (exp.f64 (.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)))))))))
916.0ms	(log.f64 (exp.f64 (.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))))))))
356.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))))))
77.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 2926 to 2014 computations (31.2% saved)

simplify89.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4931	3865
1	4931	3865

prune140.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	106	8	114

Error

0.0b

Counts

114 → 8

Compiler

Compiled 4589 to 633 computations (86.2% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1123`
8×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
7×	`pow1_binary64_1162`
6×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`log-prod_binary64_1187`
4×	`log-pow_binary64_1190`
3×	`exp-prod_binary64_1153` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`exp-sum_binary64_1147` `sub-neg_binary64_1094` `cancel-sign-sub-inv_binary64_1067`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `rem-log-exp_binary64_1142` `exp-diff_binary64_1149` `flip--_binary64_1076` `flip3--_binary64_1105` `asin-acos_binary64_1281` `pow-prod-down_binary64_1172` `log-div_binary64_1188` `unswap-sqr_binary64_1069` `sin-mult_binary64_1256`

Counts

4 → 57

Calls

4 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))))))
5.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))))

series2.0s (9.9%)

Counts

4 → 45

Calls

4 calls:

1.1s	(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)))))))))
464.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)))))))
349.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))))))
79.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

Compiler

Compiled 3057 to 2127 computations (30.4% saved)

simplify144.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4897	3912
1	4897	3912

prune128.0ms (0.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	101	9	110

Error

0.0b

Counts

110 → 9

Compiler

Compiled 4197 to 453 computations (89.2% saved)

regimes705.0ms (3.5%)

Accuracy

Total 0.1b remaining (57.5%)

Threshold costs 0.1b (57.5%)

Compiler

Compiled 11212 to 6104 computations (45.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	100
1	47	100

end0.0ms (0%)

sample7.9s (39%)

Algorithm

1×

intervals

Results

4.7s	3932×	body	1024	valid
963.0ms	1307×	body	512	valid
462.0ms	2206×	body	128	valid
258.0ms	548×	body	256	valid
17.0ms	7×	body	2048	valid

Compiler

Compiled 1676 to 910 computations (45.7% saved)

Details

analyze3.6s (17.9%)

sample211.0ms (1%)

simplify141.0ms (0.7%)

prune4.0ms (0%)

localize27.0ms (0.1%)

rewrite23.0ms (0.1%)

series949.0ms (4.7%)

simplify91.0ms (0.4%)

prune160.0ms (0.8%)

localize37.0ms (0.2%)

rewrite24.0ms (0.1%)

series1.1s (5.3%)

simplify87.0ms (0.4%)

prune175.0ms (0.9%)

localize32.0ms (0.2%)

rewrite26.0ms (0.1%)

series2.4s (11.7%)

simplify89.0ms (0.4%)

prune140.0ms (0.7%)

localize34.0ms (0.2%)

rewrite25.0ms (0.1%)

series2.0s (9.9%)

simplify144.0ms (0.7%)

prune128.0ms (0.6%)

regimes705.0ms (3.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample7.9s (39%)

Profiling