Time bar (total: 3.8s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 100% | 0% | 0 |
| 0% | 100% | 0% | 1 |
| 0% | 100% | 0% | 2 |
| 25% | 75% | 0% | 3 |
| 25% | 62.5% | 12.5% | 4 |
| 25% | 56.2% | 18.8% | 5 |
| 28.1% | 50% | 21.9% | 6 |
| 29.7% | 46.9% | 23.5% | 7 |
| 30.5% | 45.3% | 24.3% | 8 |
| 30.8% | 44.9% | 24.3% | 9 |
| 31.2% | 44.5% | 24.3% | 10 |
| 31.3% | 44.4% | 24.3% | 11 |
| 31.4% | 44.3% | 24.3% | 12 |
| 31.4% | 44.1% | 24.5% | 13 |
| 31.5% | 43.8% | 24.8% | 14 |
Compiled 14 to 12 computations (14.3% saved)
| 1.3s | 2686× | body | 1024 | valid |
| 493.0ms | 1394× | body | 512 | valid |
| 355.0ms | 3186× | body | 128 | valid |
| 284.0ms | 694× | body | 256 | valid |
| 175.0ms | 296× | body | 2048 | valid |
| 2.0ms | 5× | body | 128 | invalid |
| 2× | egg-herbie |
| 590× | associate-/l*_binary64 |
| 477× | associate-/r*_binary64 |
| 380× | fma-def_binary64 |
| 281× | distribute-rgt-in_binary64 |
| 270× | associate-/l/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 13 |
| 1 | 25 | 13 |
| 2 | 34 | 13 |
| 3 | 59 | 13 |
| 4 | 127 | 11 |
| 5 | 349 | 8 |
| 6 | 1345 | 8 |
| 0 | 1 | 1 |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
0 |
| Outputs |
|---|
0 |
| Inputs |
|---|
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1))) |
| Outputs |
|---|
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1))) |
(sqrt.f64 (/.f64 (expm1.f64 (*.f64 2 x)) (expm1.f64 x))) |
(sqrt.f64 (/.f64 (expm1.f64 (+.f64 x x)) (expm1.f64 x))) |
(sqrt.f64 (/.f64 (+.f64 1 (exp.f64 x)) 1)) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
Compiled 13 to 11 computations (15.4% saved)
| 1× | egg-herbie |
| 590× | associate-/l*_binary64 |
| 477× | associate-/r*_binary64 |
| 380× | fma-def_binary64 |
| 281× | distribute-rgt-in_binary64 |
| 270× | associate-/l/_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 13 |
| 1 | 25 | 13 |
| 2 | 34 | 13 |
| 3 | 59 | 13 |
| 4 | 127 | 11 |
| 5 | 349 | 8 |
| 6 | 1345 | 8 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1))) |
| Outputs |
|---|
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1))) |
(sqrt.f64 (/.f64 (expm1.f64 (*.f64 2 x)) (expm1.f64 x))) |
(sqrt.f64 (/.f64 (expm1.f64 (+.f64 x x)) (expm1.f64 x))) |
(sqrt.f64 (/.f64 (+.f64 1 (exp.f64 x)) 1)) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.0b | (sqrt.f64 (+.f64 1 (exp.f64 x))) |
Compiled 30 to 24 computations (20% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (sqrt.f64 (+.f64 1 (exp.f64 x))) |
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | 0 | (sqrt.f64 (+.f64 1 (exp.f64 x))) |
| 1.0ms | x | @ | inf | (sqrt.f64 (+.f64 1 (exp.f64 x))) |
| 0.0ms | x | @ | -inf | (sqrt.f64 (+.f64 1 (exp.f64 x))) |
| 1× | batch-egg-rewrite |
| 550× | pow1_binary64 |
| 512× | add-log-exp_binary64 |
| 512× | log1p-expm1-u_binary64 |
| 512× | expm1-log1p-u_binary64 |
| 500× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 8 |
| 1 | 118 | 8 |
| 2 | 1423 | 8 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2)) (sqrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2))) (sqrt.f64 (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3))) (sqrt.f64 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (exp.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 1 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log1p.f64 (exp.f64 x)) 1/2)))))) |
| 1× | egg-herbie |
| 438× | fma-neg_binary64 |
| 416× | fma-def_binary64 |
| 384× | associate-*r*_binary64 |
| 360× | associate-*l*_binary64 |
| 324× | times-frac_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 135 |
| 1 | 91 | 103 |
| 2 | 284 | 97 |
| 3 | 934 | 73 |
| 4 | 4852 | 73 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))) |
| Outputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))) |
(fma.f64 1/2 (/.f64 x (sqrt.f64 2)) (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2))))) |
(fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (sqrt.f64 2)) |
(fma.f64 1/2 (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2))) (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8))))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))) |
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (/.f64 (+.f64 1/6 (*.f64 -1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (/.f64 (sqrt.f64 2) (pow.f64 x 3))) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2)))))) |
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (/.f64 (*.f64 7/192 (pow.f64 x 3)) (sqrt.f64 2)))) |
(fma.f64 1/2 (fma.f64 (/.f64 7/96 (sqrt.f64 2)) (pow.f64 x 3) (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2)))) (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (fma.f64 (/.f64 7/192 (sqrt.f64 2)) (pow.f64 x 3) (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8)))))) |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 28 | 2 | 30 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 29 | 2 | 31 |
| Status | Error | Program |
|---|---|---|
| 0.0b | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) | |
| ▶ | 0.0b | (*.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) |
Compiled 385 to 295 computations (23.4% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (sqrt.f64 (exp.f64 x)) |
| ✓ | 0.0b | (hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | inf | (hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
| 1.0ms | x | @ | -inf | (hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
| 1.0ms | x | @ | 0 | (hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
| 0.0ms | x | @ | 0 | (sqrt.f64 (exp.f64 x)) |
| 0.0ms | x | @ | inf | (sqrt.f64 (exp.f64 x)) |
| 1× | batch-egg-rewrite |
| 436× | pow1_binary64 |
| 401× | add-log-exp_binary64 |
| 400× | log1p-expm1-u_binary64 |
| 400× | expm1-log1p-u_binary64 |
| 390× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 13 |
| 1 | 109 | 13 |
| 2 | 1151 | 13 |
| 1× | node limit |
| Inputs |
|---|
(hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
(sqrt.f64 (exp.f64 x)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (exp.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (+.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (exp.f64 x))) (cbrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 x) 1/4) (pow.f64 (exp.f64 x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (+.f64 x x)))) (sqrt.f64 (cbrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 x x))) 1/2) (pow.f64 (cbrt.f64 (exp.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 x) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 x) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (exp.f64 x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 x 1/2)))))) |
| 1× | egg-herbie |
| 602× | fma-def_binary64 |
| 434× | associate-*r*_binary64 |
| 428× | associate-*l*_binary64 |
| 324× | times-frac_binary64 |
| 309× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 238 |
| 1 | 122 | 204 |
| 2 | 361 | 198 |
| 3 | 1174 | 168 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
1 |
(+.f64 (*.f64 1/2 x) 1) |
(+.f64 (*.f64 1/8 (pow.f64 x 2)) (+.f64 (*.f64 1/2 x) 1)) |
(+.f64 (*.f64 1/8 (pow.f64 x 2)) (+.f64 (*.f64 1/2 x) (+.f64 1 (*.f64 1/48 (pow.f64 x 3))))) |
| Outputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))) |
(fma.f64 1/2 (/.f64 x (sqrt.f64 2)) (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))) |
(+.f64 (sqrt.f64 2) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2))))) |
(fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (sqrt.f64 2)) |
(fma.f64 1/2 (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2))) (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8))))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))) |
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (/.f64 (sqrt.f64 2) (pow.f64 x 3))) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2)))))) |
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (/.f64 7/192 (/.f64 (sqrt.f64 2) (pow.f64 x 3))))) |
(fma.f64 1/2 (fma.f64 (/.f64 7/96 (sqrt.f64 2)) (pow.f64 x 3) (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2)))) (sqrt.f64 2)) |
(+.f64 (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8)))) (fma.f64 (/.f64 7/192 (sqrt.f64 2)) (pow.f64 x 3) (sqrt.f64 2))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
1 |
(+.f64 (*.f64 1/2 x) 1) |
(fma.f64 1/2 x 1) |
(+.f64 (*.f64 1/8 (pow.f64 x 2)) (+.f64 (*.f64 1/2 x) 1)) |
(fma.f64 1/8 (*.f64 x x) (fma.f64 1/2 x 1)) |
(fma.f64 (*.f64 x x) 1/8 (fma.f64 1/2 x 1)) |
(fma.f64 1/2 x (fma.f64 x (*.f64 x 1/8) 1)) |
(fma.f64 x (fma.f64 x 1/8 1/2) 1) |
(+.f64 (*.f64 1/8 (pow.f64 x 2)) (+.f64 (*.f64 1/2 x) (+.f64 1 (*.f64 1/48 (pow.f64 x 3))))) |
(fma.f64 1/8 (*.f64 x x) (+.f64 (fma.f64 1/2 x 1) (*.f64 (pow.f64 x 3) 1/48))) |
(fma.f64 (*.f64 x x) 1/8 (fma.f64 1/2 x (fma.f64 (pow.f64 x 3) 1/48 1))) |
(fma.f64 x (*.f64 x 1/8) (fma.f64 (pow.f64 x 3) 1/48 (fma.f64 1/2 x 1))) |
(fma.f64 1/2 x (fma.f64 (*.f64 x x) (fma.f64 x 1/48 1/8) 1)) |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 51 | 0 | 51 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 51 | 2 | 53 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.0b | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| ✓ | 0.0b | (*.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) |
Compiled 645 to 508 computations (21.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| 0.0b | (sqrt.f64 (exp.f64 x)) | |
| 0.0b | (hypot.f64 1 (sqrt.f64 (exp.f64 x))) | |
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 5.0ms | x | @ | 0 | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| 2.0ms | x | @ | -inf | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| 2.0ms | x | @ | inf | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| 1× | batch-egg-rewrite |
| 604× | pow1_binary64 |
| 567× | add-log-exp_binary64 |
| 565× | log1p-expm1-u_binary64 |
| 565× | expm1-log1p-u_binary64 |
| 73× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 8 |
| 1 | 177 | 8 |
| 2 | 1655 | 8 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (pow.f64 (+.f64 1 (exp.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)) (cbrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)) (*.f64 (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)) (cbrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x)))) 3) (pow.f64 (+.f64 1 (exp.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)) 3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 1) (pow.f64 (+.f64 1 (exp.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))))) (cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6))) (sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (+.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 1 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))))) |
| 1× | egg-herbie |
| 463× | associate-*l*_binary64 |
| 462× | associate-*r*_binary64 |
| 432× | fma-def_binary64 |
| 218× | distribute-rgt-in_binary64 |
| 216× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 99 | 1137 |
| 1 | 291 | 1061 |
| 2 | 979 | 959 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x)) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9)))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (*.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (pow.f64 x 2)))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/9) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9))))) (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (+.f64 (*.f64 1/216 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/3)) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))))))))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (+.f64 (*.f64 1/216 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/3)) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))))))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))))))) (pow.f64 x 3)) (+.f64 (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9)))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (*.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (pow.f64 x 2))))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
| Outputs |
|---|
(sqrt.f64 2) |
(+.f64 (sqrt.f64 2) (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x)) |
(+.f64 (sqrt.f64 2) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x)) |
(fma.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x (sqrt.f64 2)) |
(fma.f64 (*.f64 (*.f64 x (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2 (sqrt.f64 2)) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9)))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (*.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (pow.f64 x 2)))) |
(+.f64 (sqrt.f64 2) (fma.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x (*.f64 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (fma.f64 1/3 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18))) (*.f64 x x)))) |
(+.f64 (fma.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x (sqrt.f64 2)) (*.f64 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (fma.f64 1/3 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18))) (*.f64 x x))) |
(fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) (*.f64 x 1/2) (fma.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12 (*.f64 1/2 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (+.f64 (*.f64 1/6 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/36)))) (*.f64 x x) (sqrt.f64 2))) |
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/9) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9))))) (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (+.f64 (*.f64 1/216 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/3)) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))))))))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (+.f64 (*.f64 1/216 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/3)) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))))))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/9) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))))))) (pow.f64 x 3)) (+.f64 (*.f64 (+.f64 (*.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9)) (*.f64 1/6 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/9))) x) (*.f64 (+.f64 (*.f64 (pow.f64 (sqrt.f64 2) 1/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9))))) (*.f64 1/36 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/9)))) (+.f64 (*.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 1/12 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (*.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/9)))) (pow.f64 x 2))))) |
(+.f64 (sqrt.f64 2) (fma.f64 (fma.f64 1/6 (*.f64 (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18))) (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 1/9 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18))) (*.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 (sqrt.f64 2)))) (-.f64 (*.f64 1/2 (/.f64 (+.f64 1/6 (*.f64 -1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (fma.f64 1/216 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11))) (*.f64 1/3 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18)))))))) (fma.f64 1/3 (-.f64 (*.f64 1/2 (/.f64 (+.f64 1/6 (*.f64 -1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (sqrt.f64 2))) (fma.f64 1/216 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11))) (*.f64 1/3 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18)))))) (*.f64 1/9 (*.f64 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18))))))) (pow.f64 x 3) (fma.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x (*.f64 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (fma.f64 1/3 (+.f64 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2))) (*.f64 -1/12 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18))) (*.f64 x x))))) |
(+.f64 (sqrt.f64 2) (fma.f64 (fma.f64 1/6 (*.f64 (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18))) (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 1/9 (*.f64 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18))) (*.f64 (-.f64 (/.f64 7/192 (sqrt.f64 2)) (fma.f64 1/3 (*.f64 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18))) (*.f64 1/216 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)))))) (*.f64 2/3 (cbrt.f64 (/.f64 1 (sqrt.f64 2)))))) (fma.f64 1/3 (-.f64 (/.f64 7/192 (sqrt.f64 2)) (fma.f64 1/3 (*.f64 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18))) (*.f64 1/216 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)))))) (*.f64 1/9 (*.f64 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18))))))) (pow.f64 x 3) (fma.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) 1/2) x (*.f64 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (fma.f64 1/3 (fma.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12)) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18))) (*.f64 x x))))) |
(fma.f64 (fma.f64 1/6 (*.f64 (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12 (*.f64 1/2 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)) 1/18))) (fma.f64 1/9 (*.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12 (*.f64 1/2 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2)))))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18))) (fma.f64 1/9 (*.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12 (*.f64 1/2 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2)))))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 17)) 1/18)) (cbrt.f64 (sqrt.f64 2)))) (*.f64 (-.f64 (/.f64 7/192 (sqrt.f64 2)) (fma.f64 (+.f64 (*.f64 1/6 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/36)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 14)) 1/18)) (*.f64 1/216 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 11)))))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) 2/3) (cbrt.f64 (/.f64 1 (sqrt.f64 2)))) 1/3))))) (pow.f64 x 3) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/18)) (*.f64 x 1/2) (fma.f64 (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) 1/18 (fma.f64 (cbrt.f64 (sqrt.f64 2)) (fma.f64 2/3 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (fma.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/12 (*.f64 1/2 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))))) (*.f64 1/36 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 22)) 1/18)))) (+.f64 (*.f64 1/6 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (*.f64 1/4 (/.f64 1/2 (sqrt.f64 2))))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18) (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 19)) 1/18)) -1/36)))) (*.f64 x x) (sqrt.f64 2)))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
(sqrt.f64 (+.f64 1 (exp.f64 x))) |
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 79 | 0 | 79 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 79 | 2 | 81 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3) |
| ✓ | 0.0b | (*.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) |
Compiled 2061 to 1838 computations (10.8% saved)
Total -0.0b remaining (-210%)
Threshold costs -0.0b (-210%)
Compiled 113 to 87 computations (23% saved)
| 1× | egg-herbie |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 8 |
| 1 | 8 | 8 |
| 1× | saturated |
| Inputs |
|---|
(hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
| Outputs |
|---|
(hypot.f64 1 (sqrt.f64 (exp.f64 x))) |
| 1× | done |
Compiled 27 to 19 computations (29.6% saved)
Loading profile data...