Details

Time bar (total: 1.8s)

analyze4.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.8%0.1%0.1%12
99.8%0%0.1%13
99.8%0%0.2%14
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample713.0ms (40.4%)

Results
700.0ms8252×body128valid
0.0ms2×body512valid
0.0ms1×body1024valid
0.0ms1×body256valid
Compiler

Compiled 22 to 20 computations (9.1% saved)

preprocess17.0ms (0.9%)

Algorithm
2×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1155
2165
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
(fma.f64 841/108 x 4/29)
Compiler

Compiled 10 to 9 computations (10% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1155
2165
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
Outputs
(+.f64 (*.f64 (/.f64 841 108) x) (/.f64 4 29))
(fma.f64 841/108 x 4/29)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 24 to 20 computations (16.7% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 841/108 x 4/29)

series3.0ms (0.2%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
2.0ms
x
@inf
(fma.f64 841/108 x 4/29)
1.0ms
x
@-inf
(fma.f64 841/108 x 4/29)
0.0ms
x
@0
(fma.f64 841/108 x 4/29)

rewrite28.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
434×pow1_binary64
407×add-log-exp_binary64
407×log1p-expm1-u_binary64
407×expm1-log1p-u_binary64
401×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
11025
210725
Stop Event
1×node limit
Counts
1 → 21
Calls
Call 1
Inputs
(fma.f64 841/108 x 4/29)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 4/29 (*.f64 841/108 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 841/108 x) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 841/108 x) 1) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 841/108 x 4/29)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 841/108 x 4/29) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 841/108 x 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) (cbrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 2)) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) (sqrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 841/108 x) 3) 64/24389) (+.f64 (*.f64 (*.f64 841/108 x) (*.f64 841/108 x)) (-.f64 16/841 (*.f64 (*.f64 841/108 x) 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 841/108 x) (*.f64 841/108 x)) 16/841) (-.f64 (*.f64 841/108 x) 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 841/108 x 4/29) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 841/108 x 4/29)))))))

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
2×fma-def_binary64
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0672
1854
21054
Stop Event
1×saturated
Counts
33 → 24
Calls
Call 1
Inputs
4/29
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
(*.f64 841/108 x)
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
(*.f64 841/108 x)
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
(+.f64 4/29 (*.f64 841/108 x))
Outputs
4/29
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(*.f64 841/108 x)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(*.f64 841/108 x)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)
(+.f64 4/29 (*.f64 841/108 x))
(fma.f64 841/108 x 4/29)

prune18.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New22224
Fresh000
Picked011
Done000
Total22325
Error
0.0b
Counts
25 → 3
Alt Table
StatusErrorProgram
▶1.7b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
28.1b
(pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3) 1/3)
✓0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 226 to 190 computations (15.9% saved)

localize4.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.1b
(fma.f64 841/108 x 4/29)
✓0.8b
(cbrt.f64 (fma.f64 841/108 x 4/29))
✓0.9b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)

series7.0ms (0.4%)

Counts
2 → 8
Calls

6 calls:

TimeVariablePointExpression
3.0ms
x
@0
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
1.0ms
x
@inf
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
1.0ms
x
@-inf
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
1.0ms
x
@0
(cbrt.f64 (fma.f64 841/108 x 4/29))
0.0ms
x
@inf
(cbrt.f64 (fma.f64 841/108 x 4/29))

rewrite39.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
604×pow1_binary64
575×add-log-exp_binary64
575×log1p-expm1-u_binary64
575×expm1-log1p-u_binary64
70×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
117012
2157912
Stop Event
1×node limit
Counts
2 → 46
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
(cbrt.f64 (fma.f64 841/108 x 4/29))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 4/29 (*.f64 841/108 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 841/108 x) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 841/108 x) 1) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 841/108 x 4/29))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 841/108 x 4/29) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 841/108 x 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) (sqrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (*.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) 3) (pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) 1) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) (pow.f64 (fma.f64 841/108 x 4/29) 1/6)) (pow.f64 (fma.f64 841/108 x 4/29) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 841/108 x) 3) 64/24389) (+.f64 (*.f64 (*.f64 841/108 x) (*.f64 841/108 x)) (-.f64 16/841 (*.f64 (*.f64 841/108 x) 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 841/108 x) (*.f64 841/108 x)) 16/841) (-.f64 (*.f64 841/108 x) 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 841/108 x 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 841/108 x 4/29)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (pow.f64 (fma.f64 841/108 x 4/29) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 1/3) (pow.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 841/108 x 4/29) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))))

simplify29.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
733×times-frac_binary64
467×fma-neg_binary64
299×unswap-sqr_binary64
242×distribute-rgt-neg-in_binary64
238×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
062270
1180268
2575259
32601257
Stop Event
1×node limit
Counts
54 → 60
Calls
Call 1
Inputs
4/29
(+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) 4/29)
(-.f64 (+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) (+.f64 4/29 (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3))))) (*.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2))))
(-.f64 (+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) (+.f64 4/29 (+.f64 (*.f64 14507145975869/33059881728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) (pow.f64 x 4))) (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3)))))) (+.f64 (*.f64 500246412961/8264970432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11)) 1/3) (pow.f64 x 4))) (*.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)))))
(cbrt.f64 4/29)
(+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29))
(-.f64 (+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29)) (*.f64 707281/104976 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)) 1/3) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 2974116605/102036672 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 4))) (+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29))) (*.f64 707281/104976 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)) 1/3) (pow.f64 x 2))))
Outputs
4/29
(+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) 4/29)
(fma.f64 841/108 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 4/29) 4)) x) 4/29)
(fma.f64 841/108 (*.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) x) 4/29)
(fma.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) (*.f64 841/108 x) 4/29)
(-.f64 (+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) (+.f64 4/29 (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3))))) (*.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2))))
(+.f64 (+.f64 (fma.f64 841/108 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 4/29) 4)) x) 4/29) (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3)))) (*.f64 -594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2))))
(+.f64 (fma.f64 (*.f64 841/108 (cbrt.f64 (pow.f64 (cbrt.f64 4/29) 4))) x (fma.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3)) 4/29)) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) -594823321/25509168))
(fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) -594823321/25509168 (fma.f64 841/108 (*.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) x) (fma.f64 (cbrt.f64 4/29) (*.f64 17249876309/102036672 (pow.f64 x 3)) 4/29)))
(fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) -594823321/25509168 (fma.f64 (cbrt.f64 4/29) (*.f64 17249876309/102036672 (pow.f64 x 3)) (fma.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) (*.f64 841/108 x) 4/29)))
(-.f64 (+.f64 (*.f64 841/108 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 4/29) 4) 1/3) x)) (+.f64 4/29 (+.f64 (*.f64 14507145975869/33059881728 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) (pow.f64 x 4))) (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3)))))) (+.f64 (*.f64 500246412961/8264970432 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11)) 1/3) (pow.f64 x 4))) (*.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)))))
(-.f64 (+.f64 (fma.f64 841/108 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 4/29) 4)) x) 4/29) (fma.f64 14507145975869/33059881728 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) (pow.f64 x 4)) (*.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3))))) (fma.f64 500246412961/8264970432 (*.f64 (pow.f64 x 4) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11)))) (*.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)))))
(+.f64 (fma.f64 841/108 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 4/29) 4)) x) 4/29) (-.f64 (fma.f64 17249876309/102036672 (*.f64 (cbrt.f64 4/29) (pow.f64 x 3)) (*.f64 14507145975869/33059881728 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) (pow.f64 x 4)))) (fma.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) (*.f64 (pow.f64 x 4) (*.f64 500246412961/8264970432 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11))))))))
(-.f64 (fma.f64 841/108 (*.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) x) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) (*.f64 14507145975869/33059881728 (pow.f64 x 4)) (fma.f64 (cbrt.f64 4/29) (*.f64 17249876309/102036672 (pow.f64 x 3)) 4/29))) (fma.f64 594823321/25509168 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11))) (*.f64 (pow.f64 x 4) 500246412961/8264970432))))
(+.f64 (fma.f64 (cbrt.f64 4/29) (*.f64 17249876309/102036672 (pow.f64 x 3)) (fma.f64 (cbrt.f64 (*.f64 4/29 (cbrt.f64 4/29))) (*.f64 841/108 x) 4/29)) (fma.f64 14507145975869/33059881728 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) (pow.f64 x 4)) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 11))) (*.f64 (pow.f64 x 4) -500246412961/8264970432) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 2)) -594823321/25509168))))
(cbrt.f64 4/29)
(+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29))
(fma.f64 841/324 (*.f64 x (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)))) (cbrt.f64 4/29))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) x (cbrt.f64 4/29))
(fma.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) (cbrt.f64 4/29))
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) (*.f64 x 841/324) (cbrt.f64 4/29))
(-.f64 (+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29)) (*.f64 707281/104976 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)) 1/3) (pow.f64 x 2))))
(+.f64 (fma.f64 841/324 (*.f64 x (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)))) (cbrt.f64 4/29)) (*.f64 -707281/104976 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) (*.f64 x x))))
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) x (cbrt.f64 4/29)) (*.f64 (*.f64 -707281/104976 (*.f64 x x)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)))))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) (*.f64 x x)) -707281/104976 (fma.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) (cbrt.f64 4/29)))
(+.f64 (cbrt.f64 4/29) (*.f64 x (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324 (*.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) -707281/104976)))))
(-.f64 (+.f64 (*.f64 2974116605/102036672 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 4))) (+.f64 (*.f64 841/324 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)) 1/3) x)) (cbrt.f64 4/29))) (*.f64 707281/104976 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)) 1/3) (pow.f64 x 2))))
(+.f64 (fma.f64 2974116605/102036672 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 4)) (fma.f64 841/324 (*.f64 x (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2)))) (cbrt.f64 4/29))) (*.f64 -707281/104976 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) (*.f64 x x))))
(+.f64 (fma.f64 2974116605/102036672 (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 4/29) 4)) (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) x (cbrt.f64 4/29))) (*.f64 (*.f64 -707281/104976 (*.f64 x x)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7)))))
(+.f64 (*.f64 (/.f64 (pow.f64 x 3) (cbrt.f64 4/29)) 86249381545/408146688) (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) (*.f64 x x)) -707281/104976 (fma.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324) (cbrt.f64 4/29))))
(+.f64 (cbrt.f64 4/29) (+.f64 (*.f64 x (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 2))) 841/324 (*.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 4/29) 7))) -707281/104976)))) (*.f64 (/.f64 (pow.f64 x 3) (cbrt.f64 4/29)) 86249381545/408146688)))

prune49.0ms (2.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New83184
Fresh011
Picked011
Done011
Total83487
Error
0.0b
Counts
87 → 4
Alt Table
StatusErrorProgram
✓1.7b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
28.1b
(pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3) 1/3)
▶1.5b
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 1232 to 1092 computations (11.4% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.3b
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)
✓0.4b
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
0.8b
(cbrt.f64 (fma.f64 841/108 x 4/29))

series11.0ms (0.6%)

Counts
3 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
x
@inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
2.0ms
x
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
2.0ms
x
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
2.0ms
x
@inf
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))
1.0ms
x
@inf
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)

rewrite44.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
782×log1p-expm1-u_binary64
782×expm1-log1p-u_binary64
101×add-sqr-sqrt_binary64
97×add-cube-cbrt_binary64
97×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01133
123231
2228331
Stop Event
1×node limit
Counts
3 → 68
Calls
Call 1
Inputs
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 3)
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)
(cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) (cbrt.f64 (fma.f64 841/108 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 841/108 x 4/29)) (pow.f64 (fma.f64 841/108 x 4/29) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (*.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 6) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 6) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 1) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 12))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 841/108 x 4/29) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) (*.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2)) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) 1/3) (pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 1/6) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 841/108 x 4/29) 1/9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 1))))))

simplify41.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
585×fma-def_binary64
443×associate-*r*_binary64
381×associate-*l*_binary64
290×times-frac_binary64
236×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01491817
14431727
214371341
Stop Event
1×node limit
Counts
104 → 140
Calls
Call 1
Inputs
(pow.f64 4096/594823321 1/9)
(+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (pow.f64 4096/594823321 1/9))
(-.f64 (+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (pow.f64 4096/594823321 1/9)) (*.f64 594823321/1679616 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (+.f64 (*.f64 14507145975869/1632586752 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 3))) (pow.f64 4096/594823321 1/9))) (*.f64 594823321/1679616 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6)
(+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6))
(-.f64 (+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6)) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (+.f64 (*.f64 3981312/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6)
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x)))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 3981312/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 3))) (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x)))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 2))))
(pow.f64 16/841 1/9)
(+.f64 (pow.f64 16/841 1/9) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x)))
(-.f64 (+.f64 (pow.f64 16/841 1/9) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x))) (*.f64 4163763247/15116544 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 2))))
(-.f64 (+.f64 (pow.f64 16/841 1/9) (+.f64 (*.f64 101550021831083/11019960576 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 3))) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x)))) (*.f64 4163763247/15116544 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2)
(+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2))
(-.f64 (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2)) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (+.f64 (*.f64 4128768/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2)
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x)))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 2))))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x)) (*.f64 4128768/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 3))))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 2))))
(pow.f64 4/29 1/9)
(+.f64 (pow.f64 4/29 1/9) (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x)))
(-.f64 (+.f64 (pow.f64 4/29 1/9) (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x))) (*.f64 594823321/3779136 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 2))))
(-.f64 (+.f64 (pow.f64 4/29 1/9) (+.f64 (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x)) (*.f64 246621481589773/44079842304 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 3))))) (*.f64 594823321/3779136 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 2))))
(exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x)))))
(+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x)))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (+.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (*.f64 2506752/14507145975869 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 3))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 2))))
(exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))
(+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 2506752/14507145975869 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 3))) (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 2))))
Outputs
(pow.f64 4096/594823321 1/9)
(*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18))
(+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (pow.f64 4096/594823321 1/9))
(fma.f64 24389/648 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) x) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)))
(fma.f64 24389/648 (*.f64 (*.f64 x (pow.f64 4096/594823321 1/18)) (pow.f64 4096/594823321 1/18)) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)))
(*.f64 (+.f64 (*.f64 24389/648 x) 1) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)))
(-.f64 (+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (pow.f64 4096/594823321 1/9)) (*.f64 594823321/1679616 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 2))))
(+.f64 (fma.f64 24389/648 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) x) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18))) (*.f64 -594823321/1679616 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (*.f64 x x))))
(fma.f64 24389/648 (*.f64 (*.f64 x (pow.f64 4096/594823321 1/18)) (pow.f64 4096/594823321 1/18)) (fma.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18) (*.f64 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (*.f64 x x)) -594823321/1679616)))
(fma.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18) (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (-.f64 (*.f64 24389/648 x) (*.f64 594823321/1679616 (*.f64 x x)))))
(-.f64 (+.f64 (*.f64 24389/648 (*.f64 (pow.f64 4096/594823321 1/9) x)) (+.f64 (*.f64 14507145975869/1632586752 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 3))) (pow.f64 4096/594823321 1/9))) (*.f64 594823321/1679616 (*.f64 (pow.f64 4096/594823321 1/9) (pow.f64 x 2))))
(+.f64 (fma.f64 24389/648 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) x) (fma.f64 14507145975869/1632586752 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (pow.f64 x 3)) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)))) (*.f64 -594823321/1679616 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (*.f64 x x))))
(+.f64 (fma.f64 24389/648 (*.f64 (*.f64 x (pow.f64 4096/594823321 1/18)) (pow.f64 4096/594823321 1/18)) (fma.f64 14507145975869/1632586752 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (pow.f64 x 3)) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)))) (*.f64 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (*.f64 x x)) -594823321/1679616))
(+.f64 (*.f64 (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18)) (+.f64 (*.f64 (pow.f64 x 3) 14507145975869/1632586752) (*.f64 x 24389/648))) (*.f64 (+.f64 (*.f64 (*.f64 -594823321/1679616 x) x) 1) (*.f64 (pow.f64 4096/594823321 1/18) (pow.f64 4096/594823321 1/18))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6)
(+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6))
(fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6))
(fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6))
(-.f64 (+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6)) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 2))))
(+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6)) (*.f64 -20736/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) (*.f64 x x))))
(+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) (*.f64 x x)) -20736/594823321))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x) (-.f64 288/24389 (/.f64 20736/594823321 x))))
(-.f64 (+.f64 (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) x)) (+.f64 (*.f64 3981312/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 6) (pow.f64 x 2))))
(+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) x) (fma.f64 3981312/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6))) (*.f64 -20736/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 6) (*.f64 x x))))
(fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x) (-.f64 (fma.f64 3981312/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6)) (*.f64 (/.f64 20736/594823321 x) (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x))))
(+.f64 (fma.f64 3981312/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 6) x) (-.f64 288/24389 (/.f64 20736/594823321 x))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6)
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x)))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x)))
(fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 2))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (-.f64 (*.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x)) (*.f64 20736/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 x x)))))
(+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 x x)) -20736/594823321))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x) (-.f64 288/24389 (/.f64 20736/594823321 x))))
(-.f64 (+.f64 (*.f64 3981312/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 3))) (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) x)))) (*.f64 20736/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 6) (pow.f64 x 2))))
(+.f64 (fma.f64 3981312/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (pow.f64 x 3)) (+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x)))) (*.f64 -20736/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 x x))))
(fma.f64 3981312/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (pow.f64 x 3)) (+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 x x)) -20736/594823321)))
(+.f64 (fma.f64 288/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 6) (*.f64 x x)) (-.f64 (/.f64 3981312/14507145975869 x) 20736/594823321)))
(pow.f64 16/841 1/9)
(*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))
(+.f64 (pow.f64 16/841 1/9) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x)))
(+.f64 (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)) (*.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)))))
(fma.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)))
(*.f64 (+.f64 (*.f64 24389/1944 x) 1) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)))
(-.f64 (+.f64 (pow.f64 16/841 1/9) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x))) (*.f64 4163763247/15116544 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)) (-.f64 (*.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)))) (*.f64 4163763247/15116544 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))))))
(fma.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18) (fma.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))) (*.f64 (*.f64 (*.f64 x (pow.f64 16/841 1/18)) (*.f64 x (pow.f64 16/841 1/18))) -4163763247/15116544)))
(fma.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18) (*.f64 (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)) (+.f64 (*.f64 24389/1944 x) (*.f64 (*.f64 -4163763247/15116544 x) x))))
(-.f64 (+.f64 (pow.f64 16/841 1/9) (+.f64 (*.f64 101550021831083/11019960576 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 3))) (*.f64 24389/1944 (*.f64 (pow.f64 16/841 1/9) x)))) (*.f64 4163763247/15116544 (*.f64 (pow.f64 16/841 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)) (-.f64 (fma.f64 101550021831083/11019960576 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))) (*.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))))) (*.f64 4163763247/15116544 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))))))
(+.f64 (fma.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18) (fma.f64 24389/1944 (*.f64 x (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))) (*.f64 (pow.f64 x 3) (*.f64 (*.f64 101550021831083/11019960576 (pow.f64 16/841 1/18)) (pow.f64 16/841 1/18))))) (*.f64 (*.f64 (*.f64 x (pow.f64 16/841 1/18)) (*.f64 x (pow.f64 16/841 1/18))) -4163763247/15116544))
(+.f64 (*.f64 (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18)) (+.f64 (*.f64 24389/1944 x) (*.f64 101550021831083/11019960576 (pow.f64 x 3)))) (*.f64 (+.f64 (*.f64 (*.f64 -4163763247/15116544 x) x) 1) (*.f64 (pow.f64 16/841 1/18) (pow.f64 16/841 1/18))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2)
(exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9))
(+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2))
(fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2))
(fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2))
(fma.f64 96/24389 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)) x) (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)))
(-.f64 (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2)) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 2))))
(-.f64 (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2)) (*.f64 16128/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) (*.f64 x x))))
(-.f64 (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2)) (*.f64 (/.f64 16128/594823321 x) (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) x)))
(+.f64 (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)) (*.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)) x) (-.f64 96/24389 (/.f64 16128/594823321 x))))
(-.f64 (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) x)) (+.f64 (*.f64 4128768/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 2) (pow.f64 x 2))))
(+.f64 (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) x) (fma.f64 4128768/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2))) (*.f64 -16128/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 2) (*.f64 x x))))
(+.f64 (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) x) (fma.f64 4128768/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2))) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 2) (*.f64 x x)) -16128/594823321))
(+.f64 (fma.f64 4128768/14507145975869 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)) (pow.f64 x 3)) (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9))) (*.f64 (/.f64 (exp.f64 (*.f64 (+.f64 (log.f64 841/108) (log.f64 x)) 2/9)) x) (-.f64 96/24389 (/.f64 16128/594823321 x))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2)
(exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9))
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x)))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (*.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x)))
(fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2))
(fma.f64 96/24389 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)) x) (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 2))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (-.f64 (*.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x)) (*.f64 16128/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (*.f64 x x)))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (*.f64 x x)) -16128/594823321)))
(+.f64 (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)) (*.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)) x) (-.f64 96/24389 (/.f64 16128/594823321 x))))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (+.f64 (*.f64 96/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) x)) (*.f64 4128768/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 3))))) (*.f64 16128/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 2) (pow.f64 x 2))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (-.f64 (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x) (*.f64 4128768/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (pow.f64 x 3)))) (*.f64 16128/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (*.f64 x x)))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (+.f64 (/.f64 (*.f64 4128768/14507145975869 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2)) (pow.f64 x 3)) (fma.f64 96/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) x) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 2) (*.f64 x x)) -16128/594823321))))
(+.f64 (fma.f64 96/24389 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)) x) (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9))) (*.f64 (/.f64 (exp.f64 (*.f64 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))) 2/9)) (*.f64 x x)) (-.f64 (/.f64 4128768/14507145975869 x) 16128/594823321)))
(pow.f64 4/29 1/9)
(*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))
(+.f64 (pow.f64 4/29 1/9) (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x)))
(+.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (*.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)))))
(fma.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)))
(*.f64 (+.f64 (*.f64 24389/3888 x) 1) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)))
(-.f64 (+.f64 (pow.f64 4/29 1/9) (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x))) (*.f64 594823321/3779136 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (-.f64 (*.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)))) (*.f64 594823321/3779136 (*.f64 (*.f64 x x) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))))))
(fma.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18) (fma.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))) (*.f64 (*.f64 (pow.f64 4/29 1/18) (*.f64 (pow.f64 4/29 1/18) (*.f64 x x))) -594823321/3779136)))
(fma.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18) (*.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (-.f64 (*.f64 24389/3888 x) (*.f64 (*.f64 594823321/3779136 x) x))))
(-.f64 (+.f64 (pow.f64 4/29 1/9) (+.f64 (*.f64 24389/3888 (*.f64 (pow.f64 4/29 1/9) x)) (*.f64 246621481589773/44079842304 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 3))))) (*.f64 594823321/3779136 (*.f64 (pow.f64 4/29 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (-.f64 (fma.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))) (*.f64 246621481589773/44079842304 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))))) (*.f64 594823321/3779136 (*.f64 (*.f64 x x) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))))))
(+.f64 (fma.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18) (fma.f64 24389/3888 (*.f64 x (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))) (*.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (*.f64 (pow.f64 x 3) 246621481589773/44079842304)))) (*.f64 (*.f64 (pow.f64 4/29 1/18) (*.f64 (pow.f64 4/29 1/18) (*.f64 x x))) -594823321/3779136))
(+.f64 (*.f64 (+.f64 (*.f64 24389/3888 x) 1) (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18))) (*.f64 (*.f64 (pow.f64 4/29 1/18) (pow.f64 4/29 1/18)) (-.f64 (*.f64 246621481589773/44079842304 (pow.f64 x 3)) (*.f64 (*.f64 594823321/3779136 x) x))))
(exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x)))))
(pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x))))
(pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x)))
(+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))))
(fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))))
(fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) x) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x)))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 2))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x))))) (*.f64 -9216/594823321 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) (*.f64 x x))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) x) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x)))) (/.f64 (*.f64 -9216/594823321 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x)))) (*.f64 x x)))
(+.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) x) (-.f64 48/24389 (/.f64 9216/594823321 x))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) x)) (+.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (*.f64 2506752/14507145975869 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 3))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) (pow.f64 x 2))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) x) (+.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) (*.f64 2506752/14507145975869 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) (pow.f64 x 3))))) (*.f64 -9216/594823321 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) (*.f64 x x))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) x) (fma.f64 2506752/14507145975869 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))))) (/.f64 (*.f64 -9216/594823321 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x)))) (*.f64 x x)))
(fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) x) (+.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) (*.f64 x x)) (-.f64 (/.f64 2506752/14507145975869 x) 9216/594823321))))
(exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))
(pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))
(+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))))
(fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))
(-.f64 (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 2))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (*.f64 -9216/594823321 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 x x))))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 x x)) -9216/594823321))
(+.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (-.f64 48/24389 (/.f64 9216/594823321 x))))
(-.f64 (+.f64 (*.f64 2506752/14507145975869 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 3))) (+.f64 (*.f64 48/24389 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) x)) (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))))) (*.f64 9216/594823321 (/.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (pow.f64 x 2))))
(+.f64 (fma.f64 2506752/14507145975869 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (pow.f64 x 3)) (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))) (*.f64 -9216/594823321 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 x x))))
(+.f64 (fma.f64 2506752/14507145975869 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (pow.f64 x 3)) (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 x x)) -9216/594823321))
(+.f64 (fma.f64 48/24389 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) x) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) (*.f64 x x)) (-.f64 (/.f64 2506752/14507145975869 x) 9216/594823321)))

prune179.0ms (10.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1922194
Fresh011
Picked101
Done022
Total1935198
Error
0.0b
Counts
198 → 5
Alt Table
StatusErrorProgram
▶1.6b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓1.7b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
28.1b
(pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3) 1/3)
2.1b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 5385 to 4745 computations (11.9% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))
✓0.4b
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3)
0.8b
(cbrt.f64 (fma.f64 841/108 x 4/29))
✓1.0b
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)

series11.0ms (0.6%)

Counts
3 → 36
Calls

9 calls:

TimeVariablePointExpression
2.0ms
x
@inf
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3)
2.0ms
x
@0
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)
1.0ms
x
@-inf
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3)
1.0ms
x
@0
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3)
1.0ms
x
@inf
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)

rewrite50.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
805×log1p-expm1-u_binary64
805×expm1-log1p-u_binary64
101×add-sqr-sqrt_binary64
99×add-cube-cbrt_binary64
99×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01238
124938
2235638
Stop Event
1×node limit
Counts
3 → 69
Calls
Call 1
Inputs
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3)
(cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 4) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))) 3) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 3) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) 1) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 4 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 4 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 4) (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 1/6) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))) 3) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 3) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) 1) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 4 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 4 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 1/3) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 4 (log.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4))) 1))))))

simplify46.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
597×fma-def_binary64
408×associate-*l*_binary64
352×times-frac_binary64
290×associate-/l*_binary64
213×associate-/r*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01521933
14651843
215591421
Stop Event
1×node limit
Counts
105 → 118
Calls
Call 1
Inputs
(pow.f64 256/707281 1/9)
(+.f64 (pow.f64 256/707281 1/9) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x)))
(-.f64 (+.f64 (pow.f64 256/707281 1/9) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 2))))
(-.f64 (+.f64 (pow.f64 256/707281 1/9) (+.f64 (*.f64 507750109155415/44079842304 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 3))) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x)))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4)
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x)))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 3))) (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x)))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 2))))
(pow.f64 16777216/353814783205469041 1/27)
(+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (pow.f64 16777216/353814783205469041 1/27))
(-.f64 (+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (pow.f64 16777216/353814783205469041 1/27)) (*.f64 2974116605/7558272 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (+.f64 (pow.f64 16777216/353814783205469041 1/27) (*.f64 507750109155415/44079842304 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 3))))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (+.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 3))))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 2))))
(pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 3))) (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 2))))
(pow.f64 256/707281 1/27)
(+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x)))
(-.f64 (+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x))) (*.f64 13680936383/68024448 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 8341608936124675/1190155742208 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 3))) (+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x)))) (*.f64 13680936383/68024448 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 2))))
(exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x))))))
(+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (+.f64 (*.f64 9420800/43521437927607 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 3))) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 2))))
(exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x))))))
(+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (+.f64 (*.f64 9420800/43521437927607 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 3))) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 2))))
Outputs
(pow.f64 256/707281 1/9)
(*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18))
(+.f64 (pow.f64 256/707281 1/9) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x)))
(+.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (*.f64 24389/972 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) x)))
(fma.f64 24389/972 (*.f64 (*.f64 x (pow.f64 256/707281 1/18)) (pow.f64 256/707281 1/18)) (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)))
(*.f64 (+.f64 (*.f64 24389/972 x) 1) (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)))
(-.f64 (+.f64 (pow.f64 256/707281 1/9) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (-.f64 (*.f64 24389/972 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) x)) (*.f64 2974116605/7558272 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (*.f64 x x)))))
(fma.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18) (fma.f64 24389/972 (*.f64 (*.f64 x (pow.f64 256/707281 1/18)) (pow.f64 256/707281 1/18)) (*.f64 (*.f64 (*.f64 x (pow.f64 256/707281 1/18)) (*.f64 x (pow.f64 256/707281 1/18))) -2974116605/7558272)))
(fma.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18) (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (+.f64 (*.f64 24389/972 x) (*.f64 -2974116605/7558272 (*.f64 x x)))))
(-.f64 (+.f64 (pow.f64 256/707281 1/9) (+.f64 (*.f64 507750109155415/44079842304 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 3))) (*.f64 24389/972 (*.f64 (pow.f64 256/707281 1/9) x)))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 256/707281 1/9) (pow.f64 x 2))))
(+.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (-.f64 (fma.f64 507750109155415/44079842304 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (pow.f64 x 3)) (*.f64 24389/972 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) x))) (*.f64 2974116605/7558272 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (*.f64 x x)))))
(+.f64 (fma.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18) (fma.f64 24389/972 (*.f64 (*.f64 x (pow.f64 256/707281 1/18)) (pow.f64 256/707281 1/18)) (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (*.f64 (pow.f64 x 3) 507750109155415/44079842304)))) (*.f64 (*.f64 (*.f64 x (pow.f64 256/707281 1/18)) (*.f64 x (pow.f64 256/707281 1/18))) -2974116605/7558272))
(+.f64 (*.f64 (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18)) (+.f64 (*.f64 24389/972 x) (*.f64 507750109155415/44079842304 (pow.f64 x 3)))) (*.f64 (+.f64 (*.f64 -2974116605/7558272 (*.f64 x x)) 1) (*.f64 (pow.f64 256/707281 1/18) (pow.f64 256/707281 1/18))))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4)
(pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4)
(+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x)))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) x)))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4))
(-.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 2))))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (-.f64 (*.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) x)) (*.f64 23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (*.f64 x x)))))
(-.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4)) (*.f64 (/.f64 23040/594823321 x) (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x)))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x) (-.f64 192/24389 (/.f64 23040/594823321 x))))
(-.f64 (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 3))) (+.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) x)))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 841/108) (log.f64 (/.f64 1 x))))) 4) (pow.f64 x 2))))
(+.f64 (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (pow.f64 x 3)) (+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (*.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) x)))) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 841/108) (neg.f64 (log.f64 x)))) 4) (*.f64 x x))))
(-.f64 (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) (pow.f64 x 3)) (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4))) (*.f64 (/.f64 23040/594823321 x) (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x)))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 841/108) (log.f64 x))) 4) (*.f64 x x)) (-.f64 (/.f64 5160960/14507145975869 x) 23040/594823321)))
(pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4)
(pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 2))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4)) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (*.f64 x x))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (*.f64 x x)) -23040/594823321))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (-.f64 192/24389 (/.f64 23040/594823321 x))))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) x)) (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 3))) (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/9 (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x))))) 4) (pow.f64 x 2))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4))) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (*.f64 x x))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4))) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (*.f64 x x)) -23040/594823321))
(+.f64 (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 -841/108) (log.f64 (/.f64 -1 x)))) 4) x) (-.f64 192/24389 (/.f64 23040/594823321 x))))
(pow.f64 16777216/353814783205469041 1/27)
(*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))
(+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (pow.f64 16777216/353814783205469041 1/27))
(fma.f64 24389/972 (*.f64 x (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)))
(*.f64 (+.f64 (*.f64 24389/972 x) 1) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)))
(-.f64 (+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (pow.f64 16777216/353814783205469041 1/27)) (*.f64 2974116605/7558272 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 2))))
(+.f64 (fma.f64 24389/972 (*.f64 x (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 -2974116605/7558272 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)))))
(fma.f64 24389/972 (*.f64 x (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (fma.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54) (*.f64 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) -2974116605/7558272)))
(fma.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54) (*.f64 (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)) (+.f64 (*.f64 24389/972 x) (*.f64 -2974116605/7558272 (*.f64 x x)))))
(-.f64 (+.f64 (*.f64 24389/972 (*.f64 (pow.f64 16777216/353814783205469041 1/27) x)) (+.f64 (pow.f64 16777216/353814783205469041 1/27) (*.f64 507750109155415/44079842304 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 3))))) (*.f64 2974116605/7558272 (*.f64 (pow.f64 16777216/353814783205469041 1/27) (pow.f64 x 2))))
(+.f64 (+.f64 (fma.f64 24389/972 (*.f64 x (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 507750109155415/44079842304 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))))) (*.f64 -2974116605/7558272 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)))))
(+.f64 (fma.f64 24389/972 (*.f64 x (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (fma.f64 507750109155415/44079842304 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)))) (*.f64 (*.f64 (*.f64 x x) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) -2974116605/7558272))
(+.f64 (*.f64 (+.f64 (*.f64 24389/972 x) 1) (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54))) (*.f64 (*.f64 (pow.f64 16777216/353814783205469041 1/54) (pow.f64 16777216/353814783205469041 1/54)) (+.f64 (*.f64 507750109155415/44079842304 (pow.f64 x 3)) (*.f64 -2974116605/7558272 (*.f64 x x)))))
(pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 2))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3)) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) (*.f64 x x))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) (*.f64 x x)) -23040/594823321))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3) x) (-.f64 192/24389 (/.f64 23040/594823321 x))))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) x)) (+.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 3))))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) 3) (pow.f64 x 2))))
(+.f64 (+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3)) (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) (pow.f64 x 3)))) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) 3) (*.f64 x x))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) x) (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) (pow.f64 x 3)) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3))) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) 3) (*.f64 x x)) -23040/594823321))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) 3) (*.f64 x x)) (-.f64 (/.f64 5160960/14507145975869 x) 23040/594823321)))
(pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3)
(pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3)
(+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3))
(fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3))
(-.f64 (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3)) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 2))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3)) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) (*.f64 x x))))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) (*.f64 x x)) -23040/594823321))
(+.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3) x) (-.f64 192/24389 (/.f64 23040/594823321 x))))
(-.f64 (+.f64 (*.f64 5160960/14507145975869 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 3))) (+.f64 (*.f64 192/24389 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) x)) (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3))) (*.f64 23040/594823321 (/.f64 (pow.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) 3) (pow.f64 x 2))))
(+.f64 (fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) (pow.f64 x 3)) (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3))) (*.f64 -23040/594823321 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) 3) (*.f64 x x))))
(fma.f64 5160960/14507145975869 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) (pow.f64 x 3)) (+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) 3) (*.f64 x x)) -23040/594823321)))
(+.f64 (fma.f64 192/24389 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3) x) (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3)) (*.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) 3) (*.f64 x x)) (-.f64 (/.f64 5160960/14507145975869 x) 23040/594823321)))
(pow.f64 256/707281 1/27)
(*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))
(+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x)))
(+.f64 (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)) (*.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))))
(fma.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))
(*.f64 (+.f64 (*.f64 24389/2916 x) 1) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))
(-.f64 (+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x))) (*.f64 13680936383/68024448 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 2))))
(-.f64 (+.f64 (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)) (*.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))))) (*.f64 13680936383/68024448 (*.f64 (*.f64 x x) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))))
(fma.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54) (fma.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (*.f64 (*.f64 x (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))) -13680936383/68024448)))
(fma.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54) (*.f64 (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)) (-.f64 (*.f64 24389/2916 x) (*.f64 13680936383/68024448 (*.f64 x x)))))
(-.f64 (+.f64 (*.f64 8341608936124675/1190155742208 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 3))) (+.f64 (pow.f64 256/707281 1/27) (*.f64 24389/2916 (*.f64 (pow.f64 256/707281 1/27) x)))) (*.f64 13680936383/68024448 (*.f64 (pow.f64 256/707281 1/27) (pow.f64 x 2))))
(+.f64 (fma.f64 8341608936124675/1190155742208 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (+.f64 (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)) (*.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))))) (*.f64 -13680936383/68024448 (*.f64 (*.f64 x x) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))))
(fma.f64 8341608936124675/1190155742208 (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (fma.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54) (fma.f64 24389/2916 (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (*.f64 (*.f64 x (*.f64 x (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)))) -13680936383/68024448))))
(+.f64 (*.f64 (+.f64 (*.f64 24389/2916 x) 1) (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54))) (*.f64 (*.f64 (pow.f64 256/707281 1/54) (pow.f64 256/707281 1/54)) (-.f64 (*.f64 8341608936124675/1190155742208 (pow.f64 x 3)) (*.f64 13680936383/68024448 (*.f64 x x)))))
(exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x))))))
(pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4)))
(pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x))))
(pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896)))
(+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) x) (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) x) (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 2))))
(-.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) x) (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4)))) (*.f64 11776/594823321 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) (*.f64 x x))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x))))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) (*.f64 x x)) -11776/594823321))
(+.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) x) (-.f64 64/24389 (/.f64 11776/594823321 x))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) x)) (+.f64 (*.f64 9420800/43521437927607 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 3))) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 1 x)))))) (pow.f64 x 2))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) x) (fma.f64 9420800/43521437927607 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))))) (*.f64 -11776/594823321 (/.f64 (pow.f64 (exp.f64 1/27) (-.f64 (log.f64 500246412961/136048896) (*.f64 (neg.f64 (log.f64 x)) 4))) (*.f64 x x))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) x) (fma.f64 9420800/43521437927607 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 x)))) (*.f64 x x)) -11776/594823321))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) x) (+.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 4 (log.f64 x) (log.f64 500246412961/136048896))) (*.f64 x x)) (-.f64 (/.f64 9420800/43521437927607 x) 11776/594823321))))
(exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x)))))
(pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4)))
(pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896)))
(+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) x) (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 2))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x)))))) (*.f64 -11776/594823321 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) (*.f64 x x))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) x) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4)))) (/.f64 (*.f64 -11776/594823321 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4)))) (*.f64 x x)))
(+.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) x) (-.f64 64/24389 (/.f64 11776/594823321 x))))
(-.f64 (+.f64 (*.f64 64/24389 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) x)) (+.f64 (*.f64 9420800/43521437927607 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 3))) (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))))) (*.f64 11776/594823321 (/.f64 (exp.f64 (*.f64 1/27 (-.f64 (log.f64 500246412961/136048896) (*.f64 4 (log.f64 (/.f64 -1 x)))))) (pow.f64 x 2))))
(+.f64 (fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) x) (fma.f64 9420800/43521437927607 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))))) (*.f64 -11776/594823321 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 -4 (log.f64 (/.f64 -1 x))))) (*.f64 x x))))
(fma.f64 64/24389 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) x) (+.f64 (fma.f64 9420800/43521437927607 (/.f64 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4)))) (/.f64 (*.f64 -11776/594823321 (pow.f64 (exp.f64 1/27) (+.f64 (log.f64 500246412961/136048896) (*.f64 (log.f64 (/.f64 -1 x)) -4)))) (*.f64 x x))))
(+.f64 (fma.f64 9420800/43521437927607 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) (pow.f64 x 3)) (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896)))) (*.f64 (/.f64 (pow.f64 (exp.f64 1/27) (fma.f64 (log.f64 (/.f64 -1 x)) -4 (log.f64 500246412961/136048896))) x) (-.f64 64/24389 (/.f64 11776/594823321 x))))

prune205.0ms (11.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1981199
Fresh022
Picked011
Done022
Total1986204
Error
0.0b
Counts
204 → 6
Alt Table
StatusErrorProgram
✓1.6b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 2)) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓1.7b
(pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 3)
28.1b
(pow.f64 (pow.f64 (fma.f64 841/108 x 4/29) 3) 1/3)
2.1b
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2)) 3) (cbrt.f64 (fma.f64 841/108 x 4/29)))
2.4b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))) 4)) 3) (pow.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 841/108 x 4/29)) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 841/108 x 4/29))))) 2)) (cbrt.f64 (fma.f64 841/108 x 4/29)))
✓0.1b
(fma.f64 841/108 x 4/29)
Compiler

Compiled 7695 to 6845 computations (11% saved)

regimes113.0ms (6.4%)

Accuracy

Total 0.0b remaining (27.3%)

Threshold costs 0.0b (27.3%)

Counts
36 → 1
Compiler

Compiled 644 to 568 computations (11.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
Stop Event
1×saturated
Calls
Call 1
Inputs
(fma.f64 841/108 x 4/29)
Outputs
(fma.f64 841/108 x 4/29)

end114.0ms (6.4%)

Stop Event
1×fuel
Compiler

Compiled 114 to 100 computations (12.3% saved)

Profiling

Loading profile data...