Details

Time bar (total: 15.4s)

analyze2.5s (16.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%93.6%6.4%8
9.4%84.3%6.4%9
14.8%75.7%9.5%10
16%71.4%12.6%11
20.9%65.7%13.4%12
24.2%60.5%15.3%13
24.8%58.6%16.6%14
Compiler

Compiled 31 to 24 computations (22.6% saved)

sample183.0ms (1.2%)

Algorithm
1×intervals
Results
39.0ms48×body1024valid
31.0ms156×body128valid
15.0ms29×body512valid
7.0ms21×body256valid
3.0ms20×body128invalid
3.0ms2×body2048valid
0.0ms3×body128nan
Compiler

Compiled 64 to 50 computations (21.9% saved)

simplify47.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
640×distribute-rgt-neg-in_binary64
474×fma-neg_binary64
418×distribute-lft-neg-in_binary64
379×div-sub_binary64
378×fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02335
14928
210028
319528
439128
5107528
6254328
7420028
8495528

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
13.3b
Counts
3 → 2
Alt Table
StatusErrorProgram
13.4b
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))))
▶13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
Compiler

Compiled 153 to 108 computations (29.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 x (tan.f64 B))
✓0.1b
(/.f64 F (sin.f64 B))
✓8.6b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
✓16.2b
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)

series326.0ms (2.1%)

Counts
4 → 80
Calls

4 calls:

222.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
44.0ms
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)
43.0ms
(/.f64 x (tan.f64 B))
16.0ms
(/.f64 F (sin.f64 B))

rewrite20.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
44×add-sqr-sqrt_binary64
31×*-un-lft-identity_binary64
31×add-cube-cbrt_binary64
30×times-frac_binary64
22×add-exp-log_binary64
Counts
4 → 123
Calls

4 calls:

7.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
2.0ms
(/.f64 x (tan.f64 B))
2.0ms
(/.f64 F (sin.f64 B))
1.0ms
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)

simplify153.0ms (1%)

Algorithm
1×egg-herbie
Rules
302×fma-def_binary64
223×*-commutative_binary64
221×associate-*r*_binary64
218×fma-neg_binary64
202×+-commutative_binary64
Counts
203 → 271
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
05005883
113605603
245185575
349845575
449325575

prune437.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New26011271
Fresh101
Picked101
Done000
Total26211273
Error
0.0b
Counts
273 → 11
Alt Table
StatusErrorProgram
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 x (/.f64 1 (tan.f64 B))))
13.3b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2))) (/.f64 x (tan.f64 B)))
34.7b
(-.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
13.3b
(-.f64 (*.f64 (/.f64 1 (/.f64 (sin.f64 B) F)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
14.2b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2))) (cbrt.f64 -1/2))) (/.f64 x (tan.f64 B)))
▶11.3b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
13.4b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2)) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2)) (/.f64 x (tan.f64 B)))
13.9b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))
13.3b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
34.2b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
Compiler

Compiled 10395 to 5836 computations (43.9% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
✓0.7b
(cbrt.f64 (sin.f64 B))
✓3.7b
(*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
16.2b
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)

series705.0ms (4.6%)

Counts
3 → 68
Calls

3 calls:

406.0ms
(*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
167.0ms
(cbrt.f64 (sin.f64 B))
132.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))

rewrite44.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
198×add-exp-log_binary64
118×prod-exp_binary64
52×div-exp_binary64
42×add-sqr-sqrt_binary64
34×add-cbrt-cube_binary64
Counts
3 → 150
Calls

3 calls:

12.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
9.0ms
(*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
1.0ms
(cbrt.f64 (sin.f64 B))

simplify186.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
423×associate-*r*_binary64
362×fma-neg_binary64
327×associate-*l*_binary64
271×*-commutative_binary64
269×fma-def_binary64
Counts
218 → 287
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04628751
112386753
245646753
349986753
449496753

prune578.0ms (3.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New4081409
Fresh01010
Picked011
Done000
Total40812420
Error
0.0b
Counts
420 → 12
Alt Table
StatusErrorProgram
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 x (/.f64 1 (tan.f64 B))))
13.3b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2))) (/.f64 x (tan.f64 B)))
34.7b
(-.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
13.3b
(-.f64 (*.f64 (/.f64 1 (/.f64 (sin.f64 B) F)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
48.8b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (pow.f64 (/.f64 1 (sin.f64 B)) 1/3)) (/.f64 x (tan.f64 B)))
14.2b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) (*.f64 (cbrt.f64 -1/2) (cbrt.f64 -1/2))) (cbrt.f64 -1/2))) (/.f64 x (tan.f64 B)))
✓11.3b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
13.4b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2)) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2)) (/.f64 x (tan.f64 B)))
13.9b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))
▶13.3b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
34.2b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
Compiler

Compiled 19632 to 10004 computations (49% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓4.2b
(*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
✓4.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))
16.2b
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)
✓16.6b
(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

series1.7s (10.8%)

Counts
3 → 96
Calls

3 calls:

1.1s
(*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
507.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))
40.0ms
(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

rewrite24.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
38×add-exp-log_binary64
30×add-sqr-sqrt_binary64
19×prod-exp_binary64
17×associate-*r*_binary64
17×add-cbrt-cube_binary64
Counts
3 → 97
Calls

3 calls:

9.0ms
(*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
6.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4))
2.0ms
(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

simplify213.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
465×*-commutative_binary64
461×times-frac_binary64
298×+-commutative_binary64
260×fma-def_binary64
219×associate-+r+_binary64
Counts
193 → 288
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0124915031
1413214756
2505514756

prune795.0ms (5.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New3631364
Fresh2810
Picked011
Done011
Total36511376
Error
0.0b
Counts
376 → 11
Alt Table
StatusErrorProgram
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 x (/.f64 1 (tan.f64 B))))
13.3b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2))) (/.f64 x (tan.f64 B)))
34.7b
(-.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
13.3b
(-.f64 (*.f64 (/.f64 1 (/.f64 (sin.f64 B) F)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
48.8b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (pow.f64 (/.f64 1 (sin.f64 B)) 1/3)) (/.f64 x (tan.f64 B)))
✓11.3b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
▶11.1b
(-.f64 (*.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sin.f64 B)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
13.9b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))
✓13.3b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
34.2b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
Compiler

Compiled 28223 to 18867 computations (33.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.4b
(sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))
✓4.2b
(*.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sin.f64 B)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
16.2b
(pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)
16.6b
(pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)

series1.2s (7.6%)

Counts
2 → 60
Calls

2 calls:

1.1s
(*.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sin.f64 B)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
52.0ms
(sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))

rewrite17.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
18×add-exp-log_binary64
17×sqrt-prod_binary64
11×add-cbrt-cube_binary64
10×associate-*r*_binary64
Counts
2 → 62
Calls

2 calls:

9.0ms
(*.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sin.f64 B)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)))
3.0ms
(sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))

simplify157.0ms (1%)

Algorithm
1×egg-herbie
Rules
476×associate-/l*_binary64
366×*-commutative_binary64
322×times-frac_binary64
238×+-commutative_binary64
208×fma-def_binary64
Counts
122 → 196
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
099611294
1325410662
2525810662

prune659.0ms (4.3%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New3380338
Fresh088
Picked011
Done022
Total33811349
Error
0.0b
Counts
349 → 11
Alt Table
StatusErrorProgram
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 x (/.f64 1 (tan.f64 B))))
13.3b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2) (pow.f64 (sqrt.f64 (fma.f64 x 2 (fma.f64 F F 2))) -1/2))) (/.f64 x (tan.f64 B)))
34.7b
(-.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
13.3b
(-.f64 (*.f64 (/.f64 1 (/.f64 (sin.f64 B) F)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 x (tan.f64 B)))
48.8b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (pow.f64 (/.f64 1 (sin.f64 B)) 1/3)) (/.f64 x (tan.f64 B)))
✓11.3b
(-.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (sin.f64 B)) (cbrt.f64 (sin.f64 B)))) (*.f64 (/.f64 F (cbrt.f64 (sin.f64 B))) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
✓11.1b
(-.f64 (*.f64 (/.f64 (*.f64 F (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sin.f64 B)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
13.9b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (tan.f64 B))))
13.4b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2)) (/.f64 (*.f64 x (cos.f64 B)) (sin.f64 B)))
✓13.3b
(-.f64 (*.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 2 x (fma.f64 F F 2)) -1/4)) (sqrt.f64 (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2))) (/.f64 x (tan.f64 B)))
34.2b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
Compiler

Compiled 25994 to 17958 computations (30.9% saved)

regimes1.2s (7.9%)

Accuracy

Total 0.2b remaining (74.4%)

Threshold costs 0.2b (74.4%)

Counts
168 → 3
Compiler

Compiled 18696 to 12848 computations (31.3% saved)

bsearch183.0ms (1.2%)

Steps
ItersRangePoint
10
0.11821387259629912
3621266408.869618
122623700.00239663
9
-4.375265121361119e+68
-3.7763772973981636e+61
-3.8946153927804217e+61
Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
5×sub-neg_binary64
4×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03284
14084
24784
35184
45484
55584
65484

end1.0ms (0%)

Compiler

Compiled 59 to 35 computations (40.7% saved)

sample4.0s (26.2%)

Algorithm
1×intervals
Results
1.8s2205×body1024valid
745.0ms4151×body128valid
579.0ms1077×body512valid
183.0ms562×body256valid
117.0ms697×body128invalid
22.0ms141×body128nan
7.0ms5×body2048valid
Compiler

Compiled 376 to 254 computations (32.4% saved)

Profiling

Loading profile data...