Details

Time bar (total: 12.0s)

analyze3.5s (29.5%)

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
12.5%87.3%0.2%9
12.5%87.3%0.2%10
18.7%81.1%0.2%11
18.7%81.1%0.2%12
18.7%81.1%0.2%13
20.5%79.3%0.2%14
Compiler

Compiled 35 to 24 computations (31.4% saved)

sample67.0ms (0.6%)

Algorithm
1×intervals
Results
33.0ms248×body128valid
6.0ms7×body1024valid
4.0ms6×body1024invalid
2.0ms5×body512invalid
1.0ms7×body128invalid
0.0ms1×body256valid
0.0ms1×body256invalid
Compiler

Compiled 74 to 52 computations (29.7% saved)

simplify52.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
605×exp-prod_binary64
532×exp-sum_binary64
375×associate-*l*_binary64
303×associate-*r*_binary64
251×times-frac_binary64
Counts
1 → 1
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02245
15845
212543
336143
4114143
5404443
6512143

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
14.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶14.7b
(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
Compiler

Compiled 99 to 66 computations (33.3% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
0.0b
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
0.0b
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
34.3b
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))

rewrite193.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
14.7b
Rules
25×add-sqr-sqrt_binary64
23×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
11×cancel-sign-sub-inv_binary64
10×exp-sum_binary64
Counts
4 → 81
Calls

4 calls:

26.0ms
(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
19.0ms
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
8.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
7.0ms
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
Compiler

Compiled 3037 to 1523 computations (49.9% saved)

series495.0ms (4.1%)

Error
1.6b
Counts
4 → 74
Calls

4 calls:

268.0ms
(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
58.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
57.0ms
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
48.0ms
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))
Compiler

Compiled 11746 to 7281 computations (38% saved)

simplify183.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
379×times-frac_binary64
376×associate-*r*_binary64
333×sub-neg_binary64
286×associate-*l*_binary64
246×exp-sum_binary64
Counts
155 → 137
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03836797
110016356
232216356
348996356
449886356

prune141.0ms (1.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1316137
Fresh000
Picked101
Done000
Total1326138
Error
1.6b
Counts
138 → 6
Alt Table
StatusErrorProgram
14.9b
(*.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) (pow.f64 (exp.f64 (+.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2))))) (-.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))))
14.7b
(*.f64 (log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
14.7b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)) 3)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
24.8b
(-.f64 (+.f64 (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l))))) (*.f64 n (*.f64 M (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))) (*.f64 (*.f64 1/2 n) (+.f64 (*.f64 K (*.f64 (sin.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))) (*.f64 m (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))))
▶1.9b
(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
14.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
Compiler

Compiled 4808 to 2283 computations (52.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
0.0b
(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
0.0b
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
0.0b
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

rewrite181.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
1.6b
Rules
27×*-un-lft-identity_binary64
26×add-sqr-sqrt_binary64
17×add-log-exp_binary64
9×add-cube-cbrt_binary64
8×cancel-sign-sub-inv_binary64
Counts
4 → 83
Calls

4 calls:

19.0ms
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
19.0ms
(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
11.0ms
(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
9.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
Compiler

Compiled 2644 to 1337 computations (49.4% saved)

series496.0ms (4.1%)

Error
1.6b
Counts
4 → 105
Calls

4 calls:

150.0ms
(exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))
104.0ms
(-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
98.0ms
(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
53.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
Compiler

Compiled 7178 to 4774 computations (33.5% saved)

simplify141.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
452×distribute-rgt-in_binary64
420×cancel-sign-sub-inv_binary64
388×sub-neg_binary64
383×distribute-lft-in_binary64
232×exp-sum_binary64
Counts
188 → 171
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02635664
17365409
221915181
350615181

prune181.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1692171
Fresh145
Picked101
Done000
Total1716177
Error
1.6b
Counts
177 → 6
Alt Table
StatusErrorProgram
14.7b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)) 3)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
14.7b
(*.f64 (log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
24.8b
(-.f64 (+.f64 (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l))))) (*.f64 n (*.f64 M (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))) (*.f64 (*.f64 1/2 n) (+.f64 (*.f64 K (*.f64 (sin.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))) (*.f64 m (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))))
28.0b
(*.f64 (cos.f64 M) (exp.f64 (*.f64 (*.f64 m m) -1/4)))
▶2.1b
(*.f64 (cos.f64 M) (pow.f64 (exp.f64 (+.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2))))) (-.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))))
14.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
Compiler

Compiled 3332 to 1635 computations (50.9% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
0.0b
(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)
36.5b
(sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
36.5b
(sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))

rewrite190.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
1.6b
Rules
22×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64
12×unpow-prod-down_binary64
10×add-cube-cbrt_binary64
8×sqrt-prod_binary64
Counts
4 → 74
Calls

4 calls:

12.0ms
(sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))
11.0ms
(sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
10.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)
8.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
Compiler

Compiled 3409 to 1735 computations (49.1% saved)

series588.0ms (4.9%)

Error
1.6b
Counts
4 → 121
Calls

4 calls:

168.0ms
(sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))
108.0ms
(sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)))
67.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)
64.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
Compiler

Compiled 16047 to 10115 computations (37% saved)

simplify139.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
641×cancel-sign-sub-inv_binary64
639×distribute-rgt-in_binary64
319×sub-neg_binary64
194×associate-*r*_binary64
185×+-commutative_binary64
Counts
195 → 166
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03605716
18815316
225714861
350504861

prune220.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1660166
Fresh055
Picked011
Done000
Total1666172
Error
1.6b
Counts
172 → 6
Alt Table
StatusErrorProgram
14.7b
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)) 3)) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
▶14.7b
(*.f64 (log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
24.8b
(-.f64 (+.f64 (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l))))) (*.f64 n (*.f64 M (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))) (*.f64 (*.f64 1/2 n) (+.f64 (*.f64 K (*.f64 (sin.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))) (*.f64 m (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))))
28.0b
(*.f64 (cos.f64 M) (exp.f64 (*.f64 (*.f64 m m) -1/4)))
✓2.1b
(*.f64 (cos.f64 M) (pow.f64 (exp.f64 (+.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2))))) (-.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))))
14.7b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
Compiler

Compiled 6560 to 3127 computations (52.3% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
0.1b
(exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))
0.6b
(log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))))
34.3b
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))

rewrite175.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
1.6b
Rules
17×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
12×cos-sum_binary64
9×cancel-sign-sub-inv_binary64
Counts
4 → 69
Calls

4 calls:

13.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
11.0ms
(log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))))
8.0ms
(exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))
7.0ms
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))
Compiler

Compiled 2747 to 1413 computations (48.6% saved)

series275.0ms (2.3%)

Error
1.6b
Counts
4 → 69
Calls

4 calls:

92.0ms
(log.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))))
57.0ms
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
50.0ms
(exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))
31.0ms
(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M))
Compiler

Compiled 6223 to 4234 computations (32% saved)

simplify191.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
680×associate-*l*_binary64
641×associate-*r*_binary64
260×sub-neg_binary64
257×cancel-sign-sub-inv_binary64
231×*-commutative_binary64
Counts
138 → 110
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02353270
14833062
211583014
341693011
447423011
549723011
649423011

prune103.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1082110
Fresh224
Picked101
Done011
Total1115116
Error
1.6b
Counts
116 → 5
Alt Table
StatusErrorProgram
24.8b
(-.f64 (+.f64 (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l))))) (*.f64 n (*.f64 M (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))) (*.f64 (*.f64 1/2 n) (+.f64 (*.f64 K (*.f64 (sin.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))) (*.f64 m (*.f64 (cos.f64 (-.f64 (*.f64 1/2 (*.f64 K m)) M)) (exp.f64 (-.f64 (+.f64 (*.f64 M m) (fabs.f64 (-.f64 m n))) (+.f64 (*.f64 (*.f64 m m) 1/4) (+.f64 (*.f64 M M) l)))))))))
28.0b
(*.f64 (cos.f64 M) (exp.f64 (*.f64 (*.f64 m m) -1/4)))
2.1b
(*.f64 (cos.f64 M) (pow.f64 (exp.f64 (+.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 l (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2))))) (-.f64 (sqrt.f64 (fabs.f64 (-.f64 m n))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)))))
14.7b
(*.f64 (log.f64 (pow.f64 E.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
14.8b
(*.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 n m)) 2) M)))))) (exp.f64 (-.f64 (fabs.f64 (-.f64 m n)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
Compiler

Compiled 2354 to 1220 computations (48.2% saved)

regimes2.5s (20.7%)

Accuracy

Total 0.2b remaining (11.9%)

Threshold costs 0.2b (11.9%)

Compiler

Compiled 65036 to 43890 computations (32.5% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
12×+-commutative_binary64
10×sub-neg_binary64
7×*-commutative_binary64
6×neg-sub0_binary64
6×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01933
13333
24933
36433
47333
57633
67533

end7.0ms (0.1%)

Remove

(sort m n)

Compiler

Compiled 78 to 57 computations (26.9% saved)

sample1.8s (15.4%)

Algorithm
1×intervals
Results
1.0s7826×body128valid
61.0ms102×body1024invalid
56.0ms84×body1024valid
40.0ms290×body128invalid
31.0ms62×body512valid
28.0ms75×body512invalid
14.0ms17×body2048invalid
12.0ms40×body256invalid
7.0ms28×body256valid
Compiler

Compiled 354 to 214 computations (39.5% saved)

Profiling

Loading profile data...