Details

Time bar (total: 1.9min)

analyze2.1s (1.9%)

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.8%99%0.2%11
4.7%95.1%0.2%12
5.9%93.2%0.8%13
8.5%90.2%1.3%14
Compiler

Compiled 33 to 22 computations (33.3% saved)

sample100.0ms (0.1%)

Algorithm
1×intervals
Results
20.0ms193×body128valid
19.0ms28×body1024valid
10.0ms19×body1024invalid
10.0ms98×body128invalid
7.0ms21×body512valid
4.0ms12×body512invalid
3.0ms14×body256valid
2.0ms9×body256invalid
Compiler

Compiled 65 to 48 computations (26.2% saved)

simplify227.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (132.0ms)

IterNodesCost
0496049
1496049

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 64 to 42 computations (34.4% saved)

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
0.2b
(*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
0.1b
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
0.0b
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))
0.2b
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
35.8b
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite65.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
130×associate-*l/_binary64_1044
97×flip--_binary64_1076 flip3--_binary64_1105
66×sqrt-div_binary64_1118
64×frac-times_binary64_1111 frac-add_binary64_1109
32×associate-*r/_binary64_1043
12×add-sqr-sqrt_binary64_1123
9×*-un-lft-identity_binary64_1101
7×pow1_binary64_1162 add-cube-cbrt_binary64_1136
6×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
5×associate-*l*_binary64_1042
4×add-log-exp_binary64_1140
3×sqrt-prod_binary64_1117 associate-*r*_binary64_1041
1×*-commutative_binary64_1032 rem-sqrt-square_binary64_1114 cbrt-unprod_binary64_1134 difference-of-squares_binary64_1070 prod-exp_binary64_1150 sqrt-pow1_binary64_1119 distribute-lft-out--_binary64_1053 flip3-+_binary64_1104 pow-prod-down_binary64_1172 flip-+_binary64_1075 unswap-sqr_binary64_1069 pow1/2_binary64_1181
Counts
4 → 115
Calls

8 calls:

20.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
7.0ms
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
0.0ms
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))

series6.2s (5.6%)

Counts
4 → 75
Calls

4 calls:

5.8s
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
282.0ms
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
52.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
50.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
Compiler

Compiled 11873 to 9223 computations (22.3% saved)

simplify189.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0601014374

prune617.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New17812190
Fresh000
Picked101
Done000
Total17912191
Error
3.7b
Counts
191 → 12
Compiler

Compiled 12366 to 4937 computations (60.1% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
0.2b
(*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2)))
0.1b
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
0.0b
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
26.8b
(/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
35.8b
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite64.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
58×associate-*l/_binary64_1044
47×flip--_binary64_1076 flip3--_binary64_1105
42×sqrt-div_binary64_1118
40×frac-add_binary64_1109
36×frac-times_binary64_1111
20×associate-*r/_binary64_1043
11×*-un-lft-identity_binary64_1101
9×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
8×add-sqr-sqrt_binary64_1123
7×add-cube-cbrt_binary64_1136
5×pow1_binary64_1162
4×add-log-exp_binary64_1140 times-frac_binary64_1107 associate-/r*_binary64_1045
3×sqrt-prod_binary64_1117
2×distribute-lft-out_binary64_1052 flip3-+_binary64_1104 associate-/l/_binary64_1048 associate-/r/_binary64_1047 div-exp_binary64_1152 cbrt-undiv_binary64_1135 flip-+_binary64_1075
1×rem-sqrt-square_binary64_1114 cbrt-unprod_binary64_1134 prod-exp_binary64_1150 frac-2neg_binary64_1112 sqrt-pow1_binary64_1119 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 pow1/2_binary64_1181
Counts
4 → 96
Calls

8 calls:

20.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
15.0ms
(/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
0.0ms
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))

series12.8s (11.5%)

Counts
4 → 70
Calls

4 calls:

12.2s
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
526.0ms
(/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
54.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
53.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
Compiler

Compiled 18931 to 13192 computations (30.3% saved)

simplify128.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0582013685

prune480.0ms (0.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1651166
Fresh01111
Picked011
Done000
Total16513178
Error
3.7b
Counts
178 → 13
Compiler

Compiled 12262 to 5219 computations (57.4% saved)

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
0.1b
(*.f64 R (*.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))))
0.0b
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))
0.0b
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
37.0b
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
37.0b
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite115.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
256×associate-*l/_binary64_1044
192×flip--_binary64_1076 flip3--_binary64_1105
132×cbrt-div_binary64_1133
128×frac-times_binary64_1111 frac-add_binary64_1109
64×associate-*r/_binary64_1043
6×add-sqr-sqrt_binary64_1123 *-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136 cbrt-prod_binary64_1132
4×add-log-exp_binary64_1140 add-exp-log_binary64_1139 pow1_binary64_1162 add-cbrt-cube_binary64_1137
2×pow1/3_binary64_1183 flip3-+_binary64_1104 flip-+_binary64_1075
Counts
4 → 168
Calls

8 calls:

20.0ms
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
20.0ms
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
0.0ms
(*.f64 R (*.f64 (fabs.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))))

series50.3s (45.2%)

Counts
4 → 75
Calls

4 calls:

33.8s
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
16.3s
(cbrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
78.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
77.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
Compiler

Compiled 30798 to 23777 computations (22.8% saved)

simplify236.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
243 → 243
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0627527321

prune1.3s (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New2412243
Fresh11011
Picked101
Done011
Total24313256
Error
3.7b
Counts
256 → 13
Compiler

Compiled 28302 to 11490 computations (59.4% saved)

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
0.2b
(*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2)))
0.1b
(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
0.0b
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.8b
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
26.8b
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
35.8b
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite67.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
58×associate-*l/_binary64_1044
47×flip--_binary64_1076 flip3--_binary64_1105
42×sqrt-div_binary64_1118
40×frac-add_binary64_1109
36×frac-times_binary64_1111
20×associate-*r/_binary64_1043
11×*-un-lft-identity_binary64_1101
9×add-exp-log_binary64_1139
8×add-sqr-sqrt_binary64_1123 add-cbrt-cube_binary64_1137
7×add-cube-cbrt_binary64_1136
5×pow1_binary64_1162
4×add-log-exp_binary64_1140 times-frac_binary64_1107 associate-/r*_binary64_1045
3×sqrt-prod_binary64_1117
2×distribute-lft-out_binary64_1052 flip3-+_binary64_1104 associate-/l/_binary64_1048 associate-/r/_binary64_1047 div-exp_binary64_1152 cbrt-undiv_binary64_1135 flip-+_binary64_1075
1×rem-sqrt-square_binary64_1114 cbrt-unprod_binary64_1134 prod-exp_binary64_1150 frac-2neg_binary64_1112 sqrt-pow1_binary64_1119 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046 pow1/2_binary64_1181
Counts
4 → 96
Calls

8 calls:

22.0ms
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
14.0ms
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
0.0ms
(*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))

series12.7s (11.4%)

Counts
4 → 70
Calls

4 calls:

12.1s
(sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
495.0ms
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)) 3)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))
56.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
56.0ms
(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
Compiler

Compiled 19015 to 13276 computations (30.2% saved)

simplify134.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0582213685

prune489.0ms (0.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1660166
Fresh01111
Picked011
Done011
Total16613179
Error
3.7b
Counts
179 → 13
Compiler

Compiled 11783 to 4948 computations (58% saved)

simplify59.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
010663423
110663423

regimes2.7s (2.4%)

Compiler

Compiled 21794 to 13841 computations (36.5% saved)

bsearch373.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
2.8337288879326363e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
2.0516300537315722e-172
8
8.771748332239424e-278
2.4232540550712527e-275
1.4160468082729796e-276
5
-1.3243481602545858e-242
-6.14931316576353e-243
-1.3082263471954195e-242
5
-1.9365089283516673e-230
-8.718632103524561e-231
-9.961113512912832e-231
7
-8.958269955326437e-68
-2.03557066490565e-69
-7.853982437309125e-69
6
-4.851073580241738e-25
-6.790653546376402e-26
-6.906144366019333e-26
10
-1.7538495923714022e+65
-1.217187788393508e+53
-7.284058056362842e+64
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes2.0s (1.8%)

Compiler

Compiled 13551 to 9172 computations (32.3% saved)

bsearch383.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
2.9859377646597503e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
1.298883237366615e-175
8
8.771748332239424e-278
2.4232540550712527e-275
1.0745057675627444e-275
5
-1.3243481602545858e-242
-6.14931316576353e-243
-1.1792518427220885e-242
5
-1.9365089283516673e-230
-8.718632103524561e-231
-8.814207596554429e-231
7
-8.958269955326437e-68
-2.03557066490565e-69
-8.800296941622612e-68
6
-4.851073580241738e-25
-6.790653546376402e-26
-1.086394353227334e-25
10
-1.7538495923714022e+65
-1.217187788393508e+53
-1.2233762362499954e+64
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes1.6s (1.5%)

Compiler

Compiled 9212 to 6767 computations (26.5% saved)

bsearch376.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
3.0620422030233072e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
5.4789102405569135e-173
8
8.771748332239424e-278
2.4232540550712527e-275
9.864473031135728e-277
5
-1.3243481602545858e-242
-6.14931316576353e-243
-1.0502773382487573e-242
5
-1.9365089283516673e-230
-8.718632103524561e-231
-1.4968616604142797e-230
7
-8.958269955326437e-68
-2.03557066490565e-69
-8.248914971568689e-69
6
-4.851073580241738e-25
-6.790653546376402e-26
-1.9179282546564299e-25
10
-1.7538495923714022e+65
-1.217187788393508e+53
-3.721601161658729e+62
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes899.0ms (0.8%)

Compiler

Compiled 2590 to 2514 computations (2.9% saved)

bsearch364.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
3.138146641386864e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
1.831253301488852e-174
8
8.771748332239424e-278
2.4232540550712527e-275
9.370339259117342e-276
5
-1.3243481602545858e-242
-6.14931316576353e-243
-8.486976059342659e-243
5
-1.9365089283516673e-230
-8.718632103524561e-231
-9.578811540793364e-231
7
-8.958269955326437e-68
-2.03557066490565e-69
-7.853982437309125e-69
6
-4.851073580241738e-25
-6.790653546376402e-26
-6.906144366019333e-26
10
-1.7538495923714022e+65
-1.217187788393508e+53
-2.3247219285292313e+64
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes860.0ms (0.8%)

Compiler

Compiled 2248 to 2280 computations (-1.4% saved)

bsearch350.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
2.8337288879326363e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
1.2040802390879408e-175
8
8.771748332239424e-278
2.4232540550712527e-275
5.546121548268126e-276
5
-1.3243481602545858e-242
-6.14931316576353e-243
-8.486976059342659e-243
4
-6.152368847629969e-224
-3.2638373918528183e-224
-3.325513576723927e-224
7
-8.958269955326437e-68
-2.03557066490565e-69
-7.459049903049562e-69
6
-4.851073580241738e-25
-6.790653546376402e-26
-6.906144366019333e-26
10
-1.7538495923714022e+65
-1.217187788393508e+53
-9.648820451191038e+61
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes663.0ms (0.6%)

Compiler

Compiled 1003 to 1197 computations (-19.3% saved)

bsearch370.0ms (0.3%)

Steps
ItersRangePoint
4
2.0132396890671509e-25
3.176198860568643e-25
3.138146641386864e-25
9
1.1848033859097165e-175
3.0426750084650055e-166
1.6073128882182043e-175
8
8.771748332239424e-278
2.4232540550712527e-275
1.4446867752836068e-276
5
-1.3243481602545858e-242
-6.14931316576353e-243
-8.648194189934322e-243
9
-3.2638373918528183e-224
-1.9365089283516673e-230
-5.1630515959119446e-225
8
-2.0164708652007988e-13
-1.4816592576375645e-17
-1.0130349358140567e-16
5
-9.685467925817318e+37
-2.469111774723933e+37
-7.387663477165776e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-7.13768520449598e+75
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes606.0ms (0.5%)

Compiler

Compiled 793 to 1050 computations (-32.4% saved)

bsearch427.0ms (0.4%)

Steps
ItersRangePoint
10
1.1387647867507897e-57
4.319921785347115e-46
7.501568469627453e-57
10
9.468307782526278e-92
2.4426940586298276e-80
1.197287774664978e-81
9
1.1848033859097165e-175
3.0426750084650055e-166
7.42478245364954e-175
8
8.771748332239424e-278
2.4232540550712527e-275
9.864473031135728e-277
9
-6.3632905952671545e-289
-3.223020854123908e-298
-1.5140409734094606e-293
6
-4.851073580241738e-25
-6.790653546376402e-26
-6.906144366019333e-26
5
-9.685467925817318e+37
-2.469111774723933e+37
-5.810494179699979e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-7.7219238172468e+75
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes577.0ms (0.5%)

Compiler

Compiled 619 to 912 computations (-47.3% saved)

bsearch392.0ms (0.4%)

Steps
ItersRangePoint
10
1.1387647867507897e-57
4.319921785347115e-46
4.644283405057842e-47
8
1.711684103194187e-120
8.164286934514181e-117
3.5491041256540918e-118
8
5.2529533075521815e-216
5.9354891497549317e-213
5.8763855937272295e-213
8
8.771748332239424e-278
2.4232540550712527e-275
1.9879265565097202e-275
9
-3.2638373918528183e-224
-1.9365089283516673e-230
-9.528481221261188e-230
6
-4.851073580241738e-25
-6.790653546376402e-26
-2.691831535073731e-25
5
-9.685467925817318e+37
-2.469111774723933e+37
-4.496186431811815e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-7.13768520449598e+75
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes382.0ms (0.3%)

Compiler

Compiled 415 to 630 computations (-51.8% saved)

bsearch292.0ms (0.3%)

Steps
ItersRangePoint
10
1.1387647867507897e-57
4.319921785347115e-46
4.06498893063265e-54
8
1.711684103194187e-120
8.164286934514181e-117
1.3978612308142944e-118
8
5.2529533075521815e-216
5.9354891497549317e-213
2.4138996780898436e-213
6
-4.851073580241738e-25
-6.790653546376402e-26
-4.389110301670019e-25
5
-9.685467925817318e+37
-2.469111774723933e+37
-9.422606376239686e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-7.13768520449598e+75
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes405.0ms (0.4%)

Compiler

Compiled 355 to 570 computations (-60.6% saved)

bsearch455.0ms (0.4%)

Steps
ItersRangePoint
8
1.9133704934844073e-63
3.404563795723623e-60
7.7478928640559015e-62
8
3.0426750084650055e-166
9.07631913042473e-164
7.560833137024459e-165
9
4.256981922221559e-266
9.873177409440693e-258
2.287936096973637e-265
6
-7.619307115975409e-215
-5.690834697059684e-216
-3.1280979436013324e-215
6
-3.958135404623183e-144
-2.493836145104547e-145
-2.543731960630882e-145
9
-3.697436856597523e-117
-1.0172374064751105e-122
-5.007849870555741e-120
8
-3.35506119524641e-93
-1.0247088772275925e-95
-1.1766081396542822e-93
6
-4.851073580241738e-25
-6.790653546376402e-26
-6.906144366019333e-26
5
-9.685467925817318e+37
-2.469111774723933e+37
-9.422606376239686e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-2.147660604744215e+76
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes362.0ms (0.3%)

Compiler

Compiled 300 to 510 computations (-70% saved)

bsearch322.0ms (0.3%)

Steps
ItersRangePoint
9
-6.3632905952671545e-289
-3.223020854123908e-298
-4.298305599048588e-293
6
-3.958135404623183e-144
-2.493836145104547e-145
-1.5439848291228564e-144
9
-3.697436856597523e-117
-1.0172374064751105e-122
-1.1373860876223252e-122
8
-3.35506119524641e-93
-1.0247088772275925e-95
-7.223953085581869e-94
6
-4.851073580241738e-25
-6.790653546376402e-26
-1.086394353227334e-25
5
-9.685467925817318e+37
-2.469111774723933e+37
-9.422606376239686e+37
9
-1.3707726252502106e+83
-7.052240331297591e+75
-7.13768520449598e+75
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes301.0ms (0.3%)

Compiler

Compiled 245 to 450 computations (-83.7% saved)

bsearch234.0ms (0.2%)

Steps
ItersRangePoint
9
-6.3632905952671545e-289
-3.223020854123908e-298
-7.757886856445111e-292
6
-3.958135404623183e-144
-2.493836145104547e-145
-1.3843182194385847e-144
9
-3.697436856597523e-117
-1.0172374064751105e-122
-1.1218743081745805e-117
8
-3.35506119524641e-93
-1.0247088772275925e-95
-2.0473081405101843e-95
6
-4.851073580241738e-25
-6.790653546376402e-26
-9.215960758877934e-26
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes266.0ms (0.2%)

Compiler

Compiled 195 to 395 computations (-102.6% saved)

bsearch231.0ms (0.2%)

Steps
ItersRangePoint
9
-6.3632905952671545e-289
-3.223020854123908e-298
-1.1365144793548996e-291
6
-3.958135404623183e-144
-2.493836145104547e-145
-8.139092187040019e-145
9
-3.697436856597523e-117
-1.0172374064751105e-122
-2.890905838855176e-117
8
-3.35506119524641e-93
-1.0247088772275925e-95
-1.4277444451011442e-93
6
-4.851073580241738e-25
-6.790653546376402e-26
-8.753997480306213e-26
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes223.0ms (0.2%)

Compiler

Compiled 145 to 340 computations (-134.5% saved)

bsearch140.0ms (0.1%)

Steps
ItersRangePoint
8
8.968588601135267e-202
5.123903093902104e-199
4.850515191913181e-200
8
-1.5314489603419154e-304
-2.269952368025736e-307
-1.8600372103719128e-306
9
-8.656880647758734e+21
-32267898965074.504
-32748917230475.492
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes129.0ms (0.1%)

Compiler

Compiled 120 to 305 computations (-154.2% saved)

bsearch51.0ms (0%)

Steps
ItersRangePoint
9
-2.03557066490565e-69
-3.758664132527717e-75
-7.013760509746709e-71
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes191.0ms (0.2%)

Compiler

Compiled 95 to 270 computations (-184.2% saved)

bsearch84.0ms (0.1%)

Steps
ItersRangePoint
6
6.693271924935573
42.151324637794424
18.898774787229076
9
-2.03557066490565e-69
-3.758664132527717e-75
-1.4899389842954865e-72
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes127.0ms (0.1%)

Compiler

Compiled 75 to 235 computations (-213.3% saved)

bsearch98.0ms (0.1%)

Steps
ItersRangePoint
10
9.94719452068975e-10
6.693271924935573
0.001303620098212329
8
-3.466618551458313e-90
-8.178159520762493e-93
-2.8994391576055218e-90
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes115.0ms (0.1%)

Compiler

Compiled 55 to 200 computations (-263.6% saved)

bsearch54.0ms (0%)

Steps
ItersRangePoint
10
9.94719452068975e-10
6.693271924935573
0.00014047862742698003
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes53.0ms (0%)

Compiler

Compiled 40 to 170 computations (-325% saved)

bsearch0.0ms (0%)

regimes50.0ms (0%)

Compiler

Compiled 25 to 140 computations (-460% saved)

bsearch42.0ms (0%)

Steps
ItersRangePoint
9
-6.939238007276388e-307
9.048194046201865e-304
2.2492439462857e-310
Compiler

Compiled 1 to 5 computations (-400% saved)

regimes41.0ms (0%)

Accuracy

Total 27.6b remaining (87.2%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 110 computations (-450% saved)

bsearch70.0ms (0.1%)

Compiler

Compiled 2114 to 1149 computations (45.6% saved)

simplify40.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
06293125
16293125

end0.0ms (0%)

sample5.1s (4.6%)

Algorithm
1×intervals
Results
642.0ms6046×body128valid
356.0ms764×body1024valid
248.0ms769×body512valid
237.0ms2393×body128invalid
204.0ms441×body1024invalid
118.0ms363×body512invalid
102.0ms418×body256valid
43.0ms199×body256invalid
2.0ms3×body2048valid
Compiler

Compiled 4340 to 2575 computations (40.7% saved)

Pareto

0.7993942218198385

Profiling

Loading profile data...