Details

Time bar (total: 36.7s)

analyze2.1s (5.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 25 to 15 computations (40% saved)

sample144.0ms (0.4%)

Algorithm
1×intervals
Results
96.0ms144×body1024valid
20.0ms53×body512valid
7.0ms29×body256valid
4.0ms29×body128valid
1.0ms1×body2048valid
Compiler

Compiled 53 to 33 computations (37.7% saved)

simplify30.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
49×sub-neg_binary64
44×distribute-rgt-in_binary64
38×cancel-sign-sub-inv_binary64
31×unsub-neg_binary64
27×neg-mul-1_binary64
Counts
1 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01532
12132
22632
33232
43832
56232
68932
711332
814732
917432
1022332
1121132
1223232
1326132
1426132
1527132
1628432
1729232
1829932
1929832
2027132

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
0.9b
Counts
1 → 1
Alt Table
StatusErrorProgram
▶0.9b
(+.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))))))
Compiler

Compiled 48 to 28 computations (41.7% saved)

localize17.0ms (0%)

Local error

Found 4 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.5b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
4.6b
(sin.f64 (-.f64 lambda1 lambda2))
4.7b
(cos.f64 (-.f64 lambda1 lambda2))

rewrite101.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
0.7b
Rules
6×add-log-exp_binary64
6×*-un-lft-identity_binary64
6×add-sqr-sqrt_binary64
6×cancel-sign-sub-inv_binary64
6×add-cube-cbrt_binary64
Counts
4 → 44
Calls

4 calls:

5.0ms
(cos.f64 (-.f64 lambda1 lambda2))
5.0ms
(sin.f64 (-.f64 lambda1 lambda2))
4.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (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)))))
Compiler

Compiled 1360 to 285 computations (79% saved)

series195.0ms (0.5%)

Error
0.8b
Counts
4 → 56
Calls

4 calls:

70.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
30.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)))))
22.0ms
(cos.f64 (-.f64 lambda1 lambda2))
19.0ms
(sin.f64 (-.f64 lambda1 lambda2))
Compiler

Compiled 3309 to 1705 computations (48.5% saved)

simplify133.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
555×distribute-rgt-neg-in_binary64
513×associate-*l*_binary64
490×associate-*r*_binary64
475×neg-mul-1_binary64
433×cancel-sign-sub-inv_binary64
Counts
100 → 68
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01982231
14862052
212282016
335522016
447882016
551262016

prune96.0ms (0.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New571168
Fresh000
Picked101
Done000
Total581169
Error
0.7b
Counts
69 → 11
Alt Table
StatusErrorProgram
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
1.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) lambda1) (sin.f64 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
▶0.8b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))))
0.9b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3))))))
7.1b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (cos.f64 lambda2) (+.f64 (*.f64 (sin.f64 (neg.f64 lambda2)) (-.f64 (*.f64 1/6 (pow.f64 lambda1 3)) lambda1)) (*.f64 (*.f64 (cos.f64 lambda2) (*.f64 lambda1 lambda1)) -1/2)))))))
7.6b
(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))) 3)))
30.0b
(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
4.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
1.4b
(+.f64 lambda1 (*.f64 (*.f64 (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))))
12.7b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
Compiler

Compiled 2087 to 734 computations (64.8% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.2b
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 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))))
4.7b
(cos.f64 (-.f64 lambda1 lambda2))

rewrite154.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
9×add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64
7×add-cube-cbrt_binary64
6×add-cbrt-cube_binary64
6×add-exp-log_binary64
Counts
4 → 50
Calls

4 calls:

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

Compiled 1803 to 322 computations (82.1% saved)

series243.0ms (0.7%)

Error
0.4b
Counts
4 → 53
Calls

4 calls:

75.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2))))
39.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))
27.0ms
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
22.0ms
(cos.f64 (-.f64 lambda1 lambda2))
Compiler

Compiled 4009 to 2154 computations (46.3% saved)

simplify134.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
377×cancel-sign-sub-inv_binary64
357×*-commutative_binary64
350×distribute-rgt-neg-in_binary64
316×distribute-lft-neg-in_binary64
314×neg-mul-1_binary64
Counts
103 → 70
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02082475
15112247
213612213
326132173
446322173
549472173

prune119.0ms (0.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New68270
Fresh2810
Picked101
Done000
Total711081
Error
0.1b
Counts
81 → 10
Alt Table
StatusErrorProgram
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
0.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (+.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.9b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3))))))
7.6b
(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))) 3)))
30.0b
(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
4.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (-.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)))) (-.f64 (cos.f64 phi1) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))))))
▶0.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.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)))))))
1.4b
(+.f64 lambda1 (*.f64 (*.f64 (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))))
12.7b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (exp.f64 (log.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
Compiler

Compiled 2151 to 658 computations (69.4% saved)

localize26.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.2b
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.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.4b
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))

rewrite209.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
12×add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64
8×add-cube-cbrt_binary64
8×add-cbrt-cube_binary64
8×add-exp-log_binary64
Counts
4 → 57
Calls

4 calls:

6.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 lambda1) (sin.f64 lambda2))
5.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.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))))))
Compiler

Compiled 2398 to 354 computations (85.2% saved)

series340.0ms (0.9%)

Error
0.1b
Counts
4 → 54
Calls

4 calls:

125.0ms
(+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))
50.0ms
(atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.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))))))
33.0ms
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
28.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
Compiler

Compiled 5300 to 2462 computations (53.5% saved)

simplify131.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
753×cancel-sign-sub-inv_binary64
486×distribute-rgt-in_binary64
464×distribute-lft-in_binary64
271×associate-*r*_binary64
269×distribute-rgt-neg-in_binary64
Counts
111 → 83
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02443390
16403086
221063008
347473008
450103008

prune186.0ms (0.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New78583
Fresh549
Picked101
Done000
Total84993
Error
0.1b
Counts
93 → 9
Alt Table
StatusErrorProgram
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
0.5b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)))))))
6.9b
(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) 3)))
▶0.3b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))))))))
12.7b
(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))))
0.9b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 lambda1 lambda2)) 3))))))
12.1b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sqrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (sqrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))))
30.0b
(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
1.4b
(+.f64 lambda1 (*.f64 (*.f64 (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
Compiler

Compiled 3413 to 886 computations (74% saved)

localize44.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 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))))))
0.4b
(+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3))
0.6b
(pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)
1.6b
(-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))

rewrite527.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
26×*-un-lft-identity_binary64
16×associate-*r/_binary64
16×add-sqr-sqrt_binary64
16×add-cube-cbrt_binary64
15×times-frac_binary64
Counts
4 → 104
Calls

4 calls:

26.0ms
(/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))))))
10.0ms
(-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))
10.0ms
(+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3))
9.0ms
(pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)
Compiler

Compiled 11094 to 1465 computations (86.8% saved)

series17.6s (48%)

Error
0.1b
Counts
4 → 80
Calls

4 calls:

15.5s
(/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))))))
1.0s
(+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3))
217.0ms
(pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)
139.0ms
(-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))
Compiler

Compiled 98782 to 44484 computations (55% saved)

simplify732.0ms (2%)

Algorithm
1×egg-herbie
Rules
877×associate-*r*_binary64
313×associate-/l*_binary64
261×associate-*r/_binary64
77×sqr-pow_binary64
61×sub-neg_binary64
Counts
184 → 126
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0264470331
1545570331

prune1.5s (4.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1233126
Fresh268
Picked101
Done000
Total1269135
Error
0.1b
Counts
135 → 9
Alt Table
StatusErrorProgram
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (sin.f64 (-.f64 lambda1 lambda2))) (log.f64 (exp.f64 (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
6.9b
(+.f64 lambda1 (cbrt.f64 (pow.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) 3)))
12.7b
(+.f64 lambda1 (log.f64 (exp.f64 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (sin.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 lambda2) (cos.f64 lambda1)))) (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))))
12.1b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (*.f64 (sqrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (sqrt.f64 (+.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))))
1.0b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 3) (pow.f64 (cos.f64 phi2) 3)) (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) (+.f64 (/.f64 (pow.f64 (cos.f64 phi1) 3) (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2))))) (+.f64 (/.f64 (*.f64 (sin.f64 lambda2) (*.f64 (pow.f64 (cos.f64 lambda2) 3) (*.f64 lambda1 (*.f64 (cos.f64 phi1) (pow.f64 (cos.f64 phi2) 4))))) (pow.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 2)) (+.f64 (/.f64 (*.f64 (sin.f64 lambda2) (*.f64 lambda1 (*.f64 (pow.f64 (cos.f64 phi1) 4) (cos.f64 phi2)))) (pow.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 2)) (*.f64 3 (/.f64 (*.f64 (sin.f64 lambda2) (*.f64 (pow.f64 (cos.f64 lambda2) 2) (*.f64 lambda1 (pow.f64 (cos.f64 phi2) 3)))) (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))))))) (*.f64 2 (+.f64 (/.f64 (*.f64 (sin.f64 lambda2) (*.f64 (cos.f64 lambda2) (*.f64 lambda1 (*.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (cos.f64 phi2) 2))))) (pow.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 2)) (/.f64 (*.f64 (sin.f64 lambda2) (*.f64 (pow.f64 (cos.f64 lambda2) 4) (*.f64 lambda1 (pow.f64 (cos.f64 phi2) 5)))) (pow.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 lambda2) 2) (pow.f64 (cos.f64 phi2) 2)) (pow.f64 (cos.f64 phi1) 2)) (*.f64 (cos.f64 lambda2) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))) 2)))))))
3.5b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (/.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 phi1) 6) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 6)) (-.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3))) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (-.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1))))))))
0.2b
(+.f64 lambda1 (atan2.f64 (*.f64 (cos.f64 phi2) (-.f64 (*.f64 (cos.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda1) (sin.f64 lambda2)))) (/.f64 (+.f64 (pow.f64 (cos.f64 phi1) 3) (pow.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) 3)) (+.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi1)) (*.f64 (cos.f64 phi2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (/.f64 (-.f64 (*.f64 (pow.f64 (cos.f64 phi2) 2) (*.f64 (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1))))) (pow.f64 (cos.f64 phi1) 2)) (+.f64 (*.f64 (cos.f64 phi2) (+.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (*.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cos.f64 phi1)))))))))
30.0b
(+.f64 lambda1 (exp.f64 (log.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
1.4b
(+.f64 lambda1 (*.f64 (*.f64 (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1)))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))) (cbrt.f64 (atan2.f64 (*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (+.f64 (*.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2)) (cos.f64 phi1))))))
Compiler

Compiled 46948 to 17845 computations (62% saved)

regimes7.0s (19%)

Accuracy

Total 0.1b remaining (51.8%)

Threshold costs 0.1b (51.8%)

Compiler

Compiled 201516 to 91773 computations (54.5% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
9×*-commutative_binary64
7×+-commutative_binary64
4×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02460
13860
24860
35460
45860
55960
65960

end1.0ms (0%)

Compiler

Compiled 40 to 23 computations (42.5% saved)

sample5.0s (13.6%)

Algorithm
1×intervals
Results
2.9s4511×body1024valid
706.0ms1750×body512valid
193.0ms737×body256valid
138.0ms99×body2048valid
113.0ms903×body128valid
Compiler

Compiled 837 to 385 computations (54% saved)

Profiling

Loading profile data...