Details

Time bar (total: 5.2min)

analyze1.8s (0.6%)

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 28 to 24 computations (14.3% saved)

sample107.0ms (0%)

Algorithm
1×intervals
Results
56.0ms86×body1024valid
16.0ms119×body128valid
12.0ms31×body512valid
5.0ms20×body256valid
2.0ms18×body128invalid
1.0ms8×body128nan
Compiler

Compiled 55 to 50 computations (9.1% saved)

simplify232.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (129.0ms)

IterNodesCost
0466632
1466632

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 17 computations (19% saved)

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
0.2b
(/.f64 F (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(/.f64 F (sin.f64 B))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)

rewrite44.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
44×add-sqr-sqrt_binary64
31×*-un-lft-identity_binary64 add-cube-cbrt_binary64
30×times-frac_binary64
22×add-exp-log_binary64
13×add-cbrt-cube_binary64 associate-*l*_binary64
8×unpow-prod-down_binary64
7×associate-*r*_binary64
6×associate-/r*_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64
5×pow1_binary64 div-exp_binary64
4×add-log-exp_binary64 sqr-pow_binary64
3×pow-to-exp_binary64 pow-unpow_binary64 cbrt-undiv_binary64 div-inv_binary64 pow-exp_binary64
2×cbrt-unprod_binary64 clear-num_binary64 frac-2neg_binary64
1×pow-pow_binary64 associate-/r/_binary64 tan-quot_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 115
Calls

8 calls:

15.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
10.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
3.0ms
(/.f64 x (tan.f64 B))
3.0ms
(/.f64 F (sin.f64 B))
0.0ms
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))

series932.0ms (0.3%)

Counts
4 → 47
Calls

4 calls:

376.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
249.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
212.0ms
(/.f64 x (tan.f64 B))
95.0ms
(/.f64 F (sin.f64 B))
Compiler

Compiled 2533 to 2020 computations (20.3% saved)

simplify104.0ms (0%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049383823
149383823

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
0.2b
(/.f64 1 (tan.f64 B))
0.2b
(/.f64 F (sin.f64 B))
0.0b
(+.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)))))
0.2b
(/.f64 F (sin.f64 B))
0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))

rewrite59.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
65×add-sqr-sqrt_binary64
50×times-frac_binary64
46×*-un-lft-identity_binary64
45×add-cube-cbrt_binary64
30×pow-unpow_binary64
29×add-exp-log_binary64
21×associate-*r*_binary64
16×add-cbrt-cube_binary64 associate-*l*_binary64
13×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
10×prod-exp_binary64
9×unswap-sqr_binary64
8×unpow-prod-down_binary64
7×pow1_binary64
6×div-exp_binary64
5×div-inv_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 sqr-pow_binary64 pow-neg_binary64
3×pow-to-exp_binary64 associate-/r*_binary64 neg-sub0_binary64 cbrt-undiv_binary64 associate-*r/_binary64 pow-sub_binary64 associate-/l*_binary64 pow-exp_binary64
2×un-div-inv_binary64 frac-times_binary64 *-commutative_binary64
1×pow-prod-down_binary64 1-exp_binary64 pow-pow_binary64 neg-mul-1_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 tan-quot_binary64 associate-*l/_binary64
Counts
4 → 158
Calls

8 calls:

15.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
11.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))
8.0ms
(*.f64 x (/.f64 1 (tan.f64 B)))
3.0ms
(/.f64 F (sin.f64 B))
0.0ms
(+.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)))))

series900.0ms (0.3%)

Counts
4 → 47
Calls

4 calls:

382.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
221.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))
199.0ms
(*.f64 x (/.f64 1 (tan.f64 B)))
98.0ms
(/.f64 F (sin.f64 B))
Compiler

Compiled 2793 to 2280 computations (18.4% saved)

simplify116.0ms (0%)

Algorithm
1×egg-herbie
Counts
205 → 205
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049124558
149124558

prune4.1s (1.3%)

Pruning

229 alts after pruning (228 fresh and 1 done)

PrunedKeptTotal
New139228367
Fresh000
Picked000
Done112
Total140229369
Error
0.0b
Counts
369 → 229
Compiler

Compiled 17247 to 10932 computations (36.6% saved)

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b
(/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B))
0.2b
(*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(-.f64 (/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2))
0.4b
(/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)

rewrite44.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64
22×add-exp-log_binary64
19×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×add-cbrt-cube_binary64
12×times-frac_binary64
7×associate-*r*_binary64 unpow-prod-down_binary64
6×associate-/r*_binary64 prod-exp_binary64
5×pow1_binary64 div-exp_binary64
4×add-log-exp_binary64 associate-/l*_binary64
3×pow-to-exp_binary64 pow-unpow_binary64 cbrt-undiv_binary64 sqr-pow_binary64 associate-*l*_binary64 unswap-sqr_binary64 pow-exp_binary64
2×cbrt-unprod_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64
1×pow-pow_binary64 associate-/r/_binary64 tan-quot_binary64 *-commutative_binary64
Counts
4 → 93
Calls

8 calls:

12.0ms
(/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B))
11.0ms
(*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2))
8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)
4.0ms
(/.f64 x (tan.f64 B))
0.0ms
(-.f64 (/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B)) (/.f64 x (tan.f64 B)))

series1.0s (0.3%)

Counts
4 → 53
Calls

4 calls:

379.0ms
(/.f64 (*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)) (sin.f64 B))
235.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2)
203.0ms
(/.f64 x (tan.f64 B))
186.0ms
(*.f64 F (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/2))
Compiler

Compiled 2837 to 2283 computations (19.5% saved)

simplify73.0ms (0%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050683860

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b
(/.f64 1 (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.0b
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(/.f64 1 (sin.f64 B))

rewrite30.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
43×add-sqr-sqrt_binary64
36×times-frac_binary64
35×*-un-lft-identity_binary64
26×add-cube-cbrt_binary64
14×cancel-sign-sub-inv_binary64
9×add-exp-log_binary64
7×add-cbrt-cube_binary64
6×associate-/r*_binary64 difference-of-squares_binary64 associate-/l*_binary64
5×add-log-exp_binary64
4×pow1_binary64 div-inv_binary64
3×distribute-lft-out--_binary64 div-exp_binary64
2×cbrt-undiv_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 tan-quot_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 1-exp_binary64 inv-pow_binary64 rec-exp_binary64 flip--_binary64 pow-flip_binary64 frac-sub_binary64
Counts
3 → 94
Calls

6 calls:

16.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
4.0ms
(/.f64 1 (sin.f64 B))
3.0ms
(/.f64 x (tan.f64 B))
0.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.0ms
(/.f64 x (tan.f64 B))

series517.0ms (0.2%)

Counts
3 → 23
Calls

3 calls:

288.0ms
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
200.0ms
(/.f64 x (tan.f64 B))
28.0ms
(/.f64 1 (sin.f64 B))
Compiler

Compiled 463 to 402 computations (13.2% saved)

simplify77.0ms (0%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049061606
149061606

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
0.2b
(/.f64 F (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(/.f64 F (sin.f64 B))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))

rewrite50.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
58×add-sqr-sqrt_binary64
48×times-frac_binary64
45×*-un-lft-identity_binary64 add-cube-cbrt_binary64
30×pow-unpow_binary64
22×add-exp-log_binary64
13×distribute-lft-neg-in_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 distribute-rgt-neg-in_binary64
8×unpow-prod-down_binary64
7×associate-*r*_binary64
6×associate-/r*_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64
5×pow1_binary64 div-inv_binary64 div-exp_binary64
4×add-log-exp_binary64 sqr-pow_binary64 pow-neg_binary64
3×pow-to-exp_binary64 neg-sub0_binary64 cbrt-undiv_binary64 pow-sub_binary64 pow-exp_binary64
2×cbrt-unprod_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 frac-times_binary64
1×pow-pow_binary64 neg-mul-1_binary64 associate-/r/_binary64 un-div-inv_binary64 tan-quot_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 149
Calls

8 calls:

15.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
11.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))
4.0ms
(/.f64 x (tan.f64 B))
3.0ms
(/.f64 F (sin.f64 B))
0.0ms
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))))

series931.0ms (0.3%)

Counts
4 → 47
Calls

4 calls:

389.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2))))
239.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (neg.f64 (/.f64 1 2)))
209.0ms
(/.f64 x (tan.f64 B))
94.0ms
(/.f64 F (sin.f64 B))
Compiler

Compiled 2821 to 2308 computations (18.2% saved)

simplify98.0ms (0%)

Algorithm
1×egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049254534
149254534

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
0.2b
(/.f64 F (sin.f64 B))
0.2b
(/.f64 1 (tan.f64 B))
0.0b
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2))))))
0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2)))))
8.9b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2))
14.7b
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2))))

rewrite73.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
72×add-sqr-sqrt_binary64
45×*-un-lft-identity_binary64
44×add-cube-cbrt_binary64
43×times-frac_binary64
42×pow-unpow_binary64
37×add-exp-log_binary64
31×unpow-prod-down_binary64
29×sqrt-prod_binary64
25×associate-*r*_binary64
16×distribute-lft-neg-in_binary64 associate-*l*_binary64 distribute-rgt-neg-in_binary64
14×add-cbrt-cube_binary64 prod-exp_binary64
13×unswap-sqr_binary64 pow-exp_binary64
9×sqr-pow_binary64
7×pow-to-exp_binary64 pow1_binary64 div-exp_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 pow-neg_binary64 div-inv_binary64
3×neg-sub0_binary64 associate-*r/_binary64 pow-sub_binary64
2×cbrt-undiv_binary64 pow-pow_binary64 un-div-inv_binary64 frac-times_binary64 *-commutative_binary64
1×pow-prod-down_binary64 1-exp_binary64 neg-mul-1_binary64 associate-/r/_binary64 rec-exp_binary64 tan-quot_binary64 associate-*l/_binary64
Counts
4 → 175
Calls

8 calls:

18.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2)))))
14.0ms
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2))))
8.0ms
(*.f64 x (/.f64 1 (tan.f64 B)))
8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2))
0.0ms
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2))))))

series3.6s (1.1%)

Counts
4 → 55
Calls

4 calls:

1.9s
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2)))))
951.0ms
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2)) (neg.f64 (sqrt.f64 (/.f64 1 2))))
488.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (sqrt.f64 1/2))
203.0ms
(*.f64 x (/.f64 1 (tan.f64 B)))
Compiler

Compiled 9131 to 8115 computations (11.1% saved)

simplify135.0ms (0%)

Algorithm
1×egg-herbie
Counts
230 → 230
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0530412668

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
0.2b
(/.f64 F (sin.f64 B))
0.2b
(/.f64 1 (tan.f64 B))
0.0b
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))))
1.0b
(cbrt.f64 2)
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
10.7b
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))
12.3b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2))))

rewrite68.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
66×add-sqr-sqrt_binary64
53×times-frac_binary64
47×pow-unpow_binary64
45×*-un-lft-identity_binary64 add-cube-cbrt_binary64
31×unpow-prod-down_binary64
28×add-exp-log_binary64
21×cbrt-prod_binary64
18×sqrt-prod_binary64
13×associate-*l*_binary64 pow-exp_binary64
11×associate-*r*_binary64
10×unswap-sqr_binary64 prod-exp_binary64
9×sqr-pow_binary64 add-cbrt-cube_binary64
7×pow-to-exp_binary64
5×pow1_binary64 div-exp_binary64
4×add-log-exp_binary64
3×div-inv_binary64
2×cbrt-unprod_binary64 pow-pow_binary64
1×cbrt-undiv_binary64 pow1/3_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 147
Calls

8 calls:

18.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
17.0ms
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))
10.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2))))
1.0ms
(cbrt.f64 2)
0.0ms
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))))

series3.9s (1.3%)

Counts
4 → 45
Calls

4 calls:

2.1s
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
1.1s
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))
633.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 -1 (*.f64 (cbrt.f64 2) (cbrt.f64 2))))
0.0ms
(cbrt.f64 2)
Compiler

Compiled 8935 to 8039 computations (10% saved)

simplify133.0ms (0%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
0526712976

prune33.8s (10.9%)

Pruning

677 alts after pruning (673 fresh and 4 done)

PrunedKeptTotal
New396485881
Fresh35188223
Picked000
Done246
Total4336771110
Error
0.0b
Counts
1110 → 677
Compiler

Compiled 63251 to 45745 computations (27.7% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B)))
0.2b
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))
0.2b
(/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B)))
18.4b
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))

rewrite46.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64
18×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×times-frac_binary64
7×pow1_binary64 sqrt-prod_binary64
6×associate-*l*_binary64 associate-/l*_binary64 sqrt-div_binary64
4×associate-/r*_binary64 add-log-exp_binary64 associate-*l/_binary64
3×flip3-+_binary64 associate-*r*_binary64 cbrt-undiv_binary64 associate-/r/_binary64 div-exp_binary64 flip-+_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
1×pow-prod-down_binary64 pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 tan-quot_binary64 *-commutative_binary64
Counts
4 → 90
Calls

8 calls:

12.0ms
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))
11.0ms
(/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B)))
9.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))
4.0ms
(/.f64 x (tan.f64 B))
0.0ms
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))))

series924.0ms (0.3%)

Counts
4 → 56
Calls

4 calls:

382.0ms
(/.f64 F (*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B)))
243.0ms
(*.f64 (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))) (sin.f64 B))
199.0ms
(/.f64 x (tan.f64 B))
101.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))
Compiler

Compiled 2863 to 2229 computations (22.1% saved)

simplify81.0ms (0%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050593803

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 1 x) B)
0.0b
(/.f64 (-.f64 1 x) B)

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
18×times-frac_binary64
12×add-cube-cbrt_binary64
8×difference-of-squares_binary64
6×associate-/l*_binary64
4×distribute-lft-out--_binary64
3×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
2×associate-/l/_binary64
1×add-log-exp_binary64 pow1_binary64 flip3--_binary64 cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip--_binary64
Counts
1 → 42
Calls

2 calls:

6.0ms
(/.f64 (-.f64 1 x) B)
0.0ms
(/.f64 (-.f64 1 x) B)

series71.0ms (0%)

Counts
1 → 9
Calls

1 calls:

71.0ms
(/.f64 (-.f64 1 x) B)
Compiler

Compiled 89 to 99 computations (-11.2% saved)

simplify85.0ms (0%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
04865641
14865641

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 (sin.f64 B) (sqrt.f64 F))
0.2b
(/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F)))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(-.f64 (*.f64 (/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F))) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))
0.2b
(/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F)))
0.2b
(/.f64 (sin.f64 B) (sqrt.f64 F))
3.7b
(*.f64 (/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F))) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)

rewrite151.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
546×times-frac_binary64
348×add-sqr-sqrt_binary64
283×*-un-lft-identity_binary64 add-cube-cbrt_binary64
279×sqrt-prod_binary64
137×associate-*l*_binary64
36×add-exp-log_binary64
28×associate-/r*_binary64
21×unswap-sqr_binary64
20×add-cbrt-cube_binary64
16×div-inv_binary64
13×unpow-prod-down_binary64 div-exp_binary64
9×sqr-pow_binary64 prod-exp_binary64 associate-/l*_binary64
7×associate-*r*_binary64 cbrt-undiv_binary64
5×pow1_binary64
4×pow-to-exp_binary64 add-log-exp_binary64 pow-exp_binary64
3×pow-unpow_binary64 cbrt-unprod_binary64
2×associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64
1×pow-pow_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 417
Calls

8 calls:

48.0ms
(*.f64 (/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F))) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
10.0ms
(/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F)))
8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
5.0ms
(/.f64 (sin.f64 B) (sqrt.f64 F))
0.0ms
(-.f64 (*.f64 (/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F))) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (/.f64 x (tan.f64 B)))

series667.0ms (0.2%)

Counts
4 → 39
Calls

4 calls:

324.0ms
(*.f64 (/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F))) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
178.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
84.0ms
(/.f64 (sqrt.f64 F) (/.f64 (sin.f64 B) (sqrt.f64 F)))
81.0ms
(/.f64 (sin.f64 B) (sqrt.f64 F))
Compiler

Compiled 2261 to 1816 computations (19.7% saved)

simplify199.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
456 → 456
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
0494312815
1494312815

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 1 (tan.f64 B))
0.2b
(/.f64 F (sin.f64 B))
0.2b
(/.f64 F (sin.f64 B))
0.0b
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B)))) (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B))))))
4.3b
(sqrt.f64 (/.f64 F (sin.f64 B)))
4.3b
(sqrt.f64 (/.f64 F (sin.f64 B)))
19.0b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
19.0b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)

rewrite37.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
26×sqrt-prod_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
20×times-frac_binary64
8×pow1_binary64
6×pow-unpow_binary64 add-exp-log_binary64 unpow-prod-down_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 rem-sqrt-square_binary64
2×pow-to-exp_binary64 pow1/2_binary64 pow-pow_binary64 sqr-pow_binary64 sqrt-pow1_binary64 div-inv_binary64 pow-exp_binary64 sqrt-div_binary64
Counts
4 → 84
Calls

8 calls:

9.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
9.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
3.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
3.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
0.0ms
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B)))) (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B))))))

series599.0ms (0.2%)

Counts
4 → 38
Calls

4 calls:

226.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
214.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
85.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
73.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
Compiler

Compiled 3576 to 2752 computations (23% saved)

simplify53.0ms (0%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
051142752

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B))))
0.3b
(/.f64 (cbrt.f64 x) (cbrt.f64 (tan.f64 B)))
0.2b
(/.f64 F (sin.f64 B))
0.0b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (tan.f64 B)))))
0.6b
(cbrt.f64 (tan.f64 B))
0.6b
(cbrt.f64 (tan.f64 B))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
18.4b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)

rewrite41.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
30×add-sqr-sqrt_binary64
18×add-exp-log_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×associate-*l*_binary64
12×times-frac_binary64
9×add-cbrt-cube_binary64
8×unpow-prod-down_binary64
7×associate-*r*_binary64
6×unswap-sqr_binary64 prod-exp_binary64 cbrt-prod_binary64
5×pow1_binary64
4×add-log-exp_binary64 sqr-pow_binary64
3×pow-to-exp_binary64 pow-unpow_binary64 div-exp_binary64 pow-exp_binary64
2×cbrt-div_binary64 cbrt-unprod_binary64 pow1/3_binary64 tan-quot_binary64
1×cbrt-undiv_binary64 pow-pow_binary64 div-inv_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 84
Calls

8 calls:

17.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
9.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
2.0ms
(cbrt.f64 (tan.f64 B))
2.0ms
(cbrt.f64 (tan.f64 B))
0.0ms
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)) (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (tan.f64 B)) (cbrt.f64 (tan.f64 B)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (tan.f64 B)))))

series873.0ms (0.3%)

Counts
4 → 39
Calls

4 calls:

398.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2))
238.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 x 2)) -1/2)
124.0ms
(cbrt.f64 (tan.f64 B))
112.0ms
(cbrt.f64 (tan.f64 B))
Compiler

Compiled 3151 to 2174 computations (31% saved)

simplify67.0ms (0%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
052553294

prune1.2min (22.5%)

Pruning

1005 alts after pruning (996 fresh and 9 done)

PrunedKeptTotal
New546352898
Fresh24644668
Picked000
Done099
Total57010051575
Error
0.0b
Counts
1575 → 1005
Compiler

Compiled 69490 to 44857 computations (35.4% saved)

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b
(/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B))
0.2b
(/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B)))
0.1b
(/.f64 x (tan.f64 B))
0.2b
(/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))))
0.4b
(/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B))
18.4b
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))

rewrite65.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
171×times-frac_binary64
106×add-sqr-sqrt_binary64
105×*-un-lft-identity_binary64 add-cube-cbrt_binary64
51×sqrt-prod_binary64
30×associate-/l*_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×associate-/r*_binary64 sqrt-div_binary64
11×associate-/r/_binary64
7×div-inv_binary64
6×flip3-+_binary64 flip-+_binary64
5×pow1_binary64 cbrt-undiv_binary64 div-exp_binary64
4×add-log-exp_binary64
3×clear-num_binary64 frac-2neg_binary64
1×associate-/l/_binary64 pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 tan-quot_binary64
Counts
4 → 198
Calls

8 calls:

15.0ms
(/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B))
10.0ms
(/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))))
6.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))
4.0ms
(/.f64 x (tan.f64 B))
0.0ms
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B)))

series852.0ms (0.3%)

Counts
4 → 52
Calls

4 calls:

373.0ms
(/.f64 (/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))) (sin.f64 B))
196.0ms
(/.f64 x (tan.f64 B))
177.0ms
(/.f64 F (sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x))))
105.0ms
(sqrt.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)))
Compiler

Compiled 2617 to 2110 computations (19.4% saved)

simplify144.0ms (0%)

Algorithm
1×egg-herbie
Counts
250 → 250
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049608567
149608567

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 1 (+.f64 2 (*.f64 2 x)))
0.0b
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (-.f64 (sqrt.f64 (/.f64 1 (+.f64 2 (*.f64 2 x)))) (*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))))))) (/.f64 x (tan.f64 B)))
0.0b
(-.f64 (sqrt.f64 (/.f64 1 (+.f64 2 (*.f64 2 x)))) (*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))))))
0.0b
(*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))))
0.2b
(*.f64 (/.f64 F (sin.f64 B)) (-.f64 (sqrt.f64 (/.f64 1 (+.f64 2 (*.f64 2 x)))) (*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))))))
0.3b
(/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))
3.4b
(*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))))
7.4b
(sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))

rewrite99.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
134×times-frac_binary64
110×add-sqr-sqrt_binary64
93×sqrt-prod_binary64
90×*-un-lft-identity_binary64
82×add-cube-cbrt_binary64
48×associate-*r*_binary64
34×unpow-prod-down_binary64 cube-prod_binary64
23×add-exp-log_binary64
16×add-cbrt-cube_binary64
14×sqr-pow_binary64 associate-*l*_binary64
12×associate-/r*_binary64 pow1_binary64 unswap-sqr_binary64
10×unpow3_binary64 cube-mult_binary64
9×rem-sqrt-square_binary64
8×associate-*r/_binary64
7×div-exp_binary64
6×associate-/r/_binary64 cube-div_binary64 sqrt-div_binary64
5×cbrt-unprod_binary64 prod-exp_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 div-inv_binary64
3×pow-to-exp_binary64 flip3-+_binary64 1-exp_binary64 sqrt-pow1_binary64 rec-exp_binary64 associate-/l*_binary64 flip-+_binary64 frac-times_binary64 pow-exp_binary64
2×sub-neg_binary64 flip3--_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 cancel-sign-sub-inv_binary64 inv-pow_binary64 flip--_binary64 pow-flip_binary64 frac-sub_binary64 *-commutative_binary64
1×pow1/2_binary64 clear-num_binary64 frac-2neg_binary64 associate-*l/_binary64
Counts
4 → 251
Calls

8 calls:

26.0ms
(*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))))
18.0ms
(*.f64 (/.f64 F (sin.f64 B)) (-.f64 (sqrt.f64 (/.f64 1 (+.f64 2 (*.f64 2 x)))) (*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))))))
9.0ms
(sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))
7.0ms
(/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))
0.0ms
(*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))))

series1.0s (0.3%)

Counts
4 → 24
Calls

4 calls:

820.0ms
(*.f64 (/.f64 F (sin.f64 B)) (-.f64 (sqrt.f64 (/.f64 1 (+.f64 2 (*.f64 2 x)))) (*.f64 1/2 (*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))))))
174.0ms
(*.f64 (*.f64 F F) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))))
31.0ms
(sqrt.f64 (/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3)))
20.0ms
(/.f64 1 (pow.f64 (+.f64 2 (*.f64 2 x)) 3))
Compiler

Compiled 1603 to 1348 computations (15.9% saved)

simplify100.0ms (0%)

Algorithm
1×egg-herbie
Counts
275 → 275
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
053077117

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(/.f64 F (sin.f64 B))
0.2b
(/.f64 F (sin.f64 B))
0.1b
(/.f64 x (tan.f64 B))
0.0b
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (*.f64 (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B)))) (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B))))))
4.3b
(sqrt.f64 (/.f64 F (sin.f64 B)))
4.3b
(sqrt.f64 (/.f64 F (sin.f64 B)))
19.0b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
19.0b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)

rewrite34.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
26×sqrt-prod_binary64
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64
20×times-frac_binary64
8×pow1_binary64
6×pow-unpow_binary64 add-exp-log_binary64 unpow-prod-down_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 rem-sqrt-square_binary64
2×pow-to-exp_binary64 pow1/2_binary64 pow-pow_binary64 sqr-pow_binary64 sqrt-pow1_binary64 div-inv_binary64 pow-exp_binary64 sqrt-div_binary64
Counts
4 → 84
Calls

8 calls:

8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
8.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
3.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
3.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
0.0ms
(+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) 1)) (*.f64 (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B)))) (*.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4) (sqrt.f64 (/.f64 F (sin.f64 B))))))

series602.0ms (0.2%)

Counts
4 → 38
Calls

4 calls:

226.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
220.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) -1/4)
79.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
76.0ms
(sqrt.f64 (/.f64 F (sin.f64 B)))
Compiler

Compiled 3576 to 2752 computations (23% saved)

simplify56.0ms (0%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
051142752

localize39.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 x (/.f64 1 (tan.f64 B)))
0.2b
(/.f64 F (sin.f64 B))
0.2b
(/.f64 1 (tan.f64 B))
0.0b
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))))
7.0b
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2)))
8.5b
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
8.6b
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2)))
10.7b
(pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))

rewrite108.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
103×add-sqr-sqrt_binary64
94×times-frac_binary64
90×pow-unpow_binary64
74×*-un-lft-identity_binary64 add-cube-cbrt_binary64
73×unpow-prod-down_binary64
57×cbrt-prod_binary64
39×add-exp-log_binary64
32×pow-exp_binary64
18×sqrt-prod_binary64
15×associate-*r*_binary64 sqr-pow_binary64
14×unswap-sqr_binary64 prod-exp_binary64
13×associate-*l*_binary64
12×pow-to-exp_binary64
9×add-cbrt-cube_binary64
7×div-exp_binary64
5×pow1_binary64
4×add-log-exp_binary64 div-inv_binary64
3×pow-pow_binary64
2×cbrt-unprod_binary64
1×cbrt-undiv_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 217
Calls

8 calls:

23.0ms
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
18.0ms
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2)))
17.0ms
(pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))
10.0ms
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2)))
0.0ms
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))))

series10.0s (3.2%)

Counts
4 → 59
Calls

4 calls:

4.5s
(*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2))))
2.7s
(pow.f64 (pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2))) (/.f64 (sqrt.f64 1) (cbrt.f64 2)))
1.7s
(pow.f64 (pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2))) (/.f64 (cbrt.f64 -1) (cbrt.f64 2)))
1.0s
(pow.f64 (+.f64 (+.f64 (*.f64 F F) 2) (*.f64 2 x)) (/.f64 (*.f64 (cbrt.f64 -1) (cbrt.f64 -1)) (cbrt.f64 2)))
Compiler

Compiled 16301 to 15163 computations (7% saved)

simplify273.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
0496427825
1496427825

prune2.0min (39.2%)

Pruning

1348 alts after pruning (1335 fresh and 13 done)

PrunedKeptTotal
New534389923
Fresh45946991
Picked000
Done11314
Total58013481928
Error
0.0b
Counts
1928 → 1348
Compiler

Compiled 39526 to 27724 computations (29.9% saved)

simplify2.5s (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
08345155847

regimes31.1s (10%)

Compiler

Compiled 283428 to 222969 computations (21.3% saved)

bsearch265.0ms (0.1%)

Steps
ItersRangePoint
8
102.25884343766576
464547.59730844933
458314.3485299576
3
-2.2069708261448962e+23
-1.7030019515150634e+23
-1.7345000061794282e+23
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes552.0ms (0.2%)

Compiler

Compiled 3684 to 3315 computations (10% saved)

bsearch162.0ms (0.1%)

Steps
ItersRangePoint
8
102.25884343766576
464547.59730844933
458314.3485299576
10
-137387490984627.22
-7.631862532892563
-129820715864368.95
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes863.0ms (0.3%)

Compiler

Compiled 3468 to 3126 computations (9.9% saved)

bsearch230.0ms (0.1%)

Steps
ItersRangePoint
8
102.25884343766576
464547.59730844933
560.3737196529521
10
-2.223065010513222e-80
-5.034989234575833e-94
-7.932951086476523e-81
10
-137387490984627.22
-7.631862532892563
-848392.7563719586
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes528.0ms (0.2%)

Compiler

Compiled 1626 to 1590 computations (2.2% saved)

bsearch244.0ms (0.1%)

Steps
ItersRangePoint
8
464547.59730844933
552729113.4212948
469799.4013418561
10
-2.223065010513222e-80
-5.034989234575833e-94
-8.149321183500055e-84
10
-137387490984627.22
-7.631862532892563
-4645.146492727445
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes538.0ms (0.2%)

Compiler

Compiled 1506 to 1491 computations (1% saved)

bsearch232.0ms (0.1%)

Steps
ItersRangePoint
9
1.4111426987873149e-07
0.4853376668494194
0.4800257531838484
8
9.215201652835963e-114
1.9422713410806979e-109
1.1982040141203165e-110
8
-1.0788966394464868e-237
-3.465553272328549e-240
-2.552488465105514e-238
3
-2.2069708261448962e+23
-1.7030019515150634e+23
-1.7345000061794282e+23
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes527.0ms (0.2%)

Compiler

Compiled 1446 to 1443 computations (0.2% saved)

bsearch294.0ms (0.1%)

Steps
ItersRangePoint
9
1.4111426987873149e-07
0.4853376668494194
0.4800257531838484
8
9.215201652835963e-114
1.9422713410806979e-109
2.2638668393559438e-110
8
-1.0788966394464868e-237
-3.465553272328549e-240
-1.0689241364748001e-237
10
-137387490984627.22
-7.631862532892563
-203633.2232100348
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes634.0ms (0.2%)

Compiler

Compiled 1386 to 1395 computations (-0.6% saved)

bsearch178.0ms (0.1%)

Steps
ItersRangePoint
10
5.165460511131376e-35
2.185490453037896e-22
4.8963945120059034e-24
10
-2.223065010513222e-80
-5.034989234575833e-94
-2.1857821194708164e-80
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes321.0ms (0.1%)

Compiler

Compiled 546 to 606 computations (-11% saved)

bsearch206.0ms (0.1%)

Steps
ItersRangePoint
8
3.098252798882784e+135
8.753808377224934e+137
4.7101697855186315e+135
7
0.4853376668494194
102.25884343766576
16.889853377425982
10
-2.223065010513222e-80
-5.034989234575833e-94
-2.1857821194708164e-80
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes196.0ms (0.1%)

Compiler

Compiled 519 to 579 computations (-11.6% saved)

bsearch116.0ms (0%)

Steps
ItersRangePoint
8
3.098252798882784e+135
8.753808377224934e+137
6.737354207850628e+135
7
0.4853376668494194
102.25884343766576
11.659649337890587
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes240.0ms (0.1%)

Compiler

Compiled 495 to 555 computations (-12.1% saved)

bsearch373.0ms (0.1%)

Steps
ItersRangePoint
8
3.098252798882784e+135
8.753808377224934e+137
4.502361933676628e+137
8
102.25884343766576
464547.59730844933
283783.38273218885
7
1.745556460837717e-186
3.7125949637183323e-185
1.1079463367285392e-185
6
4.730568204091529e-281
4.659492471772725e-280
4.544496888397481e-280
7
-6.24250089022905e-241
-1.5654715873858036e-242
-3.289141569193918e-241
9
-8.578531330207158e-163
-3.0173937856215995e-170
-1.6375294095987955e-166
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes125.0ms (0%)

Compiler

Compiled 282 to 348 computations (-23.4% saved)

bsearch58.0ms (0%)

Steps
ItersRangePoint
7
2.2843396390002335e-132
3.3057829434101413e-130
1.7163339963652113e-130
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes140.0ms (0%)

Compiler

Compiled 258 to 324 computations (-25.6% saved)

bsearch57.0ms (0%)

Steps
ItersRangePoint
7
2.2843396390002335e-132
3.3057829434101413e-130
3.2549820013808687e-130
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes91.0ms (0%)

Compiler

Compiled 225 to 282 computations (-25.3% saved)

bsearch51.0ms (0%)

Steps
ItersRangePoint
6
5.76047785999532e-88
5.9457281168650425e-87
4.165783766895228e-87
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes62.0ms (0%)

Compiler

Compiled 36 to 84 computations (-133.3% saved)

bsearch45.0ms (0%)

Steps
ItersRangePoint
6
5.76047785999532e-88
5.9457281168650425e-87
5.841025508043288e-87
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes35.0ms (0%)

Compiler

Compiled 24 to 69 computations (-187.5% saved)

bsearch69.0ms (0%)

Steps
ItersRangePoint
8
3.3057829434101413e-130
3.8716366822755404e-126
2.855296916216521e-127
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch30.0ms (0%)

Compiler

Compiled 672 to 426 computations (36.6% saved)

simplify15.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
02401010
12401010

end0.0ms (0%)

sample7.1s (2.3%)

Algorithm
1×intervals
Results
1.6s2175×body1024valid
558.0ms4159×body128valid
453.0ms1138×body512valid
135.0ms519×body256valid
94.0ms701×body128invalid
16.0ms128×body128nan
9.0ms9×body2048valid
0.0ms1×body256invalid
Compiler

Compiled 95832 to 75192 computations (21.5% saved)

Profiling

Loading profile data...