Details

Time bar (total: 33.0s)

analyze6.3s (19.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
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
0%99.8%0.2%11
0%99.8%0.2%12
0.6%99.2%0.2%13
1.8%98%0.2%14
Compiler

Compiled 66 to 47 computations (28.8% saved)

sample435.0ms (1.3%)

Algorithm
1×intervals
Results
302.0ms175×body1024valid
46.0ms42×body512valid
45.0ms14×body2048valid
7.0ms10×body256valid
5.0ms15×body128valid
Compiler

Compiled 131 to 98 computations (25.2% saved)

simplify204.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04778103
14778103

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
24.9b
Counts
2 → 1
Compiler

Compiled 130 to 92 computations (29.2% saved)

localize33.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))
0.1b
(sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite30.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_2828 sin-diff_binary64_2942 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 div-sub_binary64_2811 *-un-lft-identity_binary64_2806 add-log-exp_binary64_2845 add-cube-cbrt_binary64_2841 pow1_binary64_2867
Counts
4 → 32
Calls

8 calls:

6.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
0.0ms
(*.f64 (cos.f64 phi1) (cos.f64 phi2))

series333.0ms (1%)

Counts
4 → 48
Calls

4 calls:

85.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
83.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
83.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
83.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 4576 to 3336 computations (27.1% saved)

simplify93.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049401412
149401412

prune519.0ms (1.6%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New582280
Fresh000
Picked101
Done000
Total592281
Error
24.1b
Counts
81 → 22
Compiler

Compiled 7344 to 4504 computations (38.7% saved)

localize40.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))))))
0.1b
(sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))))))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.1b
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite34.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_2837
7×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 pow1_binary64_2867
3×sin-diff_binary64_2942 cube-prod_binary64_2834 div-sub_binary64_2811 unpow-prod-down_binary64_2885
1×pow1/3_binary64_2888 unpow3_binary64_2872 sqr-pow_binary64_2778 cube-mult_binary64_2836 rem-cbrt-cube_binary64_2830
Counts
4 → 45
Calls

8 calls:

6.0ms
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
0.0ms
(*.f64 (cos.f64 phi1) (cos.f64 phi2))

series349.0ms (1.1%)

Counts
4 → 48
Calls

4 calls:

90.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
88.0ms
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
86.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
85.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 4720 to 3480 computations (26.3% saved)

simplify82.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049351609
149351609

prune460.0ms (1.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New87693
Fresh51621
Picked101
Done000
Total9322115
Error
24.1b
Counts
115 → 22
Compiler

Compiled 8472 to 5252 computations (38% saved)

localize43.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))
0.1b
(sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.1b
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))

rewrite30.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_2837
7×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 pow1_binary64_2867
3×sin-diff_binary64_2942 cube-prod_binary64_2834 div-sub_binary64_2811 unpow-prod-down_binary64_2885
1×pow1/3_binary64_2888 unpow3_binary64_2872 sqr-pow_binary64_2778 cube-mult_binary64_2836 rem-cbrt-cube_binary64_2830
Counts
4 → 45
Calls

8 calls:

6.0ms
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
0.0ms
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))

series357.0ms (1.1%)

Counts
4 → 48
Calls

4 calls:

94.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
90.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
88.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
85.0ms
(cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))
Compiler

Compiled 4720 to 3480 computations (26.3% saved)

simplify82.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049351609
149351609

prune419.0ms (1.3%)

Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New91293
Fresh21921
Picked011
Done000
Total9322115
Error
24.1b
Counts
115 → 22
Compiler

Compiled 8401 to 5203 computations (38.1% saved)

localize48.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)))))))
0.1b
(sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3))))))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
0.1b
(*.f64 (cos.f64 phi1) (cos.f64 phi2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
7.1b
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3))

rewrite29.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
8×cbrt-prod_binary64_2837
5×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 add-log-exp_binary64_2845 pow1_binary64_2867
3×sin-diff_binary64_2942 div-sub_binary64_2811
1×pow1/3_binary64_2888 cube-prod_binary64_2834 unpow3_binary64_2872 unpow-prod-down_binary64_2885 sqr-pow_binary64_2778 cube-mult_binary64_2836 rem-cbrt-cube_binary64_2830
Counts
4 → 41
Calls

8 calls:

6.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.0ms
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3))
0.0ms
(atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)))))))

series360.0ms (1.1%)

Counts
4 → 44
Calls

4 calls:

96.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
94.0ms
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3))
93.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
77.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 5032 to 3700 computations (26.5% saved)

simplify80.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049481395
149481395

prune393.0ms (1.2%)

Pruning

26 alts after pruning (25 fresh and 1 done)

PrunedKeptTotal
New76985
Fresh41620
Picked101
Done011
Total8126107
Error
24.0b
Counts
107 → 26
Compiler

Compiled 6868 to 4161 computations (39.4% saved)

simplify135.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
021276084
121276084

regimes2.1s (6.3%)

Compiler

Compiled 35219 to 25920 computations (26.4% saved)

bsearch0.0ms (0%)

regimes1.6s (5%)

Compiler

Compiled 28494 to 21000 computations (26.3% saved)

bsearch0.0ms (0%)

regimes209.0ms (0.6%)

Compiler

Compiled 1285 to 1060 computations (17.5% saved)

bsearch436.0ms (1.3%)

Steps
ItersRangePoint
8
18639281.78545248
201073613242.48395
19076800.623379357
7
-2.931925721956992e-07
-3.5551870441825156e-09
-2.873056242103427e-07
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes151.0ms (0.5%)

Compiler

Compiled 970 to 830 computations (14.4% saved)

bsearch424.0ms (1.3%)

Steps
ItersRangePoint
8
18639281.78545248
201073613242.48395
19076800.623379357
7
-2.931925721956992e-07
-3.5551870441825156e-09
-2.873056242103427e-07
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes162.0ms (0.5%)

Compiler

Compiled 655 to 600 computations (8.4% saved)

bsearch420.0ms (1.3%)

Steps
ItersRangePoint
8
18639281.78545248
201073613242.48395
19076800.623379357
7
-2.931925721956992e-07
-3.5551870441825156e-09
-2.216534657584568e-07
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes69.0ms (0.2%)

Compiler

Compiled 340 to 370 computations (-8.8% saved)

bsearch0.0ms (0%)

regimes46.0ms (0.1%)

Accuracy

Total 1.0b remaining (4.3%)

Threshold costs 0b (0%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch33.0ms (0.1%)

Compiler

Compiled 813 to 545 computations (33% saved)

simplify16.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03141092
13141092

end0.0ms (0%)

sample16.4s (49.8%)

Algorithm
1×intervals
Results
9.3s5265×body1024valid
1.4s1251×body512valid
1.2s406×body2048valid
280.0ms371×body256valid
227.0ms707×body128valid
9.0ms3×body1024invalid
Compiler

Compiled 4584 to 3339 computations (27.2% saved)

Pareto

0.19524909791075634

Profiling

Loading profile data...