Details

Time bar (total: 18.6s)

analyze2.0s (10.6%)

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

sample154.0ms (0.8%)

Algorithm
1×intervals
Results
98.0ms143×body1024valid
21.0ms54×body512valid
6.0ms24×body256valid
4.0ms33×body128valid
2.0ms2×body2048valid
Compiler

Compiled 41 to 33 computations (19.5% saved)

simplify121.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
027132
127132

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.6b
Counts
2 → 1
Compiler

Compiled 40 to 28 computations (30% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
0.1b
(*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2)))
0.1b
(*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))
0.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
0.2b
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
0.5b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
3.4b
(cos.f64 (-.f64 lambda1 lambda2))
3.5b
(sin.f64 (-.f64 lambda1 lambda2))

rewrite19.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
6×*-un-lft-identity_binary64_760 cancel-sign-sub-inv_binary64_726 add-cube-cbrt_binary64_795 add-log-exp_binary64_799 add-sqr-sqrt_binary64_782
4×cos-sum_binary64_894 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 pow1_binary64_821 sin-sum_binary64_893
3×cos-diff_binary64_897
2×associate-+r+_binary64_692 sub-neg_binary64_753
1×flip3-+_binary64_763 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 flip-+_binary64_734 +-commutative_binary64_690 sum-log_binary64_851 sin-diff_binary64_896
Counts
4 → 44
Calls

8 calls:

5.0ms
(sin.f64 (-.f64 lambda1 lambda2))
5.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.0ms
(cos.f64 (-.f64 lambda1 lambda2))
0.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
0.0ms
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))

series553.0ms (3%)

Counts
4 → 53
Calls

4 calls:

337.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
109.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
61.0ms
(cos.f64 (-.f64 lambda1 lambda2))
46.0ms
(sin.f64 (-.f64 lambda1 lambda2))
Compiler

Compiled 2071 to 1445 computations (30.2% saved)

simplify80.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
050631863

prune212.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New841397
Fresh000
Picked101
Done000
Total851398
Error
0.4b
Counts
98 → 13
Compiler

Compiled 2815 to 622 computations (77.9% saved)

localize25.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))
0.1b
(+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))
0.1b
(*.f64 (cos.f64 lambda2) (cos.f64 lambda1))
0.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
0.2b
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.2b
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.6b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
3.5b
(sin.f64 (-.f64 lambda1 lambda2))

rewrite21.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_782
7×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795
6×add-exp-log_binary64_798 add-log-exp_binary64_799 add-cbrt-cube_binary64_796 pow1_binary64_821
4×sin-sum_binary64_893
3×cancel-sign-sub-inv_binary64_726 associate-*r*_binary64_700 associate-*l*_binary64_701
2×associate-+r+_binary64_692
1×unswap-sqr_binary64_728 prod-exp_binary64_809 flip3-+_binary64_763 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 flip-+_binary64_734 +-commutative_binary64_690 sum-log_binary64_851 sin-mult_binary64_915 cbrt-unprod_binary64_793 sub-neg_binary64_753 pow-prod-down_binary64_831 sin-diff_binary64_896 *-commutative_binary64_691
Counts
4 → 51
Calls

8 calls:

5.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
5.0ms
(sin.f64 (-.f64 lambda1 lambda2))
4.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.0ms
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

series1.1s (5.7%)

Counts
4 → 53
Calls

4 calls:

755.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
147.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
93.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
59.0ms
(sin.f64 (-.f64 lambda1 lambda2))
Compiler

Compiled 2792 to 1955 computations (30% saved)

simplify78.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
049812629
149812629

prune133.0ms (0.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1031104
Fresh4812
Picked101
Done000
Total1089117
Error
0.0b
Counts
117 → 9
Compiler

Compiled 3689 to 654 computations (82.3% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite22.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64_782
8×*-un-lft-identity_binary64_760 add-exp-log_binary64_798 add-cube-cbrt_binary64_795 add-cbrt-cube_binary64_796 pow1_binary64_821
6×add-log-exp_binary64_799 associate-*r*_binary64_700 associate-*l*_binary64_701
2×unswap-sqr_binary64_728 prod-exp_binary64_809 associate-+r+_binary64_692 cbrt-unprod_binary64_793 pow-prod-down_binary64_831 *-commutative_binary64_691
1×flip3-+_binary64_763 distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 flip-+_binary64_734 +-commutative_binary64_690 sum-log_binary64_851 sin-mult_binary64_915 sin-cos-mult_binary64_916
Counts
4 → 58
Calls

8 calls:

5.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
5.0ms
(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
4.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.0ms
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))

series1.1s (6.1%)

Counts
4 → 51
Calls

4 calls:

748.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
178.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
103.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
102.0ms
(*.f64 (sin.f64 lambda1) (cos.f64 lambda2))
Compiler

Compiled 3361 to 2059 computations (38.7% saved)

simplify69.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049692915
149692915

prune159.0ms (0.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1081109
Fresh178
Picked011
Done000
Total1099118
Error
0.0b
Counts
118 → 9
Compiler

Compiled 4600 to 709 computations (84.6% saved)

localize40.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (cos.f64 lambda2) (cos.f64 lambda1))
0.1b
(*.f64 (cos.f64 lambda2) (cos.f64 lambda1))
0.1b
(*.f64 (cos.f64 lambda2) (cos.f64 lambda1))
0.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (*.f64 (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))
0.6b
(cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.6b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.6b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
0.6b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

rewrite28.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp_binary64_799
6×associate-+r+_binary64_692
5×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782
4×flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 pow1_binary64_821
3×distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710 +-commutative_binary64_690 sum-log_binary64_851 cbrt-prod_binary64_791
2×cbrt-div_binary64_792
1×pow1/3_binary64_842
Counts
4 → 52
Calls

8 calls:

5.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
5.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
4.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
3.0ms
(cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
0.0ms
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (*.f64 (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))) (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))) (cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))))

series4.5s (24.2%)

Counts
4 → 87
Calls

4 calls:

2.1s
(cbrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2))))))
805.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
782.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
767.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
Compiler

Compiled 11286 to 4873 computations (56.8% saved)

simplify90.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
058245705

prune262.0ms (1.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1381139
Fresh077
Picked011
Done011
Total13810148
Error
0.0b
Counts
148 → 10
Compiler

Compiled 11559 to 1090 computations (90.6% saved)

simplify26.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
03701761
13701761

regimes593.0ms (3.2%)

Compiler

Compiled 7693 to 4582 computations (40.4% saved)

bsearch0.0ms (0%)

regimes431.0ms (2.3%)

Compiler

Compiled 4508 to 3280 computations (27.2% saved)

bsearch0.0ms (0%)

regimes326.0ms (1.8%)

Compiler

Compiled 3010 to 2335 computations (22.4% saved)

bsearch0.0ms (0%)

regimes171.0ms (0.9%)

Compiler

Compiled 1351 to 1137 computations (15.8% saved)

bsearch0.0ms (0%)

regimes113.0ms (0.6%)

Compiler

Compiled 730 to 670 computations (8.2% saved)

bsearch0.0ms (0%)

regimes146.0ms (0.8%)

Compiler

Compiled 443 to 464 computations (-4.7% saved)

bsearch1.0ms (0%)

Steps
ItersRangePoint
0
0.999999142683355
0.9999999999999909
0.9999995713416729
Compiler

Compiled 2 to 5 computations (-150% saved)

regimes116.0ms (0.6%)

Compiler

Compiled 250 to 304 computations (-21.6% saved)

bsearch0.0ms (0%)

Steps
ItersRangePoint
0
0.9986201984679594
0.9998526319928392
0.9992364152303993
Compiler

Compiled 2 to 5 computations (-150% saved)

regimes63.0ms (0.3%)

Compiler

Compiled 136 to 220 computations (-61.8% saved)

bsearch0.0ms (0%)

regimes252.0ms (1.4%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch48.0ms (0.3%)

Steps
ItersRangePoint
5
2.3809521027790412e-94
9.028799679067488e-94
3.1463211374710704e-94
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes32.0ms (0.2%)

Accuracy

Total 0.1b remaining (60.8%)

Threshold costs 0.1b (60.8%)

Compiler

Compiled 16 to 72 computations (-350% saved)

bsearch15.0ms (0.1%)

Compiler

Compiled 233 to 158 computations (32.2% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0152372
1152372

end0.0ms (0%)

sample5.5s (29.4%)

Algorithm
1×intervals
Results
2.8s4464×body1024valid
695.0ms1729×body512valid
180.0ms728×body256valid
165.0ms122×body2048valid
120.0ms957×body128valid
Compiler

Compiled 1336 to 812 computations (39.2% saved)

Pareto

0.4464734096419668

Profiling

Loading profile data...