Details

Time bar (total: 2.7s)

analyze849.0ms (31%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
15.6%81.9%2.5%9
21.1%74.5%4.4%10
25.4%69.8%4.8%11
39.2%51.6%9.2%12
44.6%44%11.4%13
48.2%40.1%11.7%14
Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.1s (38.8%)

Results
942.0ms8256×body128valid
104.0ms935×body128invalid

preprocess33.0ms (1.2%)

Algorithm
2×egg-herbie
Rules
588×fma-def_binary64
308×distribute-rgt-in_binary64
281×fma-neg_binary64
248×div-sub_binary64
227×associate--r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03076
17068
217960
350360
4121760
5285952
033
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 y (*.f64 x 3/4)) z)) x))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 z (*.f64 y 3/4)) x)) y))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 z 3/4)) y)) z))
Outputs
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
(+.f64 1 (/.f64 (*.f64 4 (+.f64 x (-.f64 (*.f64 y 3/4) z))) y))
(+.f64 1 (*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 x) z)))
(fma.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 x) z) 1)
(fma.f64 (-.f64 (fma.f64 y 3/4 x) z) (/.f64 4 y) 1)
(fma.f64 4 (/.f64 (-.f64 (fma.f64 y 3/4 x) z) y) 1)
(+.f64 4 (*.f64 (/.f64 4 y) (-.f64 x z)))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 y (*.f64 x 3/4)) z)) x))
(+.f64 1 (/.f64 4 (/.f64 x (-.f64 (+.f64 y (*.f64 x 3/4)) z))))
(+.f64 1 (*.f64 (/.f64 4 x) (-.f64 (fma.f64 x 3/4 y) z)))
(fma.f64 (/.f64 4 x) (-.f64 (fma.f64 x 3/4 y) z) 1)
(fma.f64 (-.f64 (fma.f64 x 3/4 y) z) (/.f64 4 x) 1)
(+.f64 4 (*.f64 (/.f64 4 x) (-.f64 y z)))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 z (*.f64 y 3/4)) x)) y))
(+.f64 1 (/.f64 4 (/.f64 y (-.f64 (+.f64 (*.f64 y 3/4) z) x))))
(+.f64 1 (*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 z) x)))
(fma.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 z) x) 1)
(fma.f64 (-.f64 (fma.f64 y 3/4 z) x) (/.f64 4 y) 1)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 z x) y)))
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 z 3/4)) y)) z))
(+.f64 1 (/.f64 4 (/.f64 z (+.f64 x (-.f64 (*.f64 3/4 z) y)))))
(+.f64 1 (*.f64 (/.f64 4 z) (-.f64 (fma.f64 3/4 z x) y)))
(fma.f64 (/.f64 4 z) (-.f64 (fma.f64 3/4 z x) y) 1)
(fma.f64 (-.f64 (fma.f64 3/4 z x) y) (/.f64 4 z) 1)
(fma.f64 4 (/.f64 (-.f64 (fma.f64 3/4 z x) y) z) 1)
(+.f64 4 (*.f64 (/.f64 4 z) (-.f64 x y)))
Compiler

Compiled 16 to 12 computations (25% saved)

simplify30.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
708×fma-neg_binary64
598×times-frac_binary64
477×fma-def_binary64
280×distribute-rgt-in_binary64
277×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01319
12517
25515
314215
434215
573711
6144111
7268911
8449211
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
Outputs
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
(+.f64 1 (/.f64 4 (/.f64 y (+.f64 x (-.f64 (*.f64 y 3/4) z)))))
(+.f64 1 (*.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 x) z)))
(fma.f64 (/.f64 4 y) (-.f64 (fma.f64 y 3/4 x) z) 1)
(fma.f64 (-.f64 (fma.f64 y 3/4 x) z) (/.f64 4 y) 1)
(fma.f64 4 (/.f64 (-.f64 (fma.f64 y 3/4 x) z) y) 1)
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.1b
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
0.5b
(+.f64 1 (/.f64 (*.f64 4 (-.f64 (+.f64 x (*.f64 y 3/4)) z)) y))
Compiler

Compiled 78 to 57 computations (26.9% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

series5.0ms (0.2%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
1.0ms
y
@0
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
1.0ms
x
@inf
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
1.0ms
x
@0
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
1.0ms
y
@-inf
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
1.0ms
z
@0
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)

rewrite60.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
909×log1p-expm1-u_binary64
909×expm1-log1p-u_binary64
92×add-sqr-sqrt_binary64
89×*-un-lft-identity_binary64
89×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
117911
2239011
Stop Event
1×node limit
Counts
1 → 23
Calls
Call 1
Inputs
(fma.f64 (/.f64 4 y) (-.f64 x z) 4)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 4 (*.f64 (/.f64 4 y) (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (/.f64 4 y) (-.f64 x z) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) 2) (cbrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) (sqrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 3) 64) (+.f64 (*.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) (*.f64 (/.f64 4 y) (-.f64 x z))) (-.f64 16 (*.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) (*.f64 (/.f64 4 y) (-.f64 x z))) 16) (-.f64 (*.f64 (/.f64 4 y) (-.f64 x z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (/.f64 4 y) (-.f64 x z) 4)))))))

simplify66.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
890×fma-neg_binary64
559×fma-def_binary64
258×cancel-sign-sub-inv_binary64
144×distribute-rgt-in_binary64
113×unsub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
018411
137353
278353
3130353
4239353
5414353
6746353
71210353
81913353
92764353
103443353
113615353
123648353
133653353
143657353
Stop Event
1×saturated
Counts
59 → 35
Calls
Call 1
Inputs
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
4
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
4
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(+.f64 4 (*.f64 -4 (/.f64 z y)))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(*.f64 4 (/.f64 x y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(*.f64 4 (/.f64 x y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 x y)))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(*.f64 -4 (/.f64 z y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(*.f64 -4 (/.f64 z y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
Outputs
(*.f64 4 (/.f64 (-.f64 x z) y))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
4
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
4
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 -4 (/.f64 z y)))
(+.f64 4 (/.f64 (*.f64 -4 z) y))
(fma.f64 -4 (/.f64 z y) 4)
(fma.f64 z (/.f64 -4 y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(*.f64 4 (/.f64 x y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(*.f64 4 (/.f64 x y))
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (*.f64 4 (/.f64 x y)))
(fma.f64 4 (/.f64 x y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(*.f64 -4 (/.f64 z y))
(/.f64 (*.f64 -4 z) y)
(*.f64 z (/.f64 -4 y))
(/.f64 (*.f64 z -4) y)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(*.f64 -4 (/.f64 z y))
(/.f64 (*.f64 -4 z) y)
(*.f64 z (/.f64 -4 y))
(/.f64 (*.f64 z -4) y)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
(+.f64 4 (+.f64 (*.f64 -4 (/.f64 z y)) (*.f64 4 (/.f64 x y))))
(+.f64 4 (*.f64 4 (/.f64 (-.f64 x z) y)))
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)

prune28.0ms (1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New34135
Fresh101
Picked101
Done000
Total36137
Error
0.0b
Counts
37 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
Compiler

Compiled 422 to 256 computations (39.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x z) y)

series5.0ms (0.2%)

Counts
1 → 24
Calls

9 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
(/.f64 (-.f64 x z) y)
1.0ms
x
@0
(/.f64 (-.f64 x z) y)
0.0ms
y
@0
(/.f64 (-.f64 x z) y)
0.0ms
y
@inf
(/.f64 (-.f64 x z) y)
0.0ms
y
@-inf
(/.f64 (-.f64 x z) y)

rewrite42.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
835×log1p-expm1-u_binary64
835×expm1-log1p-u_binary64
76×add-sqr-sqrt_binary64
75×*-un-lft-identity_binary64
75×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11387
221247
Stop Event
1×node limit
Counts
1 → 35
Calls
Call 1
Inputs
(/.f64 (-.f64 x z) y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x y) (/.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x z) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x z) (/.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x z) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x z) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (-.f64 x z) y)) (cbrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2)) (cbrt.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) (sqrt.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 x z)) (*.f64 (sqrt.f64 (-.f64 x z)) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (-.f64 x z)) (/.f64 1 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 y) (-.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) 1) (/.f64 (cbrt.f64 (-.f64 x z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 x z)) 1) (/.f64 (sqrt.f64 (-.f64 x z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 x z) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (-.f64 x z)) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (-.f64 x z) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (-.f64 x z)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x z) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (-.f64 x z) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (-.f64 x z) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (-.f64 x z)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 x z) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x z) y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (-.f64 x z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x z) y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (-.f64 x z) y)))))))

simplify34.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
186×fma-def_binary64
172×fma-neg_binary64
64×cancel-sign-sub-inv_binary64
36×distribute-rgt-in_binary64
32×unsub-neg_binary64
Iterations

Useful iterations: 10 (0.0ms)

IterNodesCost
09246
114210
224210
334210
447210
571210
6119210
7173210
8254210
9386210
10642156
11918156
12979156
131032156
Stop Event
1×saturated
Counts
59 → 40
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
Outputs
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (neg.f64 (/.f64 z y)) (/.f64 x y))
(-.f64 (/.f64 x y) (/.f64 z y))
(/.f64 (-.f64 x z) y)

prune22.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New39140
Fresh000
Picked011
Done000
Total39241
Error
0b
Counts
41 → 2
Alt Table
StatusErrorProgram
▶0.8b
(fma.f64 4 (*.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y))) 4)
✓0.0b
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
Compiler

Compiled 556 to 293 computations (47.3% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y)))
✓0.4b
(*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y))
✓0.5b
(pow.f64 (cbrt.f64 (-.f64 x z)) 2)
✓0.6b
(cbrt.f64 (-.f64 x z))

series52.0ms (1.9%)

Counts
4 → 72
Calls

30 calls:

TimeVariablePointExpression
28.0ms
y
@0
(*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y))
3.0ms
x
@0
(cbrt.f64 (-.f64 x z))
2.0ms
x
@0
(pow.f64 (cbrt.f64 (-.f64 x z)) 2)
2.0ms
z
@inf
(cbrt.f64 (-.f64 x z))
1.0ms
x
@-inf
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y)))

rewrite53.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
371×prod-diff_binary64
209×fma-def_binary64
204×expm1-udef_binary64
204×log1p-udef_binary64
174×log-pow_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01234
125531
2316131
Stop Event
1×node limit
Counts
4 → 95
Calls
Call 1
Inputs
(cbrt.f64 (-.f64 x z))
(pow.f64 (cbrt.f64 (-.f64 x z)) 2)
(*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (-.f64 x z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (-.f64 x z))) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)) (cbrt.f64 (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 x z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (-.f64 x z) 1/6) (pow.f64 (-.f64 x z) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (-.f64 x z) 1/6) (*.f64 (pow.f64 (-.f64 x z) 1/6) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (-.f64 x z)) 1/3) (pow.f64 (sqrt.f64 (-.f64 x z)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 z z))) (cbrt.f64 (+.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (cbrt.f64 (fma.f64 x x (*.f64 z (+.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 x z) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 x z) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (-.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 x z)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 x z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (-.f64 x z))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 x z))) (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (-.f64 x z) 1/6) (*.f64 (pow.f64 (-.f64 x z) 1/6) (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 x z)) (pow.f64 (-.f64 x z) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))) (cbrt.f64 (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 x z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2/3 (log.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 2/3 (log.f64 (-.f64 x z))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (-.f64 x z)) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 y (cbrt.f64 (-.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2)) (/.f64 y (cbrt.f64 (cbrt.f64 (-.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (-.f64 x z) 1/6) (/.f64 y (pow.f64 (-.f64 x z) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cbrt.f64 (-.f64 x z))) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 (-.f64 x z)) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 (-.f64 x z)) 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (cbrt.f64 (-.f64 x z)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 (cbrt.f64 (-.f64 x z))) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (-.f64 x z)) -1) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (-.f64 x z) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (-.f64 x z) (/.f64 (pow.f64 y -2) y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (/.f64 (pow.f64 y -2) y) (-.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 x z) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x z) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) 1) (*.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) 1) (*.f64 (+.f64 x z) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) -1) (*.f64 (fma.f64 x x (*.f64 z (+.f64 x z))) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) -1) (*.f64 (+.f64 x z) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 1 y)) (fma.f64 x x (*.f64 z (+.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) (/.f64 1 y)) (+.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x z) -1) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x z) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (-.f64 x z) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (-.f64 x z) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (-.f64 x z) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 x z) y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (-.f64 x z) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 x z) 3) (/.f64 (pow.f64 y -2) y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 x z) 2) (pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 (-.f64 x z)) y) 3) (pow.f64 (-.f64 x z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 x z) y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (-.f64 x z) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (-.f64 x z) y)))))))

simplify49.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
410×associate-/l*_binary64
339×times-frac_binary64
258×associate-*l/_binary64
228×associate-/r*_binary64
211×associate-*r/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01792007
15531796
219071764
Stop Event
1×node limit
Counts
167 → 149
Calls
Call 1
Inputs
(*.f64 (cbrt.f64 -1) (pow.f64 z 1/3))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (+.f64 (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9) (pow.f64 x 2))))))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (+.f64 (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (pow.f64 x 3)) (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9) (pow.f64 x 2)))))))
(pow.f64 x 1/3)
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (pow.f64 x 1/3))
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (pow.f64 x 1/3) (*.f64 -1/9 (*.f64 (pow.f64 z 2) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9)))))
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (pow.f64 z 3)) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (+.f64 (pow.f64 x 1/3) (*.f64 -1/9 (*.f64 (pow.f64 z 2) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))))))
(*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3)))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (+.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9)))) (pow.f64 x 2)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3))))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (+.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9)))) (pow.f64 x 2)) (+.f64 (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (/.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (cbrt.f64 -1)) (pow.f64 (/.f64 1 z) 1/3))) (*.f64 2/27 (/.f64 1 z))) (pow.f64 x 3)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3)))))
(pow.f64 (pow.f64 x 2) 1/3)
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (pow.f64 (pow.f64 x 2) 1/3))
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (+.f64 (*.f64 (pow.f64 z 2) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)))) (pow.f64 (pow.f64 x 2) 1/3)))
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (+.f64 (*.f64 (pow.f64 z 2) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)))) (+.f64 (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (pow.f64 (/.f64 1 x) 1/3))) (*.f64 2/27 (/.f64 1 x))) (pow.f64 z 3)) (pow.f64 (pow.f64 x 2) 1/3))))
(*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3))
(+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3)))
(+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 x 2) y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9)))) (+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3))))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (pow.f64 x 3)) (*.f64 y (pow.f64 (cbrt.f64 -1) 2))) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 x 2) y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9)))) (+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3)))))
(*.f64 (/.f64 1 y) (pow.f64 x 1/3))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3)))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 z 2) y) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3))))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 z 2) y) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (pow.f64 z 3) (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)))) y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3)))))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(*.f64 -1 (/.f64 z y))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
Outputs
(*.f64 (cbrt.f64 -1) (pow.f64 z 1/3))
(*.f64 (cbrt.f64 -1) (cbrt.f64 z))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x)) (*.f64 (cbrt.f64 -1) (cbrt.f64 z)))
(fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x) (*.f64 1/3 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))))))
(fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) 1/3)))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (+.f64 (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9) (pow.f64 x 2))))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x)) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (*.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 x x))))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x)) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18))) (*.f64 (*.f64 x x) -1/9))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18))) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 x x)) -1/9))))
(+.f64 (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9) x))) (+.f64 (*.f64 (cbrt.f64 -1) (pow.f64 z 1/3)) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (pow.f64 x 3)) (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9) (pow.f64 x 2)))))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x)) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (/.f64 (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (cbrt.f64 (/.f64 1 (*.f64 z z)))) -5/27) (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 x 3)))) (*.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 x x)))))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) x)) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (fma.f64 -1/9 (*.f64 x (*.f64 x (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18))))) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (*.f64 -1/3 (/.f64 (/.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (pow.f64 (cbrt.f64 -1) 2)) (/.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 x 3)) -5/27)))))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18))) (fma.f64 (cbrt.f64 -1) (cbrt.f64 z) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 z) z)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 z) z)) -5/27) (*.f64 -1 (cbrt.f64 -1))) (pow.f64 x 3))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 x x)) -1/9)))))
(pow.f64 x 1/3)
(cbrt.f64 x)
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (pow.f64 x 1/3))
(fma.f64 -1/3 (*.f64 z (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18))) (cbrt.f64 x))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) z)) (cbrt.f64 x))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) z)) (cbrt.f64 x))
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (pow.f64 x 1/3) (*.f64 -1/9 (*.f64 (pow.f64 z 2) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9)))))
(+.f64 (fma.f64 -1/3 (*.f64 z (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18))) (cbrt.f64 x)) (*.f64 -1/9 (*.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) z)) (fma.f64 -1/9 (*.f64 z (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))) (cbrt.f64 x)))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) z)) (fma.f64 -1/9 (*.f64 z (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))) (cbrt.f64 x)))
(+.f64 (*.f64 -1/3 (*.f64 z (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (*.f64 (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (pow.f64 z 3)) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (+.f64 (pow.f64 x 1/3) (*.f64 -1/9 (*.f64 (pow.f64 z 2) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))))))
(fma.f64 -1/3 (*.f64 z (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18))) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27) (pow.f64 z 3))) (+.f64 (cbrt.f64 x) (*.f64 -1/9 (*.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))))))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) z)) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27) (pow.f64 z 3))) (fma.f64 -1/9 (*.f64 z (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))) (cbrt.f64 x))))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) z)) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 x) x)) (*.f64 (cbrt.f64 (/.f64 (/.f64 1 x) x)) (*.f64 5/27 (pow.f64 z 3)))) (fma.f64 -1/9 (*.f64 z (*.f64 z (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)))) (cbrt.f64 x))))
(*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3))
(*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3)))
(fma.f64 2/3 (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 x (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z))))
(fma.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)) (*.f64 2/3 (*.f64 x (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18))))))
(fma.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 x (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18))) (*.f64 2/3 (cbrt.f64 (cbrt.f64 -1)))))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (+.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9)))) (pow.f64 x 2)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3))))
(fma.f64 2/3 (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 x (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18))) -1/9) (*.f64 x x) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)))))
(fma.f64 2/3 (*.f64 x (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 x x) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18)) -1/9)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)))))
(fma.f64 2/3 (*.f64 x (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 x x) (*.f64 (cbrt.f64 (/.f64 -1 (cbrt.f64 -1))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18)) -1/9)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z)))))
(+.f64 (*.f64 2/3 (*.f64 (pow.f64 (cbrt.f64 -1) 1/3) (*.f64 (pow.f64 z 1/9) x))) (+.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/9)))) (pow.f64 x 2)) (+.f64 (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (/.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (cbrt.f64 -1)) (pow.f64 (/.f64 1 z) 1/3))) (*.f64 2/27 (/.f64 1 z))) (pow.f64 x 3)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3)))))
(fma.f64 2/3 (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 x (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18))) -1/9) (*.f64 x x) (fma.f64 (fma.f64 -2/3 (*.f64 (/.f64 (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (cbrt.f64 (/.f64 1 (*.f64 z z)))) -5/27) (cbrt.f64 -1)) (cbrt.f64 (/.f64 1 z))) (/.f64 2/27 z)) (pow.f64 x 3) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z))))))
(fma.f64 2/3 (*.f64 x (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 x x) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 4))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18)) -1/9)) (fma.f64 (pow.f64 x 3) (fma.f64 -2/3 (/.f64 (*.f64 (/.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (pow.f64 (cbrt.f64 -1) 2)) -5/27) (/.f64 (cbrt.f64 -1) (cbrt.f64 (/.f64 1 z)))) (/.f64 2/27 z)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z))))))
(fma.f64 2/3 (*.f64 x (*.f64 (cbrt.f64 (cbrt.f64 -1)) (*.f64 (pow.f64 z 1/18) (pow.f64 z 1/18)))) (fma.f64 (*.f64 x x) (*.f64 (cbrt.f64 (/.f64 -1 (cbrt.f64 -1))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 4)) 1/18)) -1/9)) (fma.f64 (pow.f64 x 3) (fma.f64 (*.f64 -2/3 (/.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 z) z)) -5/27) -1)) (cbrt.f64 (/.f64 1 z)) (/.f64 2/27 z)) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 z z))))))
(pow.f64 (pow.f64 x 2) 1/3)
(cbrt.f64 (*.f64 x x))
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (pow.f64 (pow.f64 x 2) 1/3))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (cbrt.f64 (*.f64 x x)))
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (+.f64 (*.f64 (pow.f64 z 2) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)))) (pow.f64 (pow.f64 x 2) 1/3)))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18)) -1/9) (cbrt.f64 (*.f64 x x))))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18))) (cbrt.f64 (*.f64 x x))))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) -1/9)) (cbrt.f64 (*.f64 x x))))
(+.f64 (*.f64 -2/3 (*.f64 z (pow.f64 x 1/9))) (+.f64 (*.f64 (pow.f64 z 2) (+.f64 (*.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)) (*.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/9)))) (+.f64 (*.f64 (+.f64 (*.f64 -2/3 (*.f64 (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (pow.f64 (/.f64 1 x) 1/3))) (*.f64 2/27 (/.f64 1 x))) (pow.f64 z 3)) (pow.f64 (pow.f64 x 2) 1/3))))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18)) -1/9) (fma.f64 (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27) (cbrt.f64 (/.f64 1 x))) (/.f64 2/27 x)) (pow.f64 z 3) (cbrt.f64 (*.f64 x x)))))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 -1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18))) (fma.f64 (pow.f64 z 3) (fma.f64 -2/3 (*.f64 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27) (cbrt.f64 (/.f64 1 x))) (/.f64 2/27 x)) (cbrt.f64 (*.f64 x x)))))
(fma.f64 -2/3 (*.f64 z (*.f64 (pow.f64 x 1/18) (pow.f64 x 1/18))) (fma.f64 (*.f64 z z) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 4)) 1/18) -1/9)) (fma.f64 (pow.f64 z 3) (fma.f64 (*.f64 (*.f64 -2/3 (cbrt.f64 (/.f64 (/.f64 1 x) x))) 5/27) (cbrt.f64 (/.f64 1 x)) (/.f64 2/27 x)) (cbrt.f64 (*.f64 x x)))))
(*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3))
(*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y))
(*.f64 (/.f64 (cbrt.f64 z) y) (cbrt.f64 -1))
(+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3)))
(fma.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y)))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) (/.f64 x y))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y)))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (/.f64 (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) y)) (*.f64 (/.f64 (cbrt.f64 z) y) (cbrt.f64 -1)))
(+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 x 2) y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9)))) (+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3))))
(fma.f64 -1/9 (*.f64 (/.f64 (*.f64 x x) y) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)))) (fma.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y))))
(fma.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (/.f64 x (/.f64 y x)))) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) (/.f64 x y))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y))))
(fma.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 (/.f64 x y) x))) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (/.f64 (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) y)) (*.f64 (/.f64 (cbrt.f64 z) y) (cbrt.f64 -1))))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (+.f64 (*.f64 -2/9 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (*.f64 1/27 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3)))) (pow.f64 x 3)) (*.f64 y (pow.f64 (cbrt.f64 -1) 2))) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/3))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 x 2) y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/9)))) (+.f64 (*.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) 1/3) (pow.f64 (/.f64 1 (pow.f64 z 2)) 1/9)))) (*.f64 (/.f64 (cbrt.f64 -1) y) (pow.f64 z 1/3)))))
(fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (*.f64 (/.f64 (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2)) (cbrt.f64 (/.f64 1 (*.f64 z z)))) -5/27) y) (/.f64 (pow.f64 x 3) (pow.f64 (cbrt.f64 -1) 2)))) (fma.f64 -1/9 (*.f64 (/.f64 (*.f64 x x) y) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)))) (fma.f64 1/3 (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y)))))
(fma.f64 -1/3 (*.f64 (/.f64 (/.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) (pow.f64 (cbrt.f64 -1) 2)) (/.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 x 3)) -5/27)) (/.f64 (cbrt.f64 (/.f64 1 (*.f64 z z))) y)) (fma.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (/.f64 x (/.f64 y x)))) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 z z)) 1/18) (pow.f64 (/.f64 1 (*.f64 z z)) 1/18)) (/.f64 x y))) (*.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 -1) y)))))
(fma.f64 -1/3 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 z) z)) -5/27) (*.f64 -1 (cbrt.f64 -1))) (pow.f64 x 3)) (/.f64 (cbrt.f64 (/.f64 (/.f64 1 z) z)) y)) (fma.f64 -1/9 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 7))) (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 z 7)) 1/18)) (*.f64 (/.f64 x y) x))) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 -1) 2))) (/.f64 (*.f64 (*.f64 x (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) (pow.f64 (/.f64 (/.f64 1 z) z) 1/18)) y)) (*.f64 (/.f64 (cbrt.f64 z) y) (cbrt.f64 -1)))))
(*.f64 (/.f64 1 y) (pow.f64 x 1/3))
(*.f64 (cbrt.f64 x) (/.f64 1 y))
(/.f64 (cbrt.f64 x) y)
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3)))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (*.f64 (cbrt.f64 x) (/.f64 1 y)))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (/.f64 (cbrt.f64 x) y))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (/.f64 z y))) (/.f64 (cbrt.f64 x) y))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 z 2) y) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3))))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (/.f64 (*.f64 z z) y)) (*.f64 (cbrt.f64 x) (/.f64 1 y))))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (/.f64 z (/.f64 y z))) (/.f64 (cbrt.f64 x) y)))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (/.f64 z y))) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (*.f64 (/.f64 z y) z)) (/.f64 (cbrt.f64 x) y)))
(+.f64 (*.f64 -1/3 (*.f64 (/.f64 z y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/9))) (+.f64 (*.f64 -1/9 (*.f64 (/.f64 (pow.f64 z 2) y) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/9))) (+.f64 (*.f64 -1/3 (*.f64 (/.f64 (*.f64 (pow.f64 z 3) (+.f64 (*.f64 2/9 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (*.f64 -1/27 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)))) y) (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3))) (*.f64 (/.f64 1 y) (pow.f64 x 1/3)))))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (/.f64 (*.f64 z z) y)) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) (/.f64 (pow.f64 z 3) (/.f64 y (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27)))) (*.f64 (cbrt.f64 x) (/.f64 1 y)))))
(fma.f64 -1/3 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 x x)) 1/18) (pow.f64 (/.f64 1 (*.f64 x x)) 1/18)) (/.f64 z y)) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (/.f64 z (/.f64 y z))) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) (*.f64 (/.f64 (pow.f64 z 3) y) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 x x))) 5/27))) (/.f64 (cbrt.f64 x) y))))
(fma.f64 -1/3 (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (*.f64 (pow.f64 (/.f64 (/.f64 1 x) x) 1/18) (/.f64 z y))) (fma.f64 -1/9 (*.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18) (pow.f64 (/.f64 1 (pow.f64 x 7)) 1/18)) (*.f64 (/.f64 z y) z)) (fma.f64 -1/3 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 x) x)) (/.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 x) x)) 5/27) (/.f64 y (pow.f64 z 3)))) (/.f64 (cbrt.f64 x) y))))
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 (/.f64 1 y) (pow.f64 (-.f64 x z) 1/3))
(*.f64 (/.f64 1 y) (cbrt.f64 (-.f64 x z)))
(/.f64 (cbrt.f64 (-.f64 x z)) y)
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(/.f64 x y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(*.f64 -1 (/.f64 z y))
(neg.f64 (/.f64 z y))
(/.f64 (neg.f64 z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (*.f64 -1 (/.f64 z y)))
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))
(/.f64 (-.f64 x z) y)
(+.f64 (/.f64 x y) (neg.f64 (/.f64 z y)))

prune179.0ms (6.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1920192
Fresh000
Picked011
Done011
Total1922194
Error
0b
Counts
194 → 2
Alt Table
StatusErrorProgram
✓0.8b
(fma.f64 4 (*.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) 2) (*.f64 (cbrt.f64 (-.f64 x z)) (/.f64 1 y))) 4)
✓0.0b
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
Compiler

Compiled 5926 to 3878 computations (34.6% saved)

regimes88.0ms (3.2%)

Accuracy

Total 0.0b remaining (11.1%)

Threshold costs 0.0b (11.1%)

Counts
18 → 1
Compiler

Compiled 228 to 141 computations (38.2% saved)

simplify7.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11011
21511
31711
41811
Stop Event
1×saturated
Calls
Call 1
Inputs
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)
Outputs
(fma.f64 4 (/.f64 (-.f64 x z) y) 4)

end48.0ms (1.8%)

Stop Event
1×done
Compiler

Compiled 54 to 38 computations (29.6% saved)

Profiling

Loading profile data...