Details

analyze3.6s (5.5%)

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
9.4%	90.4%	0.2%	9
9.4%	90.4%	0.2%	10
10.9%	88.9%	0.2%	11
10.9%	88.9%	0.2%	12
10.9%	88.9%	0.2%	13
10.9%	88.9%	0.2%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample260.0ms (0.4%)

Algorithm

1×

intervals

Results

167.0ms	142×	body	1024	valid
36.0ms	53×	body	512	valid
11.0ms	26×	body	256	valid
7.0ms	33×	body	128	valid
4.0ms	2×	body	2048	valid

Compiler

Compiled 41 to 33 computations (19.5% saved)

simplify202.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	271	32
1	271	32

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

1.2b

Counts

2 → 1

Compiler

Compiled 40 to 28 computations (30% saved)

localize32.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
0.6b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.2b	(sin.f64 (-.f64 lambda1 lambda2))
4.2b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite223.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

12×	`cancel-sign-sub-inv_binary64_1067` `add-sqr-sqrt_binary64_1123` `sin-sum_binary64_1234`
10×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_1101`
6×	`pow1_binary64_1162` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050`
4×	`sub-neg_binary64_1094` `cos-sum_binary64_1235`
3×	`cos-diff_binary64_1238` `associate-l_binary64_1042` `associate-r_binary64_1041`
2×	`associate-+r+_binary64_1033`
1×	`sin-diff_binary64_1237` `sum-log_binary64_1192` `flip3-+_binary64_1104` `flip-+_binary64_1075` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `unswap-sqr_binary64_1069` `*-commutative_binary64_1032`

Counts

4 → 63

Calls

4 calls:

17.0ms	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
11.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
10.0ms	(cos.f64 (-.f64 lambda1 lambda2))
10.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 1901 to 401 computations (78.9% saved)

series1.3s (1.9%)

Error

1.1b

Counts

4 → 62

Calls

4 calls:

612.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
328.0ms	(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
102.0ms	(cos.f64 (-.f64 lambda1 lambda2))
96.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 3938 to 1935 computations (50.9% saved)

simplify208.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (159.0ms)

Iter	Nodes	Cost
0	4994	2244
1	4994	2244

prune316.0ms (0.5%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	107	18	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	18	126

Error

0.9b

Counts

126 → 18

Compiler

Compiled 3812 to 904 computations (76.3% saved)

localize52.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 lambda1) (cos.f64 phi2))
0.2b	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
0.6b	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.2b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite224.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

11×	`pow1_binary64_1162` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
10×	`add-sqr-sqrt_binary64_1123`
8×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_1101`
6×	`add-log-exp_binary64_1140` `associate-l_binary64_1042`
4×	`cos-sum_binary64_1235` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `associate-r_binary64_1041`
3×	`cos-diff_binary64_1238` `cancel-sign-sub-inv_binary64_1067`
2×	`associate-+r+_binary64_1033` `*-commutative_binary64_1032`
1×	`sub-neg_binary64_1094` `sum-log_binary64_1192` `flip3-+_binary64_1104` `flip-+_binary64_1075` `distribute-rgt-in_binary64_1051` `distribute-lft-in_binary64_1050` `+-commutative_binary64_1031` `sin-neg_binary64_1231` `distribute-lft-neg-out_binary64_1060` `cos-mult_binary64_1255` `associate-*r/_binary64_1043` `sin-cos-mult_binary64_1257` `unswap-sqr_binary64_1069`

Counts

4 → 64

Calls

4 calls:

14.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
13.0ms	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
9.0ms	(*.f64 (sin.f64 lambda1) (cos.f64 phi2))
9.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 2495 to 441 computations (82.3% saved)

series1.8s (2.8%)

Error

0.5b

Counts

4 → 56

Calls

4 calls:

736.0ms	(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
628.0ms	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
198.0ms	(*.f64 (sin.f64 lambda1) (cos.f64 phi2))
116.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Compiler

Compiled 5173 to 2459 computations (52.5% saved)

simplify135.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5016	2011

prune323.0ms (0.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	5	12	17
Picked	1	0	1
Done	0	0	0
Total	124	14	138

Error

0.2b

Counts

138 → 14

Compiler

Compiled 4755 to 898 computations (81.1% saved)

localize59.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(+.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (cos.f64 phi2)))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
0.5b	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))))

rewrite253.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

11×	`add-log-exp_binary64_1140` `pow1_binary64_1162` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
9×	`add-sqr-sqrt_binary64_1123`
7×	`add-cube-cbrt_binary64_1136` `*-un-lft-identity_binary64_1101`
6×	`associate-l_binary64_1042`
4×	`sum-log_binary64_1192` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `associate-r_binary64_1041`
3×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `sin-mult_binary64_1256`
2×	`+-commutative_binary64_1031` `-commutative_binary64_1032` `associate-l/_binary64_1044` `frac-add_binary64_1109`
1×	`sin-neg_binary64_1231` `distribute-lft-neg-out_binary64_1060` `cos-mult_binary64_1255` `associate-*r/_binary64_1043` `unswap-sqr_binary64_1069` `associate-+l+_binary64_1034`

Counts

4 → 65

Calls

4 calls:

19.0ms	(+.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (cos.f64 phi2)))
13.0ms	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
10.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
9.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))))

Compiler

Compiled 3421 to 434 computations (87.3% saved)

series3.2s (4.9%)

Error

0.2b

Counts

4 → 68

Calls

4 calls:

1.3s	(+.f64 (+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))) (.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (cos.f64 phi2)))
893.0ms	(+.f64 (cos.f64 phi1) (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))))
600.0ms	(.f64 (sin.f64 (neg.f64 lambda2)) (.f64 (cos.f64 lambda1) (cos.f64 phi2)))
180.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))

Compiler

Compiled 7903 to 3285 computations (58.4% saved)

simplify138.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5003	3509

prune378.0ms (0.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	129	4	133
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	133	14	147

Error

0.1b

Counts

147 → 14

Compiler

Compiled 6832 to 1091 computations (84% saved)

localize81.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)) (+.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (.f64 (cos.f64 lambda2) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))))))
0.4b	(pow.f64 (cos.f64 phi1) 3)
0.6b	(pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)
1.2b	(-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))

rewrite646.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

27×	`*-un-lft-identity_binary64_1101`
19×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123`
15×	`times-frac_binary64_1107`
13×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
11×	`pow1_binary64_1162`
9×	`cos-mult_binary64_1255`
8×	`associate-*r/_binary64_1043`
7×	`associate-/r/_binary64_1047`
6×	`add-log-exp_binary64_1140` `pow-unpow_binary64_1178`
5×	`frac-add_binary64_1109` `associate-/l*_binary64_1046`
4×	`unpow-prod-down_binary64_1180` `pow-pow_binary64_1173` `pow-exp_binary64_1169` `cube-prod_binary64_1129` `rem-cube-cbrt_binary64_1124` `sum-cubes_binary64_1102` `distribute-lft-out_binary64_1052`
3×	`flip3--_binary64_1105` `flip--_binary64_1076` `cancel-sign-sub-inv_binary64_1067` `pow-prod-down_binary64_1172` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `associate-/r*_binary64_1045`
2×	`pow-to-exp_binary64_1170` `unpow3_binary64_1167` `cube-mult_binary64_1131` `sqr-pow_binary64_1073` `flip3-+_binary64_1104` `associate-/l/_binary64_1048` `flip-+_binary64_1075` `frac-times_binary64_1111`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `cube-div_binary64_1130` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-*l/_binary64_1044`

Counts

4 → 107

Calls

4 calls:

48.0ms	(/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)) (+.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (.f64 (cos.f64 lambda2) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))))))
17.0ms	(-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))
14.0ms	(pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)
5.0ms	(pow.f64 (cos.f64 phi1) 3)

Compiler

Compiled 9914 to 1548 computations (84.4% saved)

series25.7s (39.2%)

Error

0.1b

Counts

4 → 67

Calls

4 calls:

22.4s	(/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)) (+.f64 (.f64 (cos.f64 phi1) (cos.f64 phi1)) (.f64 (cos.f64 lambda2) (.f64 (.f64 (cos.f64 lambda1) (cos.f64 phi2)) (-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))))))
1.0s	(pow.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) 3)
976.0ms	(-.f64 (.f64 (cos.f64 lambda2) (.f64 (cos.f64 lambda1) (cos.f64 phi2))) (cos.f64 phi1))
105.0ms	(pow.f64 (cos.f64 phi1) 3)

Compiler

Compiled 30875 to 15175 computations (50.9% saved)

simplify345.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5006	20547

prune2.1s (3.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	169	5	174
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	176	12	188

Error

0.1b

Counts

188 → 12

Compiler

Compiled 22405 to 6520 computations (70.9% saved)

regimes5.4s (8.3%)

Accuracy

Total 0.2b remaining (67.3%)

Threshold costs 0.2b (67.3%)

Compiler

Compiled 46711 to 25490 computations (45.4% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	45	72
1	45	72

end0.0ms (0%)

sample18.6s (28.3%)

Algorithm

1×

intervals

Results

5.4s	4387×	body	1024	valid
1.3s	1757×	body	512	valid
362.0ms	761×	body	256	valid
307.0ms	119×	body	2048	valid
261.0ms	976×	body	128	valid

Compiler

Compiled 6729 to 3675 computations (45.4% saved)

Details

analyze3.6s (5.5%)

sample260.0ms (0.4%)

simplify202.0ms (0.3%)

prune6.0ms (0%)

localize32.0ms (0%)

rewrite223.0ms (0.3%)

series1.3s (1.9%)

simplify208.0ms (0.3%)

prune316.0ms (0.5%)

localize52.0ms (0.1%)

rewrite224.0ms (0.3%)

series1.8s (2.8%)

simplify135.0ms (0.2%)

prune323.0ms (0.5%)

localize59.0ms (0.1%)

rewrite253.0ms (0.4%)

series3.2s (4.9%)

simplify138.0ms (0.2%)

prune378.0ms (0.6%)

localize81.0ms (0.1%)

rewrite646.0ms (1%)

series25.7s (39.2%)

simplify345.0ms (0.5%)

prune2.1s (3.2%)

regimes5.4s (8.3%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample18.6s (28.3%)

Profiling