Details

analyze3.5s (20.6%)

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)

sample255.0ms (1.5%)

Algorithm

1×

intervals

Results

190.0ms	143×	body	1024	valid
27.0ms	30×	body	512	valid
14.0ms	69×	body	128	valid
6.0ms	14×	body	256	valid

Compiler

Compiled 67 to 52 computations (22.4% saved)

simplify200.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.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

Merged error: 0.2b

Counts

2 → 1

Compiler

Compiled 66 to 46 computations (30.3% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (sin.f64 theta) (sin.f64 delta))
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.4b	(-.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_1109`
8×	`add-cbrt-cube_binary64_1121` `add-exp-log_binary64_1123` `pow1_binary64_1146` `*-un-lft-identity_binary64_1088` `add-cube-cbrt_binary64_1120`
6×	`associate-r_binary64_1030` `associate-l_binary64_1031` `add-log-exp_binary64_1124`
2×	`*-commutative_binary64_1021` `unswap-sqr_binary64_1056` `cbrt-unprod_binary64_1118` `sin-mult_binary64_1240` `pow-prod-down_binary64_1156` `prod-exp_binary64_1134`
1×	`flip3--_binary64_1092` `sub-neg_binary64_1081` `asin-acos_binary64_1265` `flip--_binary64_1063` `diff-log_binary64_1177`

Counts

4 → 57

Calls

4 calls:

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))))))
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))))

series676.0ms (4%)

Counts

4 → 12

Calls

4 calls:

315.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)))))))
243.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))))))
82.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
35.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4857	2099
1	4857	2099

prune138.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	58	11	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	11	70

Merged error: 0.1b

Counts

70 → 11

Compiler

Compiled 3419 to 650 computations (81% saved)

localize34.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.4b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3)))))
0.6b	(pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3)
5.6b	(cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1116`
10×	`add-sqr-sqrt_binary64_1109` `*-un-lft-identity_binary64_1088` `add-cube-cbrt_binary64_1120`
6×	`cube-prod_binary64_1113` `unpow-prod-down_binary64_1164` `add-log-exp_binary64_1124`
5×	`add-cbrt-cube_binary64_1121` `add-exp-log_binary64_1123` `pow1_binary64_1146`
3×	`pow-unpow_binary64_1162`
2×	`unpow3_binary64_1151` `sqr-pow_binary64_1060` `cube-mult_binary64_1115`
1×	`rem-cube-cbrt_binary64_1110` `flip3--_binary64_1092` `sub-neg_binary64_1081` `asin-acos_binary64_1265` `rem-cbrt-cube_binary64_1111` `flip--_binary64_1063` `pow-exp_binary64_1153` `pow-pow_binary64_1157` `diff-log_binary64_1177` `pow-to-exp_binary64_1154` `pow1/3_binary64_1167`

Counts

4 → 63

Calls

4 calls:

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

series600.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

326.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3)))))
203.0ms	(pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3)
37.0ms	(cbrt.f64 (pow.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) 3))
33.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

simplify97.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4883	2726
1	4883	2726

prune131.0ms (0.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	75	11	86

Merged error: 0.1b

Counts

86 → 11

Compiler

Compiled 3896 to 890 computations (77.2% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.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.4b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
2.8b	(log.f64 (exp.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.2%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`log-prod_binary64_1171`
14×	`add-sqr-sqrt_binary64_1109`
12×	`sin-sum_binary64_1218` `*-un-lft-identity_binary64_1088` `add-cube-cbrt_binary64_1120`
7×	`pow1_binary64_1146`
6×	`associate--r+_binary64_1026` `add-cbrt-cube_binary64_1121` `distribute-rgt-in_binary64_1040` `add-exp-log_binary64_1123` `add-log-exp_binary64_1124` `distribute-lft-in_binary64_1039`
4×	`log-pow_binary64_1174`
3×	`associate-r_binary64_1030` `exp-prod_binary64_1137` `associate-l_binary64_1031`
2×	`asin-acos_binary64_1265`
1×	`*-commutative_binary64_1021` `unswap-sqr_binary64_1056` `cbrt-unprod_binary64_1118` `rem-log-exp_binary64_1126` `flip3--_binary64_1092` `sub-neg_binary64_1081` `sin-mult_binary64_1240` `flip--_binary64_1063` `diff-log_binary64_1177` `log-div_binary64_1172` `pow-prod-down_binary64_1156` `prod-exp_binary64_1134` `exp-diff_binary64_1133`

Counts

4 → 66

Calls

4 calls:

8.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
5.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.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 (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))))

series999.0ms (5.9%)

Counts

4 → 12

Calls

4 calls:

435.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
378.0ms	(.f64 (sin.f64 phi1) (sin.f64 (log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))
150.0ms	(log.f64 (exp.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
36.0ms	(asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))

simplify96.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4906	3617
1	4906	3617

prune136.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	79	10	89

Merged error: 0.1b

Counts

89 → 10

Compiler

Compiled 4540 to 742 computations (83.7% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.6b	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.6b	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
0.6b	(cbrt.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.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_1116`
23×	`add-sqr-sqrt_binary64_1109`
15×	`*-un-lft-identity_binary64_1088` `add-cube-cbrt_binary64_1120`
11×	`pow1_binary64_1146`
9×	`pow1/3_binary64_1167`
6×	`swap-sqr_binary64_1055` `associate-r_binary64_1030` `add-exp-log_binary64_1123` `associate-l_binary64_1031`
4×	`add-cbrt-cube_binary64_1121` `unswap-sqr_binary64_1056` `add-log-exp_binary64_1124`
2×	`pow-prod-down_binary64_1156` `pow-sqr_binary64_1061` `pow-prod-up_binary64_1155`
1×	`*-commutative_binary64_1021` `pow-plus_binary64_1148` `cbrt-unprod_binary64_1118` `pow2_binary64_1166` `prod-exp_binary64_1134`

Counts

4 → 73

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
4.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
1.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
1.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))

series1.1s (6.4%)

Counts

4 → 12

Calls

4 calls:

386.0ms	(.f64 (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
239.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
227.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))
227.0ms	(cbrt.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))

simplify96.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4936	2895
1	4936	2895

prune153.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	85	10	95

Merged error: 0.1b

Counts

95 → 10

Compiler

Compiled 6032 to 627 computations (89.6% saved)

regimes208.0ms (1.2%)

Compiler: Compiled 3190 to 1440 computations (54.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	59	59
1	59	59

end0.0ms (0%)

sample8.2s (48.6%)

Algorithm

1×

intervals

Results

5.4s	3981×	body	1024	valid
1.3s	1358×	body	512	valid
437.0ms	2133×	body	128	valid
250.0ms	515×	body	256	valid
48.0ms	13×	body	2048	valid

Compiler

Compiled 705 to 332 computations (52.9% saved)

Details

analyze3.5s (20.6%)

sample255.0ms (1.5%)

simplify200.0ms (1.2%)

prune4.0ms (0%)

localize31.0ms (0.2%)

rewrite23.0ms (0.1%)

series676.0ms (4%)

simplify99.0ms (0.6%)

prune138.0ms (0.8%)

localize34.0ms (0.2%)

rewrite20.0ms (0.1%)

series600.0ms (3.6%)

simplify97.0ms (0.6%)

prune131.0ms (0.8%)

localize35.0ms (0.2%)

rewrite28.0ms (0.2%)

series999.0ms (5.9%)

simplify96.0ms (0.6%)

prune136.0ms (0.8%)

localize38.0ms (0.2%)

rewrite28.0ms (0.2%)

series1.1s (6.4%)

simplify96.0ms (0.6%)

prune153.0ms (0.9%)

regimes208.0ms (1.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample8.2s (48.6%)

Profiling