Crypto.Random.Test:calculate from crypto-random-0.0.9

Time bar (total: 2.5s)

analyze33.0ms (1.3%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
87.5%87.4%12.5%0.1%0%0%0%12
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample876.0ms (34.8%)

Results
637.0ms6222×body256valid
225.0ms2034×body256infinite
Bogosity

preprocess193.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
3976×fma-def
1444×div-sub
1184×fma-neg
582×associate-/l*
570×associate-/r/
Problems
228×No Errors
28×(/.f64 (*.f64 y y) z)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
030256
161252
2127224
3376224
41044224
52692224
63920224
75452224
86174224
96623224
106839224
117204224
127575224
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 (neg.f64 x) (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 (*.f64 (neg.f64 y) (neg.f64 y)) z))
(+.f64 x (/.f64 (*.f64 y y) (neg.f64 z)))
(+.f64 y (/.f64 (*.f64 x x) z))
(+.f64 z (/.f64 (*.f64 y y) x))
(+.f64 x (/.f64 (*.f64 z z) y))
Outputs
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 (neg.f64 x) (/.f64 (*.f64 y y) z))
(+.f64 (/.f64 y (/.f64 z y)) (neg.f64 x))
(-.f64 (*.f64 (/.f64 y z) y) x)
(-.f64 (*.f64 y (/.f64 y z)) x)
(+.f64 x (/.f64 (*.f64 (neg.f64 y) (neg.f64 y)) z))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(fma.f64 (/.f64 y z) y x)
(fma.f64 y (/.f64 y z) x)
(+.f64 x (/.f64 (*.f64 y y) (neg.f64 z)))
(+.f64 x (/.f64 y (/.f64 (neg.f64 z) y)))
(fma.f64 (/.f64 y (neg.f64 z)) y x)
(-.f64 x (*.f64 y (/.f64 y z)))
(+.f64 y (/.f64 (*.f64 x x) z))
(+.f64 y (/.f64 x (/.f64 z x)))
(+.f64 y (*.f64 (/.f64 x z) x))
(fma.f64 (/.f64 x z) x y)
(fma.f64 x (/.f64 x z) y)
(+.f64 z (/.f64 (*.f64 y y) x))
(+.f64 z (/.f64 y (/.f64 x y)))
(+.f64 z (*.f64 (/.f64 y x) y))
(fma.f64 (/.f64 y x) y z)
(fma.f64 y (/.f64 y x) z)
(+.f64 x (/.f64 (*.f64 z z) y))
(+.f64 x (/.f64 z (/.f64 y z)))
(fma.f64 (/.f64 z y) z x)
(fma.f64 z (/.f64 z y) x)
Symmetry

(abs y)

Compiler

Compiled 32 to 13 computations (59.4% saved)

eval1.0ms (0%)

Compiler

Compiled 29 to 11 computations (62.1% saved)

prune3.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶94.4%
(+.f64 x (/.f64 (*.f64 y y) z))
▶99.9%
(+.f64 x (/.f64 y (/.f64 z y)))
▶99.9%
(+.f64 x (*.f64 (/.f64 y z) y))
▶94.4%
(+.f64 x (/.f64 (*.f64 y y) z))
▶99.9%
(+.f64 x (/.f64 y (/.f64 z y)))
▶99.9%
(+.f64 x (*.f64 (/.f64 y z) y))
Compiler

Compiled 60 to 36 computations (40% saved)

localize76.0ms (3%)

Localize:

Found 3 expressions with local error:

NewAccuracyProgram
✓90.6%
(/.f64 (*.f64 y y) z)
✓99.8%
(/.f64 y (/.f64 z y))
✓99.8%
(*.f64 (/.f64 y z) y)
Compiler

Compiled 58 to 13 computations (77.6% saved)

series4.0ms (0.2%)

Counts
3 → 72
Calls

18 calls:

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

rewrite140.0ms (5.6%)

Algorithm
1×batch-egg-rewrite
Rules
820×log-prod
704×log1p-expm1-u
704×expm1-log1p-u
528×pow-prod-down
338×log-div
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01357
118557
2207857
Stop Event
1×node limit
Counts
3 → 185
Calls
Call 1
Inputs
(*.f64 (/.f64 y z) y)
(/.f64 y (/.f64 z y))
(/.f64 (*.f64 y y) z)
Outputs
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 y (/.f64 z y))
(/.f64 (/.f64 y z) (/.f64 1 y))
(/.f64 (pow.f64 y 2) z)
(/.f64 1 (*.f64 z (pow.f64 y -2)))
(/.f64 1 (/.f64 (*.f64 z (pow.f64 y -2)) 1))
(/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (/.f64 z y) (cbrt.f64 y)))
(/.f64 (pow.f64 (cbrt.f64 y) 4) (/.f64 z (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (sqrt.f64 y) (/.f64 (/.f64 z y) (sqrt.f64 y)))
(/.f64 (neg.f64 y) (/.f64 (neg.f64 z) y))
(/.f64 (neg.f64 (pow.f64 y 2)) (neg.f64 z))
(/.f64 -1 (neg.f64 (*.f64 z (pow.f64 y -2))))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (/.f64 (neg.f64 z) y)))
(/.f64 (neg.f64 (neg.f64 (pow.f64 y 2))) (neg.f64 (neg.f64 z)))
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 z y)))
(/.f64 (/.f64 y 1) (/.f64 z y))
(/.f64 (/.f64 (pow.f64 y 2) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (/.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 z y)))
(/.f64 (/.f64 (pow.f64 y 2) 1) z)
(/.f64 (/.f64 (pow.f64 y 2) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 z))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 (/.f64 y z) y)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 (/.f64 y z) y)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))

simplify108.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
1220×associate-*r/
892×associate-*l/
608×associate-/r/
514×associate-/l/
450×*-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02216209
15095993
217815993
379375993
Stop Event
1×node limit
Counts
257 → 104
Calls
Call 1
Inputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 y (/.f64 z y))
(/.f64 (/.f64 y z) (/.f64 1 y))
(/.f64 (pow.f64 y 2) z)
(/.f64 1 (*.f64 z (pow.f64 y -2)))
(/.f64 1 (/.f64 (*.f64 z (pow.f64 y -2)) 1))
(/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (/.f64 z y) (cbrt.f64 y)))
(/.f64 (pow.f64 (cbrt.f64 y) 4) (/.f64 z (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (sqrt.f64 y) (/.f64 (/.f64 z y) (sqrt.f64 y)))
(/.f64 (neg.f64 y) (/.f64 (neg.f64 z) y))
(/.f64 (neg.f64 (pow.f64 y 2)) (neg.f64 z))
(/.f64 -1 (neg.f64 (*.f64 z (pow.f64 y -2))))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (/.f64 (neg.f64 z) y)))
(/.f64 (neg.f64 (neg.f64 (pow.f64 y 2))) (neg.f64 (neg.f64 z)))
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 z y)))
(/.f64 (/.f64 y 1) (/.f64 z y))
(/.f64 (/.f64 (pow.f64 y 2) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (/.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 z y)))
(/.f64 (/.f64 (pow.f64 y 2) 1) z)
(/.f64 (/.f64 (pow.f64 y 2) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 z))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 (/.f64 y z) y)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 (/.f64 y z) y)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
Outputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 (pow.f64 y 2) z)
(/.f64 y (/.f64 z y))
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 y z) (/.f64 1 y))
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 1 (*.f64 z (pow.f64 y -2)))
(/.f64 (pow.f64 y 2) z)
(/.f64 1 (/.f64 (*.f64 z (pow.f64 y -2)) 1))
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 (/.f64 z y) (cbrt.f64 y)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 (cbrt.f64 y) 4) (/.f64 z (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (sqrt.f64 y) (/.f64 (/.f64 z y) (sqrt.f64 y)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (neg.f64 y) (/.f64 (neg.f64 z) y))
(/.f64 (pow.f64 y 2) z)
(/.f64 (neg.f64 (pow.f64 y 2)) (neg.f64 z))
(/.f64 (pow.f64 y 2) z)
(/.f64 -1 (neg.f64 (*.f64 z (pow.f64 y -2))))
(/.f64 (pow.f64 y 2) z)
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (neg.f64 (neg.f64 (pow.f64 y 2))) (neg.f64 (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 y (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 z y)))
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 y 1) (/.f64 z y))
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 (pow.f64 y 2) (sqrt.f64 z)) (sqrt.f64 z))
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 z y)))
(/.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) 2)) (cbrt.f64 (/.f64 z y))))
(/.f64 (/.f64 (pow.f64 y 2) 1) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (/.f64 (pow.f64 y 2) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 z))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 z 2))))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 (pow.f64 z 2)) (cbrt.f64 z)))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(/.f64 (pow.f64 y 2) z)
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(/.f64 (pow.f64 y 2) z)
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y z) y)
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(/.f64 (pow.f64 y 2) z)
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 y z)))
(/.f64 y (/.f64 (sqrt.f64 (/.f64 z y)) (sqrt.f64 (/.f64 y z))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(/.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 (cbrt.f64 (/.f64 z y)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (/.f64 z y) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(/.f64 (/.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 z y)))
(/.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) 2)) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 z 2))))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 (pow.f64 z 2)) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) -2) (cbrt.f64 z)) (pow.f64 y 2))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(/.f64 (*.f64 (pow.f64 z -1/2) (pow.f64 y 2)) (sqrt.f64 z))
(*.f64 (/.f64 (pow.f64 y 2) (sqrt.f64 z)) (pow.f64 z -1/2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(/.f64 (pow.f64 y 2) z)
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(/.f64 (pow.f64 y 2) z)
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y z) y)
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(/.f64 (pow.f64 y 2) z)
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4)))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 y) 4) (*.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (sqrt.f64 z)) (/.f64 y (sqrt.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (sqrt.f64 (/.f64 y z)) (/.f64 y (sqrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y (sqrt.f64 (/.f64 z y))) (sqrt.f64 (/.f64 y z)))
(/.f64 y (/.f64 (sqrt.f64 (/.f64 z y)) (sqrt.f64 (/.f64 y z))))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (neg.f64 y) (/.f64 1 (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (neg.f64 (pow.f64 y 2)) (/.f64 1 (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 1 z) (pow.f64 y 2))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 y (cbrt.f64 (/.f64 z y))))
(/.f64 (pow.f64 (cbrt.f64 (/.f64 z y)) -2) (/.f64 (cbrt.f64 (/.f64 z y)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) z) (pow.f64 (cbrt.f64 y) 4))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) (/.f64 (cbrt.f64 y) (/.f64 z y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) 2))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (/.f64 z y) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 z y))) (/.f64 (cbrt.f64 y) (sqrt.f64 (/.f64 z y))))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (sqrt.f64 y) z) (pow.f64 y 3/2))
(*.f64 (/.f64 (sqrt.f64 y) 1) (/.f64 (sqrt.f64 y) (/.f64 z y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (/.f64 (sqrt.f64 y) (cbrt.f64 (/.f64 z y))))
(/.f64 (/.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) 2))) (cbrt.f64 (/.f64 z y)))
(/.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) 2)) (cbrt.f64 (/.f64 z y))))
(*.f64 (/.f64 y 1) (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (cbrt.f64 (pow.f64 z 2))) (/.f64 y (cbrt.f64 z)))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 z 2))))
(/.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 (pow.f64 z 2)) (cbrt.f64 z)))
(*.f64 (pow.f64 (cbrt.f64 z) -2) (/.f64 (pow.f64 y 2) (cbrt.f64 z)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 z) -2) (cbrt.f64 z)) (pow.f64 y 2))
(*.f64 (pow.f64 z -1/2) (/.f64 (pow.f64 y 2) (sqrt.f64 z)))
(/.f64 (*.f64 (pow.f64 z -1/2) (pow.f64 y 2)) (sqrt.f64 z))
(*.f64 (/.f64 (pow.f64 y 2) (sqrt.f64 z)) (pow.f64 z -1/2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) 1) (/.f64 (pow.f64 (cbrt.f64 y) 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (pow.f64 (cbrt.f64 y) 4) (cbrt.f64 (pow.f64 z 2))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 4) (sqrt.f64 z)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (neg.f64 z)) (neg.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 y (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (cbrt.f64 (/.f64 y z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (sqrt.f64 (/.f64 y z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4) 1/2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6) 1/3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 y (sqrt.f64 z)) 2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (*.f64 z (pow.f64 y -2)) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)) 1/3)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(pow.f64 (/.f64 (*.f64 z (pow.f64 y -2)) 1) -1)
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 y (/.f64 (neg.f64 z) y)))
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 (pow.f64 y 2) (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(sqrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 4))
(/.f64 (pow.f64 y 2) z)
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 6) (pow.f64 z 3)))
(cbrt.f64 (/.f64 (pow.f64 y 3) (pow.f64 (/.f64 z y) 3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y (sqrt.f64 z)) 6)) 1/3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 y (sqrt.f64 z))) 2))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (*.f64 z (pow.f64 y -2))) -1))
(/.f64 (pow.f64 y 2) z)
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)

eval25.0ms (1%)

Compiler

Compiled 1259 to 673 computations (46.5% saved)

prune19.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1031104
Fresh000
Picked033
Done000
Total1034107
Accuracy
100.0%
Counts
107 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
✓94.4%
(+.f64 x (/.f64 (*.f64 y y) z))
✓99.9%
(+.f64 x (/.f64 y (/.f64 z y)))
✓99.9%
(+.f64 x (*.f64 (/.f64 y z) y))
▶99.9%
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
✓94.4%
(+.f64 x (/.f64 (*.f64 y y) z))
✓99.9%
(+.f64 x (/.f64 y (/.f64 z y)))
✓99.9%
(+.f64 x (*.f64 (/.f64 y z) y))
Compiler

Compiled 84 to 52 computations (38.1% saved)

localize39.0ms (1.6%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓99.8%
(/.f64 (/.f64 y z) (/.f64 1 y))
Compiler

Compiled 30 to 15 computations (50% saved)

series7.0ms (0.3%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
6.0ms
z
@inf
(/.f64 (/.f64 y z) (/.f64 1 y))
0.0ms
y
@0
(/.f64 (/.f64 y z) (/.f64 1 y))
0.0ms
z
@-inf
(/.f64 (/.f64 y z) (/.f64 1 y))
0.0ms
y
@inf
(/.f64 (/.f64 y z) (/.f64 1 y))
0.0ms
y
@-inf
(/.f64 (/.f64 y z) (/.f64 1 y))

rewrite64.0ms (2.5%)

Algorithm
1×batch-egg-rewrite
Rules
1090×unpow-prod-down
686×log-prod
641×log1p-expm1-u
641×expm1-log1p-u
452×pow-prod-down
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01128
112819
2185119
Stop Event
1×node limit
Counts
1 → 92
Calls
Call 1
Inputs
(/.f64 (/.f64 y z) (/.f64 1 y))
Outputs
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 y (/.f64 (/.f64 1 z) (/.f64 1 y)))
(*.f64 y (pow.f64 (/.f64 (/.f64 1 z) (/.f64 1 y)) 1))
(*.f64 y (pow.f64 (/.f64 (/.f64 1 y) (/.f64 1 z)) -1))
(*.f64 (/.f64 y z) y)
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 (sqrt.f64 y) (/.f64 (/.f64 y z) (pow.f64 y -1/2)))
(*.f64 (sqrt.f64 y) (pow.f64 (/.f64 (/.f64 y z) (pow.f64 y -1/2)) 1))
(*.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) (sqrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (/.f64 (neg.f64 y) z) (/.f64 1 (/.f64 -1 y)))
(*.f64 (/.f64 (neg.f64 y) z) (pow.f64 (/.f64 1 (/.f64 -1 y)) 1))
(*.f64 (pow.f64 y 3/2) (/.f64 (sqrt.f64 y) z))
(*.f64 (pow.f64 y 3/2) (/.f64 (/.f64 1 z) (pow.f64 y -1/2)))
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (sqrt.f64 y) z) 1))
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (/.f64 1 z) (pow.f64 y -1/2)) 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) (/.f64 (cbrt.f64 y) z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 (/.f64 (/.f64 y z) -1) (neg.f64 y))
(*.f64 (pow.f64 1 1/3) (/.f64 (pow.f64 y 2) z))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) 1) (pow.f64 (/.f64 (cbrt.f64 y) z) 1))
(*.f64 (pow.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) 1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 (/.f64 y z) -1) 1) (neg.f64 y))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) (/.f64 y z)) 1/3) (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 y 2) z) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 y -2) z)) 2) -1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y z)) -2) -1) (pow.f64 (/.f64 (/.f64 1 y) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (pow.f64 (/.f64 y z) -1/2) -1) (pow.f64 (/.f64 (/.f64 1 y) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) y) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 1 z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 y z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (pow.f64 y -3/2) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 1 z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) 1) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 y z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (/.f64 1 y) (neg.f64 y)) -1) (/.f64 1 (neg.f64 z)))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 2)
(pow.f64 (*.f64 (pow.f64 y -2) z) -1)
(pow.f64 (*.f64 (/.f64 z y) (/.f64 1 y)) -1)
(pow.f64 (/.f64 (*.f64 (pow.f64 y -2) z) 1) -1)
(pow.f64 (/.f64 (/.f64 z y) y) -1)
(neg.f64 (/.f64 (/.f64 y z) (/.f64 -1 y)))
(sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 z y) -3) (pow.f64 y -3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (pow.f64 y 2) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y -2) z)) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))

simplify67.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1252×times-frac
766×fma-def
680×associate-/r*
552×sqr-pow
494×log-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02883671
17433509
226193461
Stop Event
1×node limit
Counts
116 → 135
Calls
Call 1
Inputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(*.f64 y (/.f64 y z))
(*.f64 y (/.f64 (/.f64 1 z) (/.f64 1 y)))
(*.f64 y (pow.f64 (/.f64 (/.f64 1 z) (/.f64 1 y)) 1))
(*.f64 y (pow.f64 (/.f64 (/.f64 1 y) (/.f64 1 z)) -1))
(*.f64 (/.f64 y z) y)
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(*.f64 (sqrt.f64 y) (/.f64 (/.f64 y z) (pow.f64 y -1/2)))
(*.f64 (sqrt.f64 y) (pow.f64 (/.f64 (/.f64 y z) (pow.f64 y -1/2)) 1))
(*.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) (sqrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(*.f64 (/.f64 (neg.f64 y) z) (/.f64 1 (/.f64 -1 y)))
(*.f64 (/.f64 (neg.f64 y) z) (pow.f64 (/.f64 1 (/.f64 -1 y)) 1))
(*.f64 (pow.f64 y 3/2) (/.f64 (sqrt.f64 y) z))
(*.f64 (pow.f64 y 3/2) (/.f64 (/.f64 1 z) (pow.f64 y -1/2)))
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (sqrt.f64 y) z) 1))
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (/.f64 1 z) (pow.f64 y -1/2)) 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) (/.f64 (cbrt.f64 y) z))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 (/.f64 (/.f64 y z) -1) (neg.f64 y))
(*.f64 (pow.f64 1 1/3) (/.f64 (pow.f64 y 2) z))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) 1) (pow.f64 (/.f64 (cbrt.f64 y) z) 1))
(*.f64 (pow.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) 1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (pow.f64 (/.f64 (/.f64 y z) -1) 1) (neg.f64 y))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) (/.f64 y z)) 1/3) (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 y 2) z) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 y -2) z)) 2) -1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y z)) -2) -1) (pow.f64 (/.f64 (/.f64 1 y) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (pow.f64 (/.f64 y z) -1/2) -1) (pow.f64 (/.f64 (/.f64 1 y) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) y) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 1 z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 y z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (pow.f64 y -3/2) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 1 z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) 1) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 y z)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (pow.f64 (/.f64 (/.f64 1 y) (neg.f64 y)) -1) (/.f64 1 (neg.f64 z)))
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 2)
(pow.f64 (*.f64 (pow.f64 y -2) z) -1)
(pow.f64 (*.f64 (/.f64 z y) (/.f64 1 y)) -1)
(pow.f64 (/.f64 (*.f64 (pow.f64 y -2) z) 1) -1)
(pow.f64 (/.f64 (/.f64 z y) y) -1)
(neg.f64 (/.f64 (/.f64 y z) (/.f64 -1 y)))
(sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2))
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3))
(cbrt.f64 (/.f64 (pow.f64 (/.f64 z y) -3) (pow.f64 y -3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (pow.f64 y 2) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 2))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y -2) z)) -1))
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
Outputs
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(/.f64 (pow.f64 y 2) z)
(+.f64 0 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z))) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 y (/.f64 y z))
(/.f64 (pow.f64 y 2) z)
(*.f64 y (/.f64 (/.f64 1 z) (/.f64 1 y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 y (pow.f64 (/.f64 (/.f64 1 z) (/.f64 1 y)) 1))
(/.f64 (pow.f64 y 2) z)
(*.f64 y (pow.f64 (/.f64 (/.f64 1 y) (/.f64 1 z)) -1))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y z) y)
(/.f64 (pow.f64 y 2) z)
(*.f64 1 (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (pow.f64 y 2) z) (log.f64 (exp.f64 1)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 (cbrt.f64 (/.f64 y z)) y))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 y 2) (/.f64 1 z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (sqrt.f64 y) (/.f64 (/.f64 y z) (pow.f64 y -1/2)))
(*.f64 (sqrt.f64 y) (/.f64 y (*.f64 z (pow.f64 y -1/2))))
(/.f64 (/.f64 (pow.f64 (sqrt.f64 y) 3) z) (pow.f64 y -1/2))
(*.f64 (sqrt.f64 y) (pow.f64 (/.f64 (/.f64 y z) (pow.f64 y -1/2)) 1))
(*.f64 (sqrt.f64 y) (/.f64 (/.f64 y z) (pow.f64 y -1/2)))
(*.f64 (sqrt.f64 y) (/.f64 y (*.f64 z (pow.f64 y -1/2))))
(/.f64 (/.f64 (pow.f64 (sqrt.f64 y) 3) z) (pow.f64 y -1/2))
(*.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) (sqrt.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (sqrt.f64 (/.f64 y z)) (*.f64 (sqrt.f64 (/.f64 y z)) y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (neg.f64 y) z) (/.f64 1 (/.f64 -1 y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (neg.f64 y) z) (pow.f64 (/.f64 1 (/.f64 -1 y)) 1))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 y 3/2) (/.f64 (sqrt.f64 y) z))
(/.f64 (*.f64 (sqrt.f64 y) (pow.f64 y 3/2)) z)
(*.f64 (pow.f64 y 3/2) (/.f64 (/.f64 1 z) (pow.f64 y -1/2)))
(*.f64 (pow.f64 y 3/2) (/.f64 1 (*.f64 (pow.f64 y -1/2) z)))
(/.f64 (pow.f64 y 3/2) (*.f64 z (pow.f64 y -1/2)))
(/.f64 (/.f64 (pow.f64 y 3/2) z) (pow.f64 y -1/2))
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (sqrt.f64 y) z) 1))
(*.f64 (pow.f64 y 3/2) (/.f64 (sqrt.f64 y) z))
(/.f64 (*.f64 (sqrt.f64 y) (pow.f64 y 3/2)) z)
(*.f64 (pow.f64 y 3/2) (pow.f64 (/.f64 (/.f64 1 z) (pow.f64 y -1/2)) 1))
(*.f64 (pow.f64 y 3/2) (/.f64 1 (*.f64 (pow.f64 y -1/2) z)))
(/.f64 (pow.f64 y 3/2) (*.f64 z (pow.f64 y -1/2)))
(/.f64 (/.f64 (pow.f64 y 3/2) z) (pow.f64 y -1/2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) (/.f64 (cbrt.f64 y) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (*.f64 (/.f64 y z) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (/.f64 (/.f64 y z) -1) (neg.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 1 1/3) (/.f64 (pow.f64 y 2) z))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (/.f64 1 y)) 1) (pow.f64 (/.f64 (cbrt.f64 y) z) 1))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 1 z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (/.f64 y z) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)) 1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 (cbrt.f64 y) -2)))
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (pow.f64 y -1/2)) 1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 y z)) (pow.f64 y -1/2)) 1))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (*.f64 y (cbrt.f64 (/.f64 y z))))
(*.f64 y (*.f64 (cbrt.f64 (pow.f64 (/.f64 z y) -2)) (cbrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (/.f64 1 y)) 1))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (pow.f64 (cbrt.f64 y) -2)) 1) (pow.f64 (/.f64 (sqrt.f64 (/.f64 y z)) (cbrt.f64 (/.f64 1 y))) 1))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (pow.f64 (/.f64 (/.f64 y z) -1) 1) (neg.f64 y))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3/2)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) (/.f64 y z)) 1/3) (cbrt.f64 y))
(*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 (/.f64 y z) (pow.f64 (/.f64 (pow.f64 y 2) z) 2))))
(*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 (/.f64 y z) (pow.f64 (/.f64 z (pow.f64 y 2)) -2))))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 y 2) z) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (pow.f64 y 2) z) (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 8)))
(*.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) (cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 5/2)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 y -2) z)) 2) -1) (cbrt.f64 (/.f64 (pow.f64 y 2) z)))
(*.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 z (pow.f64 y -2))) 2)))
(/.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) (pow.f64 (cbrt.f64 (/.f64 z (pow.f64 y 2))) 2))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 y z)) -2) -1) (pow.f64 (/.f64 (/.f64 1 y) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 y z)) -2)) (/.f64 1 (/.f64 (/.f64 1 y) (cbrt.f64 (/.f64 y z)))))
(/.f64 (*.f64 y (cbrt.f64 (/.f64 y z))) (pow.f64 (cbrt.f64 (/.f64 y z)) -2))
(*.f64 (pow.f64 (pow.f64 (/.f64 y z) -1/2) -1) (pow.f64 (/.f64 (/.f64 1 y) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (/.f64 1 (pow.f64 (/.f64 y z) -1/2)) (/.f64 1 (/.f64 1 (*.f64 y (sqrt.f64 (/.f64 y z))))))
(/.f64 (*.f64 y (sqrt.f64 (/.f64 y z))) (pow.f64 (/.f64 y z) -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) y) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 1 z)) -1))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (/.f64 y z)) -1))
(*.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 1 y)) z)))
(/.f64 (/.f64 y (pow.f64 (cbrt.f64 y) -2)) (*.f64 z (cbrt.f64 (/.f64 1 y))))
(/.f64 (*.f64 (/.f64 y z) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 1 y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 y) -2) (cbrt.f64 (pow.f64 (/.f64 z y) -2)))) (/.f64 1 (/.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 y z)))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (/.f64 1 y))) (cbrt.f64 (/.f64 y z))) 1) (/.f64 (pow.f64 (cbrt.f64 y) -2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (/.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) -2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (cbrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 y z))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 y) -2) (sqrt.f64 (/.f64 y z)))) (/.f64 1 (/.f64 (cbrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 y z)))))
(*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) -2)) (sqrt.f64 (/.f64 y z))) (*.f64 (/.f64 1 (cbrt.f64 (/.f64 1 y))) (sqrt.f64 (/.f64 y z))))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (/.f64 y z))) (/.f64 (cbrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 (pow.f64 y -3/2) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 1 z)) -1))
(*.f64 (/.f64 1 (*.f64 (pow.f64 y -1/2) z)) (/.f64 1 (pow.f64 y -3/2)))
(/.f64 (/.f64 1 (*.f64 z (pow.f64 y -1/2))) (pow.f64 y -3/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) 1) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (/.f64 y z)) -1))
(*.f64 (/.f64 1 (pow.f64 y -1/2)) (/.f64 1 (*.f64 (/.f64 (pow.f64 y -1/2) y) z)))
(/.f64 (/.f64 1 (pow.f64 y -1/2)) (*.f64 z (/.f64 (pow.f64 y -1/2) y)))
(/.f64 (/.f64 1 (pow.f64 y -1/2)) (/.f64 (pow.f64 y -1/2) (/.f64 y z)))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (/.f64 y z))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (pow.f64 (/.f64 z y) -2)))) (/.f64 1 (/.f64 (pow.f64 y -1/2) (cbrt.f64 (/.f64 y z)))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (pow.f64 y -1/2)) (cbrt.f64 (/.f64 y z))) 1) (/.f64 (pow.f64 y -1/2) (cbrt.f64 (pow.f64 (/.f64 z y) -2))))
(/.f64 (*.f64 (/.f64 1 (pow.f64 y -1/2)) (cbrt.f64 (pow.f64 (/.f64 z y) -2))) (/.f64 (pow.f64 y -1/2) (cbrt.f64 (/.f64 y z))))
(*.f64 (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1) (pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -1))
(pow.f64 (/.f64 (pow.f64 y -1/2) (sqrt.f64 (/.f64 y z))) -2)
(*.f64 (pow.f64 (/.f64 (/.f64 1 y) (neg.f64 y)) -1) (/.f64 1 (neg.f64 z)))
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (pow.f64 y 2) z) 1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z)) 3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2) 1/2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3) 1/3)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z)) 2)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (*.f64 (pow.f64 y -2) z) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (*.f64 (/.f64 z y) (/.f64 1 y)) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (*.f64 (pow.f64 y -2) z) 1) -1)
(/.f64 (pow.f64 y 2) z)
(pow.f64 (/.f64 (/.f64 z y) y) -1)
(/.f64 (pow.f64 y 2) z)
(neg.f64 (/.f64 (/.f64 y z) (/.f64 -1 y)))
(/.f64 (pow.f64 y 2) z)
(sqrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 2))
(/.f64 (pow.f64 y 2) z)
(log.f64 (exp.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 y 2) z))))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (pow.f64 (/.f64 (pow.f64 y 2) z) 3))
(/.f64 (pow.f64 y 2) z)
(cbrt.f64 (/.f64 (pow.f64 (/.f64 z y) -3) (pow.f64 y -3)))
(expm1.f64 (log1p.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (log.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (pow.f64 y 2) z)) 1) 1))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (pow.f64 y 2) z))) 3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 (pow.f64 y 2) z))) 1/3))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (pow.f64 y 2) z))) 2))
(/.f64 (pow.f64 y 2) z)
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y -2) z)) -1))
(/.f64 (pow.f64 y 2) z)
(log1p.f64 (expm1.f64 (/.f64 (pow.f64 y 2) z)))
(/.f64 (pow.f64 y 2) z)

eval46.0ms (1.8%)

Compiler

Compiled 2161 to 1340 computations (38% saved)

prune21.0ms (0.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1350135
Fresh000
Picked011
Done033
Total1354139
Accuracy
100.0%
Counts
139 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
✓94.4%
(+.f64 x (/.f64 (*.f64 y y) z))
✓99.9%
(+.f64 x (/.f64 y (/.f64 z y)))
✓99.9%
(+.f64 x (*.f64 (/.f64 y z) y))
Compiler

Compiled 75 to 42 computations (44% saved)

regimes23.0ms (0.9%)

Counts
4 → 1
Calls
Call 1
Inputs
(+.f64 x (*.f64 (/.f64 y z) y))
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (/.f64 (*.f64 y y) z))
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
Outputs
(+.f64 x (/.f64 y (/.f64 z y)))
Calls

6 calls:

5.0ms
x
4.0ms
z
4.0ms
y
4.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
3.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
99.9%1x
99.9%1y
99.9%1z
99.9%1(+.f64 x (/.f64 (*.f64 y y) z))
99.9%1(/.f64 (*.f64 y y) z)
99.9%1(*.f64 y y)
Compiler

Compiled 69 to 40 computations (42% saved)

regimes9.0ms (0.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(+.f64 x (*.f64 (/.f64 y z) y))
Outputs
(+.f64 x (*.f64 (/.f64 y z) y))
Calls

3 calls:

3.0ms
x
3.0ms
z
3.0ms
y
Results
AccuracySegmentsBranch
99.9%1x
99.9%1y
99.9%1z
Compiler

Compiled 22 to 15 computations (31.8% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01562
11862
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
Outputs
(+.f64 x (/.f64 y (/.f64 z y)))
(+.f64 x (*.f64 (/.f64 y z) y))
(+.f64 x (*.f64 y (/.f64 y z)))
Compiler

Compiled 20 to 12 computations (40% saved)

soundness727.0ms (28.9%)

Rules
3976×fma-def
3976×fma-def
1444×div-sub
1444×div-sub
1184×fma-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
030256
161252
2127224
3376224
41044224
52692224
63920224
75452224
86174224
96623224
106839224
117204224
127575224
030256
161252
2127224
3376224
41044224
52692224
63920224
75452224
86174224
96623224
106839224
117204224
127575224
Stop Event
1×node limit
1×node limit
Compiler

Compiled 34 to 18 computations (47.1% saved)

end0.0ms (0%)

preprocess37.0ms (1.5%)

Remove

(abs y)

Compiler

Compiled 94 to 54 computations (42.6% saved)

Profiling

Loading profile data...