Details

Time bar (total: 35.8s)

analyze6.9s (19.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047631069
147631069
055
155
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
Symmetry

sort(lambda1 lambda2)

sort(phi1 phi2)

Compiler

Compiled 66 to 47 computations (28.8% saved)

sample452.0ms (1.3%)

Algorithm
1×intervals
Results
277.0ms164×body1024valid
63.0ms22×body2048valid
50.0ms35×body512valid
17.0ms22×body128valid
9.0ms13×body256valid
Compiler

Compiled 131 to 98 computations (25.2% saved)

simplify103.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
04778103
14778103

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 130 to 92 computations (29.2% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.7b
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
3.7b
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite134.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
21.9b
Rules
4×div-sub_binary64_3493 sin-diff_binary64_3624 pow1_binary64_3549 add-log-exp_binary64_3527 add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
Counts
4 → 32
Calls

4 calls:

5.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 2328 to 1346 computations (42.2% saved)

series430.0ms (1.2%)

Error
22.2b
Counts
4 → 36
Calls

4 calls:

87.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
86.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
74.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
68.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
Compiler

Compiled 6652 to 4480 computations (32.7% saved)

simplify99.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04826956
14826956

prune291.0ms (0.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New491968
Fresh000
Picked101
Done000
Total501969
Error
21.8b
Counts
69 → 19
Compiler

Compiled 6079 to 3708 computations (39% saved)

localize45.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.7b
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite152.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
12.9b
Rules
4×div-sub_binary64_3493 sin-diff_binary64_3624 pow1_binary64_3549 add-log-exp_binary64_3527 add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
Counts
4 → 32
Calls

4 calls:

7.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 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))
Compiler

Compiled 2744 to 1730 computations (37% saved)

series510.0ms (1.4%)

Error
21.4b
Counts
4 → 40
Calls

4 calls:

96.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
89.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
86.0ms
(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
85.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 8424 to 5989 computations (28.9% saved)

simplify77.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050511111

prune379.0ms (1.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New581472
Fresh51318
Picked101
Done000
Total642791
Error
12.8b
Counts
91 → 27
Compiler

Compiled 8112 to 5361 computations (33.9% saved)

localize51.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite171.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
12.8b
Rules
4×div-sub_binary64_3493 sin-diff_binary64_3624 pow1_binary64_3549 add-log-exp_binary64_3527 add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
Counts
4 → 32
Calls

4 calls:

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))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 3160 to 2113 computations (33.1% saved)

series581.0ms (1.6%)

Error
12.8b
Counts
4 → 42
Calls

4 calls:

104.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
104.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
97.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
94.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 10086 to 7402 computations (26.6% saved)

simplify91.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049401184
149401184

prune485.0ms (1.4%)

Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New66874
Fresh101626
Picked101
Done000
Total7724101
Error
12.8b
Counts
101 → 24
Compiler

Compiled 9150 to 6296 computations (31.2% saved)

localize57.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
1.6b
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite202.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
12.8b
Rules
4×div-sub_binary64_3493 sin-diff_binary64_3624 pow1_binary64_3549 add-log-exp_binary64_3527 add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 add-cube-cbrt_binary64_3523 add-sqr-sqrt_binary64_3510 *-un-lft-identity_binary64_3488
Counts
4 → 32
Calls

4 calls:

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))
5.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 3704 to 2465 computations (33.5% saved)

series655.0ms (1.8%)

Error
12.8b
Counts
4 → 42
Calls

4 calls:

117.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
114.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
106.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
102.0ms
(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
Compiler

Compiled 11854 to 8546 computations (27.9% saved)

simplify89.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049401184
149401184

prune493.0ms (1.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

PrunedKeptTotal
New67774
Fresh22123
Picked101
Done000
Total702898
Error
12.8b
Counts
98 → 28
Compiler

Compiled 8406 to 5617 computations (33.2% saved)

regimes4.7s (13%)

Accuracy

Total 0.6b remaining (4.1%)

Threshold costs 0.6b (4.1%)

Compiler

Compiled 83716 to 62320 computations (25.6% saved)

bsearch0.0ms (0%)

simplify43.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0175145
1175145
Removed

((sort phi1 phi2) (sort lambda1 lambda2))

Compiler

Compiled 364 to 276 computations (24.2% saved)

end0.0ms (0%)

sample18.6s (51.9%)

Algorithm
1×intervals
Results
9.3s5275×body1024valid
1.7s1259×body512valid
1.3s422×body2048valid
288.0ms382×body256valid
214.0ms662×body128valid
3.0ms2×body1024invalid
Compiler

Compiled 7094 to 5280 computations (25.6% saved)

Profiling

Loading profile data...