Details

Time bar (total: 7.0min)

analyze1.1s (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%75%25%3
0%62.5%37.5%4
0%56.2%43.8%5
3.1%46.9%50%6
3.1%45.3%51.6%7
3.1%44.5%52.4%8
3.5%44.1%52.4%9
3.7%43.9%52.4%10
3.8%43.8%52.4%11
3.8%43.8%52.4%12
3.8%43.8%52.4%13
3.8%43.7%52.4%14
Compiler

Compiled 38 to 31 computations (18.4% saved)

sample228.0ms (0.1%)

Algorithm
1×intervals
Results
70.0ms133×body1024valid
65.0ms133×body1024nan
24.0ms70×body512nan
19.0ms51×body512valid
18.0ms15×body2048valid
7.0ms29×body256valid
7.0ms28×body256nan
4.0ms28×body128valid
Compiler

Compiled 75 to 62 computations (17.3% saved)

simplify181.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
0479555
1479555

prune13.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 32 to 24 computations (25% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))
0.0b
(pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

rewrite74.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
94×add-sqr-sqrt_binary64
89×*-un-lft-identity_binary64
66×times-frac_binary64
39×add-cube-cbrt_binary64
34×log-prod_binary64
30×difference-of-squares_binary64
15×distribute-lft-out_binary64
14×add-exp-log_binary64
13×associate-*l*_binary64 unpow-prod-down_binary64
11×sqr-pow_binary64 add-cbrt-cube_binary64
10×distribute-lft-out--_binary64
7×associate-/r*_binary64 pow1_binary64 cancel-sign-sub-inv_binary64
6×add-log-exp_binary64
4×associate-/r/_binary64 associate-/l*_binary64
3×flip3--_binary64 associate-*r*_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 log-pow_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 154
Calls

8 calls:

13.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
12.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
8.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
7.0ms
(*.f64 (/.f64 PI.f64 4) f)
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series563.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

335.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
143.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
55.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
29.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 988 to 782 computations (20.9% saved)

simplify125.0ms (0%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050058522

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

rewrite60.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
88×*-un-lft-identity_binary64
70×times-frac_binary64
67×add-sqr-sqrt_binary64
38×add-cube-cbrt_binary64
36×log-prod_binary64
14×add-exp-log_binary64
13×distribute-lft-out_binary64 cosh-undef_binary64 associate-*l*_binary64
12×sinh-undef_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
11×add-cbrt-cube_binary64
7×pow1_binary64
6×associate-/r*_binary64 add-log-exp_binary64
5×associate-/l*_binary64
4×associate-/r/_binary64
3×flip3--_binary64 associate-*r*_binary64 cancel-sign-sub-inv_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 log-pow_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 153
Calls

8 calls:

11.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
10.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))))
10.0ms
(*.f64 (/.f64 PI.f64 4) f)
5.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

series513.0ms (0.1%)

Counts
4 → 21
Calls

4 calls:

274.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))))
150.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
58.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
30.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 1050 to 832 computations (20.8% saved)

simplify119.0ms (0%)

Algorithm
1×egg-herbie
Counts
174 → 174
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
048948577
148948577

prune4.7s (1.1%)

Pruning

163 alts after pruning (161 fresh and 2 done)

PrunedKeptTotal
New179161340
Fresh000
Picked000
Done022
Total179163342
Error
2.2b
Counts
342 → 163
Compiler

Compiled 20209 to 14960 computations (26% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.1b
(sinh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.4b
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
1.7b
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))

rewrite56.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
100×times-frac_binary64
82×add-sqr-sqrt_binary64
69×*-un-lft-identity_binary64
63×add-cube-cbrt_binary64
57×associate-*l*_binary64
33×add-exp-log_binary64
20×add-cbrt-cube_binary64
14×log-prod_binary64
13×pow1_binary64
10×associate-*r*_binary64 div-exp_binary64
9×prod-exp_binary64
7×unswap-sqr_binary64 div-inv_binary64
5×cbrt-unprod_binary64 cbrt-undiv_binary64 log-pow_binary64
4×add-log-exp_binary64 distribute-lft-out_binary64
3×associate-/r*_binary64 associate-/r/_binary64 associate-/l*_binary64
2×pow-prod-down_binary64 flip3-+_binary64 sinh-def_binary64 1-exp_binary64 rem-log-exp_binary64 associate-*r/_binary64 rec-exp_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
1×associate-/l/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 cosh-def_binary64
Counts
4 → 168
Calls

8 calls:

19.0ms
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
7.0ms
(*.f64 (/.f64 PI.f64 4) f)
5.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
3.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))

series1.1s (0.3%)

Counts
4 → 21
Calls

4 calls:

374.0ms
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
338.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
332.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
31.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 952 to 763 computations (19.9% saved)

simplify140.0ms (0%)

Algorithm
1×egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
049226381
149226381

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b
(*.f64 (log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))) (/.f64 -4 PI.f64))
0.3b
(/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))
0.2b
(*.f64 PI.f64 (*.f64 1/2 f))
0.0b
(log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f))))
0.0b
(log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f))))
0.2b
(*.f64 PI.f64 (*.f64 1/2 f))
0.3b
(/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))
0.5b
(*.f64 (log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))) (/.f64 -4 PI.f64))

rewrite33.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
33×add-exp-log_binary64
23×add-cbrt-cube_binary64
22×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64
16×times-frac_binary64
14×associate-*r*_binary64
13×pow1_binary64
11×prod-exp_binary64
8×cbrt-unprod_binary64
7×log-prod_binary64 associate-*l*_binary64 div-exp_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 cbrt-undiv_binary64 rem-log-exp_binary64
3×associate-/l*_binary64 div-inv_binary64
2×log-pow_binary64 unswap-sqr_binary64 *-commutative_binary64
1×associate-/r*_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64
Counts
4 → 94
Calls

8 calls:

10.0ms
(*.f64 (log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))) (/.f64 -4 PI.f64))
6.0ms
(/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))
5.0ms
(log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f))))
5.0ms
(*.f64 PI.f64 (*.f64 1/2 f))
0.0ms
(log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f))))

series242.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

107.0ms
(*.f64 (log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))) (/.f64 -4 PI.f64))
77.0ms
(log.f64 (/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f))))
29.0ms
(/.f64 2 (*.f64 PI.f64 (*.f64 1/2 f)))
28.0ms
(*.f64 PI.f64 (*.f64 1/2 f))
Compiler

Compiled 280 to 256 computations (8.6% saved)

simplify78.0ms (0%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049481498
149481498

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))
0.0b
(pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
6.1b
(-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

rewrite70.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
94×add-sqr-sqrt_binary64
89×*-un-lft-identity_binary64
66×times-frac_binary64
39×add-cube-cbrt_binary64
34×log-prod_binary64
30×difference-of-squares_binary64
15×distribute-lft-out_binary64
14×add-exp-log_binary64
13×associate-*l*_binary64 unpow-prod-down_binary64
11×sqr-pow_binary64 add-cbrt-cube_binary64
10×distribute-lft-out--_binary64
7×associate-/r*_binary64 pow1_binary64 cancel-sign-sub-inv_binary64
6×add-log-exp_binary64
4×associate-/r/_binary64 associate-/l*_binary64
3×flip3--_binary64 associate-*r*_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 log-pow_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 154
Calls

8 calls:

14.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
14.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
7.0ms
(-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
7.0ms
(*.f64 (/.f64 PI.f64 4) f)
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series579.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

355.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
147.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
47.0ms
(-.f64 (exp.f64 (pow.f64 (*.f64 (/.f64 PI.f64 4) f) 1)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
30.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 1024 to 818 computations (20.1% saved)

simplify135.0ms (0%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049558510
149558510

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))
0.0b
(sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
1.2b
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
1.2b
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
6.2b
(-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2)))

rewrite261.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
768×times-frac_binary64
723×*-un-lft-identity_binary64
671×add-sqr-sqrt_binary64
252×difference-of-squares_binary64
251×add-cube-cbrt_binary64
194×distribute-lft-out_binary64
189×log-prod_binary64
126×sqrt-prod_binary64
87×unpow-prod-down_binary64
85×sqr-pow_binary64
50×associate-/r*_binary64
42×distribute-lft-out--_binary64
22×associate-/r/_binary64
17×add-exp-log_binary64
14×associate-/l*_binary64
12×div-inv_binary64
11×flip3-+_binary64 add-cbrt-cube_binary64 flip-+_binary64
7×cancel-sign-sub-inv_binary64 div-exp_binary64
6×add-log-exp_binary64
5×pow1_binary64
4×associate-/l/_binary64 cbrt-undiv_binary64
3×rem-log-exp_binary64
2×flip3--_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 log-pow_binary64 div-sub_binary64 log-div_binary64
Counts
4 → 548
Calls

8 calls:

37.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))))
28.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
18.0ms
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
10.0ms
(-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2)))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series844.0ms (0.2%)

Counts
4 → 12
Calls

4 calls:

454.0ms
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))))
209.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
125.0ms
(/.f64 (-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2))) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
56.0ms
(-.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 PI.f64 f) 1))) (pow.f64 (exp.f64 -1/4) (*.f64 (*.f64 PI.f64 f) 2)))
Compiler

Compiled 1236 to 987 computations (20.1% saved)

simplify543.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
560 → 560
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
0507262562

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
0.0b
(sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

rewrite82.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
94×add-sqr-sqrt_binary64
90×*-un-lft-identity_binary64
56×times-frac_binary64
36×difference-of-squares_binary64
34×add-cube-cbrt_binary64
18×unpow-prod-down_binary64
16×distribute-lft-out_binary64
14×associate-/r*_binary64 sqr-pow_binary64 cancel-sign-sub-inv_binary64
12×distribute-lft-out--_binary64
8×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
4×associate-/l/_binary64 pow1_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
2×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
Counts
4 → 154
Calls

8 calls:

19.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
14.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
8.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
7.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series389.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

151.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
135.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
55.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
48.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
Compiler

Compiled 1672 to 1240 computations (25.8% saved)

simplify121.0ms (0%)

Algorithm
1×egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
056659312

prune48.2s (11.4%)

Pruning

486 alts after pruning (480 fresh and 6 done)

PrunedKeptTotal
New8443431187
Fresh19137156
Picked000
Done167
Total8644861350
Error
1.9b
Counts
1350 → 486
Compiler

Compiled 67590 to 46465 computations (31.3% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.1b
(sinh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.3b
(/.f64 (+.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))) (log.f64 1)) (/.f64 PI.f64 4))
1.7b
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))

rewrite55.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
191×times-frac_binary64
153×*-un-lft-identity_binary64
102×add-sqr-sqrt_binary64
97×add-cube-cbrt_binary64
63×pow1_binary64
57×log-pow_binary64
56×distribute-lft-out_binary64
19×add-exp-log_binary64
16×associate-/r*_binary64 add-cbrt-cube_binary64
14×log-prod_binary64
13×associate-*l*_binary64
12×div-inv_binary64
10×associate-/l*_binary64
6×div-exp_binary64
5×cbrt-undiv_binary64
4×add-log-exp_binary64
3×associate-/l/_binary64 associate-*r*_binary64 associate-/r/_binary64
2×sinh-def_binary64 cbrt-unprod_binary64 rem-log-exp_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 log-div_binary64
1×pow-prod-down_binary64 flip3-+_binary64 associate-+l-_binary64 div-sub_binary64 flip-+_binary64 cosh-def_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 215
Calls

8 calls:

11.0ms
(/.f64 (+.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))) (log.f64 1)) (/.f64 PI.f64 4))
7.0ms
(*.f64 (/.f64 PI.f64 4) f)
6.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
3.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))

series907.0ms (0.2%)

Counts
4 → 21
Calls

4 calls:

375.0ms
(/.f64 (+.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))) (log.f64 1)) (/.f64 PI.f64 4))
310.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
188.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
33.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 908 to 719 computations (20.8% saved)

simplify140.0ms (0%)

Algorithm
1×egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
056159154

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b
(/.f64 (*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) -4) PI.f64)
0.3b
(/.f64 4 (*.f64 PI.f64 f))
0.2b
(*.f64 PI.f64 f)
0.0b
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
0.0b
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
0.2b
(*.f64 PI.f64 f)
0.3b
(/.f64 4 (*.f64 PI.f64 f))
0.4b
(/.f64 (*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) -4) PI.f64)

rewrite23.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
22×add-exp-log_binary64
16×add-cbrt-cube_binary64
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×times-frac_binary64
7×pow1_binary64 log-prod_binary64
6×div-exp_binary64
4×associate-/r*_binary64 add-log-exp_binary64 cbrt-undiv_binary64 prod-exp_binary64 associate-/l*_binary64
3×cbrt-unprod_binary64 associate-*r*_binary64 rem-log-exp_binary64 associate-*l*_binary64 div-inv_binary64
2×clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 log-pow_binary64 unswap-sqr_binary64 log-div_binary64 *-commutative_binary64
Counts
4 → 79
Calls

8 calls:

6.0ms
(/.f64 (*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) -4) PI.f64)
4.0ms
(/.f64 4 (*.f64 PI.f64 f))
4.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
4.0ms
(*.f64 PI.f64 f)
0.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))

series240.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

110.0ms
(/.f64 (*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) -4) PI.f64)
79.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
30.0ms
(/.f64 4 (*.f64 PI.f64 f))
20.0ms
(*.f64 PI.f64 f)
Compiler

Compiled 268 to 244 computations (9% saved)

simplify74.0ms (0%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049751118
149751118

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(exp.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.3b
(log.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))) 3)))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

rewrite88.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
124×*-un-lft-identity_binary64
100×times-frac_binary64
91×add-sqr-sqrt_binary64
81×log-prod_binary64
78×cbrt-prod_binary64
52×add-cube-cbrt_binary64
36×unpow-prod-down_binary64 cube-prod_binary64
19×distribute-lft-out_binary64 cosh-undef_binary64
17×sinh-undef_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
13×associate-*l*_binary64
12×add-exp-log_binary64
11×add-cbrt-cube_binary64
7×pow1_binary64
6×associate-/r*_binary64 add-log-exp_binary64 associate-/r/_binary64
5×associate-/l*_binary64
4×flip3--_binary64 div-inv_binary64 flip--_binary64
3×associate-*r*_binary64 cancel-sign-sub-inv_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 log-pow_binary64 unswap-sqr_binary64 prod-exp_binary64 div-exp_binary64
1×cbrt-div_binary64 pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 rem-log-exp_binary64 pow1/3_binary64 sqr-pow_binary64 cube-div_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64 flip-+_binary64 unpow3_binary64 associate-*l/_binary64 *-commutative_binary64 cube-mult_binary64
Counts
4 → 198
Calls

8 calls:

26.0ms
(log.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))) 3)))
11.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
8.0ms
(*.f64 (/.f64 PI.f64 4) f)
5.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

series527.0ms (0.1%)

Counts
4 → 21
Calls

4 calls:

274.0ms
(log.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))) 3)))
155.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
64.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
34.0ms
(*.f64 (/.f64 PI.f64 4) f)
Compiler

Compiled 1116 to 898 computations (19.5% saved)

simplify165.0ms (0%)

Algorithm
1×egg-herbie
Counts
219 → 219
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
0493912097
1493912097

localize28.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))))
0.0b
(sqrt.f64 (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

rewrite67.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
88×*-un-lft-identity_binary64
60×add-sqr-sqrt_binary64 times-frac_binary64
32×add-cube-cbrt_binary64
14×distribute-lft-out_binary64 sinh-undef_binary64 cosh-undef_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
12×associate-/r*_binary64
10×associate-/l*_binary64
8×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×cancel-sign-sub-inv_binary64
4×associate-/l/_binary64 pow1_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
2×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
Counts
4 → 148
Calls

8 calls:

11.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
11.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
5.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
5.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))

series443.0ms (0.1%)

Counts
4 → 24
Calls

4 calls:

154.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
149.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f)))))
72.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
68.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 PI.f64 4) f))))
Compiler

Compiled 2192 to 1696 computations (22.6% saved)

simplify146.0ms (0%)

Algorithm
1×egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
048769308
148769308

localize41.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (pow.f64 (exp.f64 PI.f64) f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
6.1b
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
6.2b
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))

rewrite337.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
916×times-frac_binary64
867×add-sqr-sqrt_binary64
786×*-un-lft-identity_binary64
460×unpow-prod-down_binary64
438×difference-of-squares_binary64
315×sqrt-prod_binary64
282×sqr-pow_binary64
270×add-cube-cbrt_binary64
231×distribute-lft-out_binary64
109×associate-/r*_binary64
27×distribute-lft-out--_binary64
18×cancel-sign-sub-inv_binary64
13×associate-/r/_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64 associate-/l*_binary64
7×flip3-+_binary64 div-inv_binary64 flip-+_binary64
4×associate-/l/_binary64 pow1_binary64 cbrt-undiv_binary64 div-exp_binary64
3×flip3--_binary64 flip--_binary64
2×sub-neg_binary64 diff-log_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 651
Calls

8 calls:

49.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
14.0ms
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))
13.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
6.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series714.0ms (0.2%)

Counts
4 → 15
Calls

4 calls:

264.0ms
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))
246.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
150.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))))
54.0ms
(-.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
Compiler

Compiled 2000 to 1408 computations (29.6% saved)

simplify599.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
666 → 666
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0496070909
1496070909

prune1.9min (26.8%)

Pruning

836 alts after pruning (826 fresh and 10 done)

PrunedKeptTotal
New9963881384
Fresh37438475
Picked000
Done11011
Total10348361870
Error
1.9b
Counts
1870 → 836
Compiler

Compiled 116439 to 80215 computations (31.1% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.2b
(*.f64 (/.f64 PI.f64 4) f)
0.1b
(sinh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.3b
(log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
0.3b
(/.f64 (+.f64 (log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))) (log.f64 1)) (/.f64 PI.f64 4))
1.7b
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
5.6b
(exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))

rewrite64.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
190×times-frac_binary64
155×*-un-lft-identity_binary64
99×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
63×pow1_binary64 log-pow_binary64
56×distribute-lft-out_binary64
45×log-prod_binary64
28×exp-sum_binary64
16×associate-/r*_binary64
12×div-inv_binary64
11×add-exp-log_binary64 add-cbrt-cube_binary64
10×associate-/l*_binary64
8×exp-prod_binary64
5×log-div_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64 associate-/r/_binary64 div-exp_binary64
3×associate-/l/_binary64 sinh-def_binary64 exp-diff_binary64
2×clear-num_binary64 frac-2neg_binary64
1×flip3-+_binary64 rem-log-exp_binary64 associate-+l-_binary64 rem-exp-log_binary64 div-sub_binary64 flip-+_binary64 cosh-def_binary64
Counts
4 → 216
Calls

8 calls:

14.0ms
(/.f64 (+.f64 (log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))) (log.f64 1)) (/.f64 PI.f64 4))
6.0ms
(log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
5.0ms
(exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
5.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.0ms
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))

series1.6s (0.4%)

Counts
4 → 24
Calls

4 calls:

550.0ms
(/.f64 (+.f64 (log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))) (log.f64 1)) (/.f64 PI.f64 4))
504.0ms
(log.f64 (exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))
353.0ms
(exp.f64 (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
170.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
Compiler

Compiled 1150 to 908 computations (21% saved)

simplify146.0ms (0%)

Algorithm
1×egg-herbie
Counts
240 → 240
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0556210164

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b
(*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 -4 PI.f64))
0.3b
(/.f64 4 (*.f64 PI.f64 f))
0.2b
(*.f64 PI.f64 f)
0.0b
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
0.0b
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
0.2b
(*.f64 PI.f64 f)
0.3b
(/.f64 4 (*.f64 PI.f64 f))
0.5b
(*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 -4 PI.f64))

rewrite26.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64
22×add-exp-log_binary64
18×*-un-lft-identity_binary64 add-cube-cbrt_binary64
16×associate-*r*_binary64 add-cbrt-cube_binary64 times-frac_binary64
10×pow1_binary64
7×log-prod_binary64 associate-*l*_binary64
5×prod-exp_binary64 div-exp_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64
3×cbrt-undiv_binary64 rem-log-exp_binary64 unswap-sqr_binary64 associate-/l*_binary64 div-inv_binary64
2×pow-prod-down_binary64 log-pow_binary64 *-commutative_binary64
1×associate-/r*_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64
Counts
4 → 91
Calls

8 calls:

8.0ms
(*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 -4 PI.f64))
4.0ms
(/.f64 4 (*.f64 PI.f64 f))
4.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
4.0ms
(*.f64 PI.f64 f)
0.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))

series239.0ms (0.1%)

Counts
4 → 12
Calls

4 calls:

115.0ms
(*.f64 (log.f64 (/.f64 4 (*.f64 PI.f64 f))) (/.f64 -4 PI.f64))
78.0ms
(log.f64 (/.f64 4 (*.f64 PI.f64 f)))
27.0ms
(/.f64 4 (*.f64 PI.f64 f))
18.0ms
(*.f64 PI.f64 f)
Compiler

Compiled 268 to 244 computations (9% saved)

simplify74.0ms (0%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049641399
149641399

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.1b
(sinh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.1b
(sinh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.0b
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))
0.4b
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (+.f64 (neg.f64 (log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))))
1.5b
(log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
1.5b
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
1.5b
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))

rewrite81.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
108×times-frac_binary64
95×*-un-lft-identity_binary64
84×add-sqr-sqrt_binary64
70×add-cube-cbrt_binary64
44×associate-*l*_binary64
29×log-prod_binary64 add-exp-log_binary64
26×pow1_binary64 distribute-lft-out_binary64
24×sqrt-prod_binary64
21×log-pow_binary64
17×associate-*r*_binary64
15×add-cbrt-cube_binary64
9×div-exp_binary64
8×distribute-rgt-neg-in_binary64
7×prod-exp_binary64
6×associate-/r*_binary64 div-inv_binary64
5×unswap-sqr_binary64
4×add-log-exp_binary64 cbrt-undiv_binary64
3×sinh-def_binary64 cbrt-unprod_binary64 rem-log-exp_binary64 associate-/r/_binary64 associate-/l*_binary64 sqrt-div_binary64
2×flip3-+_binary64 1-exp_binary64 associate-*r/_binary64 rec-exp_binary64 log-div_binary64 flip-+_binary64 frac-times_binary64
1×pow-prod-down_binary64 associate-/l/_binary64 pow1/2_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 sqrt-pow1_binary64 clear-num_binary64 frac-2neg_binary64 cosh-def_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 185
Calls

8 calls:

37.0ms
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (+.f64 (neg.f64 (log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))))
6.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
5.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
2.0ms
(log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
0.0ms
(cosh.f64 (*.f64 (/.f64 PI.f64 4) f))

series1.1s (0.3%)

Counts
4 → 12
Calls

4 calls:

513.0ms
(*.f64 (/.f64 1 (/.f64 PI.f64 4)) (+.f64 (log.f64 1) (+.f64 (neg.f64 (log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))) (log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))))))
292.0ms
(log.f64 (/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f)))))
164.0ms
(/.f64 (cosh.f64 (*.f64 (/.f64 PI.f64 4) f)) (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
137.0ms
(log.f64 (sqrt.f64 (sinh.f64 (*.f64 (/.f64 PI.f64 4) f))))
Compiler

Compiled 1136 to 904 computations (20.4% saved)

simplify144.0ms (0%)

Algorithm
1×egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050607075

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))
0.0b
(sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.0b
(sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
1.2b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))
1.2b
(log.f64 (*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))))
1.5b
(*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))))
6.1b
(-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))

rewrite173.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
207×add-sqr-sqrt_binary64
128×*-un-lft-identity_binary64
115×times-frac_binary64
80×difference-of-squares_binary64
63×sqrt-prod_binary64
54×associate-*r*_binary64
51×add-exp-log_binary64
50×add-cube-cbrt_binary64
46×unpow-prod-down_binary64
28×distribute-lft-out_binary64
21×sqr-pow_binary64
18×add-cbrt-cube_binary64 associate-*l*_binary64
17×div-exp_binary64
16×prod-exp_binary64
12×associate-/r*_binary64
10×cancel-sign-sub-inv_binary64 distribute-lft-out--_binary64
9×pow1_binary64 rem-log-exp_binary64
6×add-log-exp_binary64 associate-/r/_binary64 unswap-sqr_binary64
5×cbrt-undiv_binary64
4×cbrt-unprod_binary64 1-exp_binary64 rec-exp_binary64 associate-/l*_binary64
3×flip3--_binary64 div-inv_binary64 log-div_binary64 flip--_binary64
2×pow-prod-down_binary64 flip3-+_binary64 associate-/l/_binary64 associate-*r/_binary64 log-pow_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×sub-neg_binary64 diff-log_binary64 log-prod_binary64 clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
Counts
4 → 234
Calls

8 calls:

54.0ms
(*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))))
32.0ms
(log.f64 (*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))))
17.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))
10.0ms
(-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))
0.0ms
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))

series1.1s (0.3%)

Counts
4 → 12
Calls

4 calls:

609.0ms
(log.f64 (*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))))
292.0ms
(*.f64 (/.f64 1 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))) (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))))
168.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f))))
64.0ms
(-.f64 (sqrt.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f))) (pow.f64 (sqrt.f64 (exp.f64 -1/4)) (*.f64 PI.f64 f)))
Compiler

Compiled 1550 to 1221 computations (21.2% saved)

simplify235.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
0496216756
1496216756

localize53.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (pow.f64 (exp.f64 PI.f64) f))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))
0.0b
(+.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))
1.5b
(log.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (sqrt.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4))) (-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))))))
1.5b
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
6.1b
(-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))
6.2b
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))

rewrite436.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
888×times-frac_binary64
843×add-sqr-sqrt_binary64
747×*-un-lft-identity_binary64
471×unpow-prod-down_binary64
435×difference-of-squares_binary64
315×sqrt-prod_binary64
287×sqr-pow_binary64
257×add-cube-cbrt_binary64
223×distribute-lft-out_binary64
102×associate-/r*_binary64
22×distribute-lft-out--_binary64
18×cancel-sign-sub-inv_binary64
12×add-exp-log_binary64
11×associate-/r/_binary64
9×pow1_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
6×flip3-+_binary64 div-inv_binary64 flip-+_binary64
4×log-pow_binary64 associate-/l*_binary64 sqrt-div_binary64
3×pow-prod-down_binary64 cbrt-undiv_binary64 div-exp_binary64 log-div_binary64
2×associate-/l/_binary64 sub-neg_binary64 pow1/2_binary64 flip3--_binary64 diff-log_binary64 rem-log-exp_binary64 sqrt-pow1_binary64 flip--_binary64
1×log-prod_binary64 associate-*r/_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 625
Calls

8 calls:

115.0ms
(log.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (sqrt.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4))) (-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))))))
45.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
17.0ms
(-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))
14.0ms
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))
0.0ms
(+.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))

series1.6s (0.4%)

Counts
4 → 18
Calls

4 calls:

809.0ms
(log.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))) (sqrt.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4))) (-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))))))
294.0ms
(-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2))
276.0ms
(-.f64 (pow.f64 (pow.f64 (exp.f64 PI.f64) f) 1/4) (pow.f64 (exp.f64 PI.f64) (*.f64 f -1/4)))
249.0ms
(/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f))) (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 PI.f64) f)) (pow.f64 (pow.f64 (exp.f64 PI.f64) f) -1/2)) (+.f64 (exp.f64 (*.f64 (/.f64 PI.f64 4) f)) (pow.f64 (exp.f64 -1/4) (*.f64 PI.f64 f)))))
Compiler

Compiled 1970 to 1276 computations (35.2% saved)

simplify602.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
643 → 643
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0496069775
1496069775

prune2.4min (34.5%)

Pruning

1230 alts after pruning (1217 fresh and 13 done)

PrunedKeptTotal
New10074221429
Fresh26795821
Picked000
Done21315
Total103512302265
Error
1.9b
Counts
2265 → 1230
Compiler

Compiled 58239 to 35471 computations (39.1% saved)

simplify4.4s (1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
011868279492

regimes1.1min (16.1%)

Compiler

Compiled 961575 to 670671 computations (30.3% saved)

bsearch232.0ms (0.1%)

Compiler

Compiled 5 to 5 computations (0% saved)

regimes5.8s (1.4%)

Compiler

Compiled 59225 to 50114 computations (15.4% saved)

bsearch19.0ms (0%)

Compiler

Compiled 5 to 5 computations (0% saved)

regimes288.0ms (0.1%)

Compiler

Compiled 1728 to 1545 computations (10.6% saved)

bsearch136.0ms (0%)

Steps
ItersRangePoint
7
196.11640620917404
5426.752572529557
222.47642858615106
Compiler

Compiled 1 to 1 computations (0% saved)

regimes171.0ms (0%)

Compiler

Compiled 1029 to 939 computations (8.7% saved)

bsearch128.0ms (0%)

Steps
ItersRangePoint
7
196.11640620917404
5426.752572529557
227.2691599274196
Compiler

Compiled 1 to 1 computations (0% saved)

regimes175.0ms (0%)

Compiler

Compiled 1009 to 923 computations (8.5% saved)

bsearch131.0ms (0%)

Steps
ItersRangePoint
7
196.11640620917404
5426.752572529557
222.47642858615106
Compiler

Compiled 1 to 1 computations (0% saved)

regimes101.0ms (0%)

Compiler

Compiled 569 to 521 computations (8.4% saved)

bsearch128.0ms (0%)

Steps
ItersRangePoint
7
196.11640620917404
5426.752572529557
227.2691599274196
Compiler

Compiled 1 to 1 computations (0% saved)

regimes96.0ms (0%)

Compiler

Compiled 550 to 506 computations (8% saved)

bsearch24.0ms (0%)

Steps
ItersRangePoint
6
0.49298138710632106
5.248197823528476
1.2505667317486036
Compiler

Compiled 1 to 1 computations (0% saved)

regimes14.0ms (0%)

Compiler

Compiled 15 to 17 computations (-13.3% saved)

bsearch28.0ms (0%)

Steps
ItersRangePoint
6
0.49298138710632106
5.248197823528476
1.2505667317486036
Compiler

Compiled 1 to 1 computations (0% saved)

regimes13.0ms (0%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch125.0ms (0%)

Steps
ItersRangePoint
7
196.11640620917404
5426.752572529557
227.2691599274196
Compiler

Compiled 1 to 1 computations (0% saved)

regimes7.0ms (0%)

Compiler

Compiled 4 to 6 computations (-50% saved)

bsearch12.0ms (0%)

Compiler

Compiled 206 to 172 computations (16.5% saved)

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0318328
1318328

end0.0ms (0%)

sample10.5s (2.5%)

Algorithm
1×intervals
Results
2.0s3933×body1024valid
1.9s3946×body1024nan
705.0ms1953×body512valid
668.0ms1964×body512nan
530.0ms499×body2048valid
249.0ms993×body256valid
214.0ms938×body256nan
85.0ms622×body128valid
1.0ms2×body2048nan
0.0ms2×body128nan
Compiler

Compiled 160013 to 111591 computations (30.3% saved)

Profiling

Loading profile data...