Linear.V2:$cdot from linear-1.19.1.3, A

Time bar (total: 2.5s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (49%)

Results
821.0ms6260×body256valid
412.0ms1996×body256infinite
Bogosity

preprocess88.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
1016×fma-def
160×unsub-neg
100×fma-neg
86×associate-*r*
68×distribute-lft-in
Problems
255×No Errors
1×(+.f64 (*.f64 x y) (*.f64 z t))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041340
180340
2113340
3146340
4203340
5308340
6479340
7813340
81028340
91161340
101216340
111220340
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 z t))
(+.f64 (*.f64 x (neg.f64 y)) (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 (neg.f64 z) t))
(+.f64 (*.f64 x y) (*.f64 z (neg.f64 t)))
(+.f64 (*.f64 y x) (*.f64 z t))
(+.f64 (*.f64 z y) (*.f64 x t))
(+.f64 (*.f64 t y) (*.f64 z x))
(+.f64 (*.f64 x z) (*.f64 y t))
(+.f64 (*.f64 x t) (*.f64 z y))
(+.f64 (*.f64 x y) (*.f64 t z))
Outputs
(+.f64 (*.f64 x y) (*.f64 z t))
(fma.f64 x y (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z t))
(fma.f64 x y (*.f64 z t))
(+.f64 (*.f64 (neg.f64 x) y) (*.f64 z t))
(fma.f64 x (neg.f64 y) (*.f64 z t))
(-.f64 (*.f64 z t) (*.f64 x y))
(+.f64 (*.f64 x (neg.f64 y)) (*.f64 z t))
(fma.f64 x (neg.f64 y) (*.f64 z t))
(-.f64 (*.f64 z t) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 (neg.f64 z) t))
(fma.f64 x y (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z (neg.f64 t)))
(fma.f64 x y (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 y x) (*.f64 z t))
(fma.f64 x y (*.f64 z t))
(+.f64 (*.f64 z y) (*.f64 x t))
(fma.f64 x t (*.f64 y z))
(fma.f64 y z (*.f64 x t))
(+.f64 (*.f64 t y) (*.f64 z x))
(fma.f64 x z (*.f64 y t))
(+.f64 (*.f64 x z) (*.f64 y t))
(fma.f64 x z (*.f64 y t))
(+.f64 (*.f64 x t) (*.f64 z y))
(fma.f64 x t (*.f64 y z))
(fma.f64 y z (*.f64 x t))
(+.f64 (*.f64 x y) (*.f64 t z))
(fma.f64 x y (*.f64 z t))
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 33 to 15 computations (54.5% saved)

eval0.0ms (0%)

Compiler

Compiled 10 to 6 computations (40% saved)

prune2.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.6%
(fma.f64 x y (*.f64 z t))
▶99.6%
(+.f64 (*.f64 x y) (*.f64 z t))
▶99.6%
(fma.f64 x y (*.f64 z t))
▶99.6%
(+.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 42 to 26 computations (38.1% saved)

localize37.0ms (1.5%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓99.6%
(fma.f64 x y (*.f64 z t))
✓99.7%
(+.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 35 to 9 computations (74.3% saved)

series6.0ms (0.3%)

Counts
2 → 96
Calls

24 calls:

TimeVariablePointExpression
1.0ms
x
@inf
(fma.f64 x y (*.f64 z t))
1.0ms
y
@-inf
(fma.f64 x y (*.f64 z t))
0.0ms
x
@0
(+.f64 (*.f64 x y) (*.f64 z t))
0.0ms
z
@0
(+.f64 (*.f64 x y) (*.f64 z t))
0.0ms
x
@-inf
(+.f64 (*.f64 x y) (*.f64 z t))

rewrite122.0ms (4.8%)

Algorithm
1×batch-egg-rewrite
Rules
1158×unpow-prod-down
792×log-prod
743×log1p-expm1-u
743×expm1-log1p-u
696×fma-def
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01654
116254
2201854
Stop Event
1×node limit
Counts
2 → 149
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
(fma.f64 x y (*.f64 z t))
Outputs
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 x y (*.f64 z t))
(fma.f64 y x (*.f64 z t))
(fma.f64 (*.f64 x y) 1 (*.f64 z t))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 z t) 1 (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 z t))
(fma.f64 1 (*.f64 z t) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) y) (*.f64 z t))
(fma.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 (cbrt.f64 t) z) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) t) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 z t))
(fma.f64 (cbrt.f64 (*.f64 z t)) (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (cbrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 z t))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 z t))
(fma.f64 (sqrt.f64 t) (*.f64 (sqrt.f64 t) z) (*.f64 x y))
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) t) (*.f64 x y))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 z t))
(fma.f64 (sqrt.f64 (*.f64 z t)) (sqrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 z t))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 z t))
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 z t))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 z t))
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t) (*.f64 x y))
(fma.f64 (*.f64 z (sqrt.f64 t)) (sqrt.f64 t) (*.f64 x y))
(fma.f64 (*.f64 t (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) (*.f64 x y))
(fma.f64 (*.f64 t (sqrt.f64 z)) (sqrt.f64 z) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 z t) (*.f64 x y))
(+.f64 0 (fma.f64 x y (*.f64 z t)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))

simplify195.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
1372×fma-def
796×log-prod
714×exp-prod
670×fma-neg
608×distribute-lft-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02479143
16058973
217558917
366348781
Stop Event
1×node limit
Counts
245 → 109
Calls
Call 1
Inputs
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 x y (*.f64 z t))
(fma.f64 y x (*.f64 z t))
(fma.f64 (*.f64 x y) 1 (*.f64 z t))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 z t) 1 (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 z t))
(fma.f64 1 (*.f64 z t) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) y) (*.f64 z t))
(fma.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 (cbrt.f64 t) z) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) t) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 z t))
(fma.f64 (cbrt.f64 (*.f64 z t)) (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (cbrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 z t))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 z t))
(fma.f64 (sqrt.f64 t) (*.f64 (sqrt.f64 t) z) (*.f64 x y))
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) t) (*.f64 x y))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 z t))
(fma.f64 (sqrt.f64 (*.f64 z t)) (sqrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 z t))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 z t))
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 z t))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 z t))
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t) (*.f64 x y))
(fma.f64 (*.f64 z (sqrt.f64 t)) (sqrt.f64 t) (*.f64 x y))
(fma.f64 (*.f64 t (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) (*.f64 x y))
(fma.f64 (*.f64 t (sqrt.f64 z)) (sqrt.f64 z) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 z t) (*.f64 x y))
(+.f64 0 (fma.f64 x y (*.f64 z t)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))
Outputs
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(fma.f64 t z (*.f64 x y))
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(fma.f64 t z (*.f64 x y))
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(fma.f64 t z (*.f64 x y))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(fma.f64 t z (*.f64 x y))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 t z (*.f64 x y)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)))
(pow.f64 (pow.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2) 1/6) 4)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)))
(pow.f64 (pow.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2) 1/6) 4)
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (*.f64 (fma.f64 t z (*.f64 x y)) (cbrt.f64 (fma.f64 t z (*.f64 x y)))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 5/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(fma.f64 t z (*.f64 x y))
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(fma.f64 t z (*.f64 x y))
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(fma.f64 t z (*.f64 x y))
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(fma.f64 t z (*.f64 x y))
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(fma.f64 t z (*.f64 x y))
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(fma.f64 t z (*.f64 x y))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(fma.f64 t z (*.f64 x y))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(fma.f64 t z (*.f64 x y))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 y x (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 x y) 1 (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 z t (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 z t) 1 (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 1 (*.f64 x y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 1 (*.f64 z t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 t) 2) (*.f64 (cbrt.f64 t) z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 z t)) (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z t)) 2) (cbrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (cbrt.f64 (*.f64 x y)) (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 t) (*.f64 (sqrt.f64 t) z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 z t)) (sqrt.f64 (*.f64 z t)) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 z (sqrt.f64 t)) (sqrt.f64 t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 t (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(fma.f64 (*.f64 t (sqrt.f64 z)) (sqrt.f64 z) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 z t))
(fma.f64 t z (*.f64 x y))
(+.f64 (*.f64 z t) (*.f64 x y))
(fma.f64 t z (*.f64 x y))
(+.f64 0 (fma.f64 x y (*.f64 z t)))
(fma.f64 t z (*.f64 x y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 t z (*.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))))
(fma.f64 t z (*.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x y (*.f64 z t)))) 1)
(fma.f64 t z (*.f64 x y))
(-.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (fma.f64 x y (*.f64 z t)) 1)
(fma.f64 t z (*.f64 x y))
(*.f64 (fma.f64 x y (*.f64 z t)) (log.f64 (exp.f64 1)))
(fma.f64 t z (*.f64 x y))
(*.f64 1 (fma.f64 x y (*.f64 z t)))
(fma.f64 t z (*.f64 x y))
(*.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (cbrt.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 t z (*.f64 x y)))) 2))
(*.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) (sqrt.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(*.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))) 1))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (pow.f64 (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t))) 1))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 1 1/3) (fma.f64 x y (*.f64 z t)))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3) (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)))
(pow.f64 (pow.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2) 1/6) 4)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2)))
(pow.f64 (pow.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 3/2) 1/6) 4)
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 z t)) (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2) 1/3) (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (*.f64 (fma.f64 t z (*.f64 x y)) (cbrt.f64 (fma.f64 t z (*.f64 x y)))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 t z (*.f64 x y))) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 5/2) 1/3) (pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 t z (*.f64 x y)))) (cbrt.f64 (pow.f64 (fma.f64 t z (*.f64 x y)) 5/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(/.f64 1 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y (*.f64 z t))))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2)) (-.f64 (*.f64 x y) (*.f64 z t)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) (neg.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) (neg.f64 (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(pow.f64 (fma.f64 x y (*.f64 z t)) 1)
(fma.f64 t z (*.f64 x y))
(pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t))) 3)
(fma.f64 t z (*.f64 x y))
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2) 1/2)
(fma.f64 t z (*.f64 x y))
(pow.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3) 1/3)
(fma.f64 t z (*.f64 x y))
(pow.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t))) 2)
(fma.f64 t z (*.f64 x y))
(pow.f64 (/.f64 (fma.f64 (*.f64 z t) (-.f64 (*.f64 z t) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)) (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))) -1)
(*.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (/.f64 1 (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 t z) (-.f64 (*.f64 t z) (*.f64 x y)) (pow.f64 (*.f64 x y) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 t (*.f64 z (fma.f64 t z (*.f64 y (neg.f64 x)))) (pow.f64 (*.f64 x y) 2)))
(pow.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 z t) 2))) -1)
(/.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (pow.f64 (*.f64 t z) 2)) (-.f64 (*.f64 x y) (*.f64 t z)))
(sqrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 2))
(fma.f64 t z (*.f64 x y))
(log.f64 (exp.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x y (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (pow.f64 (exp.f64 x) y) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (pow.f64 (exp.f64 z) t)))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x y))) (+.f64 1 (expm1.f64 (*.f64 z t)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (pow.f64 (exp.f64 z) t) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (pow.f64 (exp.f64 x) y)))
(fma.f64 t z (*.f64 x y))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 z t))) (+.f64 1 (expm1.f64 (*.f64 x y)))))
(fma.f64 t z (*.f64 x y))
(cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 z t)) 3))
(fma.f64 t z (*.f64 x y))
(expm1.f64 (log1p.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(exp.f64 (log.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x y (*.f64 z t))) 1) 1))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x y (*.f64 z t)))) 3))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x y (*.f64 z t)))) 1/3))
(fma.f64 t z (*.f64 x y))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x y (*.f64 z t)))) 2))
(fma.f64 t z (*.f64 x y))
(log1p.f64 (expm1.f64 (fma.f64 x y (*.f64 z t))))
(fma.f64 t z (*.f64 x y))

eval55.0ms (2.1%)

Compiler

Compiled 1665 to 533 computations (68% saved)

prune20.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1063109
Fresh000
Picked022
Done000
Total1065111
Accuracy
100.0%
Counts
111 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 z t (*.f64 x y))
✓99.6%
(fma.f64 x y (*.f64 z t))
✓99.6%
(+.f64 (*.f64 x y) (*.f64 z t))
▶55.0%
(*.f64 x y)
▶50.3%
(*.f64 t z)
▶100.0%
(fma.f64 z t (*.f64 x y))
✓99.6%
(fma.f64 x y (*.f64 z t))
✓99.6%
(+.f64 (*.f64 x y) (*.f64 z t))
▶55.0%
(*.f64 x y)
▶50.3%
(*.f64 t z)
Compiler

Compiled 90 to 58 computations (35.6% saved)

localize35.0ms (1.4%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(fma.f64 z t (*.f64 x y))
Compiler

Compiled 28 to 8 computations (71.4% saved)

series2.0ms (0.1%)

Counts
1 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
t
@-inf
(fma.f64 z t (*.f64 x y))
0.0ms
z
@0
(fma.f64 z t (*.f64 x y))
0.0ms
t
@inf
(fma.f64 z t (*.f64 x y))
0.0ms
z
@inf
(fma.f64 z t (*.f64 x y))
0.0ms
z
@-inf
(fma.f64 z t (*.f64 x y))

rewrite56.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
714×unpow-prod-down
590×log-prod
521×log1p-expm1-u
521×expm1-log1p-u
448×exp-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01427
112727
2139827
Stop Event
1×node limit
Counts
1 → 38
Calls
Call 1
Inputs
(fma.f64 z t (*.f64 x y))
Outputs
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 z t) (*.f64 x y))
(+.f64 0 (fma.f64 z t (*.f64 x y)))
(+.f64 (*.f64 (*.f64 z t) 1) (*.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(-.f64 (+.f64 1 (fma.f64 z t (*.f64 x y))) 1)
(*.f64 (fma.f64 z t (*.f64 x y)) 1)
(*.f64 (fma.f64 z t (*.f64 x y)) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 z t (*.f64 x y)))
(*.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) (sqrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 3) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 z t (*.f64 x y)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 z t (*.f64 x y)) (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 (*.f64 z t) (*.f64 x y)))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 z t (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 3)
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 z t (*.f64 x y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))) 2)) (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y))))) (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2))
(log.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))
(cbrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (fma.f64 z t (*.f64 x y))))
(exp.f64 (log.f64 (fma.f64 z t (*.f64 x y))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 z t (*.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 z t (*.f64 x y))))

simplify78.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
1444×fma-neg
896×log-prod
876×fma-def
516×unswap-sqr
506×*-commutative
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01172614
12792538
29342528
338382482
473292482
Stop Event
1×node limit
Counts
86 → 57
Calls
Call 1
Inputs
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 t z) (*.f64 x y))
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 z t) (*.f64 x y))
(+.f64 0 (fma.f64 z t (*.f64 x y)))
(+.f64 (*.f64 (*.f64 z t) 1) (*.f64 x y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(-.f64 (+.f64 1 (fma.f64 z t (*.f64 x y))) 1)
(*.f64 (fma.f64 z t (*.f64 x y)) 1)
(*.f64 (fma.f64 z t (*.f64 x y)) (log.f64 (E.f64)))
(*.f64 1 (fma.f64 z t (*.f64 x y)))
(*.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) (sqrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 3) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(*.f64 (pow.f64 1 1/3) (fma.f64 z t (*.f64 x y)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 z t (*.f64 x y)) (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
(*.f64 (pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 (*.f64 z t) (*.f64 x y)))))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(pow.f64 (fma.f64 z t (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 3)
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) 2)
(pow.f64 (E.f64) (log.f64 (fma.f64 z t (*.f64 x y))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))) 2)) (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y))))) (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2))
(log.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))
(cbrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (fma.f64 z t (*.f64 x y))))
(exp.f64 (log.f64 (fma.f64 z t (*.f64 x y))))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 z t (*.f64 x y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))) 2))
(log1p.f64 (expm1.f64 (fma.f64 z t (*.f64 x y))))
Outputs
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(*.f64 x y)
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 t z) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 x y) (*.f64 z t))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 z t) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 0 (fma.f64 z t (*.f64 x y)))
(fma.f64 x y (*.f64 t z))
(+.f64 (*.f64 (*.f64 z t) 1) (*.f64 x y))
(fma.f64 x y (*.f64 t z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 t z)))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 t z))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 t z))))))
(*.f64 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x y (*.f64 t z))))) 3)
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))))
(fma.f64 x y (*.f64 t z))
(-.f64 (+.f64 1 (fma.f64 z t (*.f64 x y))) 1)
(fma.f64 x y (*.f64 t z))
(*.f64 (fma.f64 z t (*.f64 x y)) 1)
(fma.f64 x y (*.f64 t z))
(*.f64 (fma.f64 z t (*.f64 x y)) (log.f64 (E.f64)))
(fma.f64 x y (*.f64 t z))
(*.f64 1 (fma.f64 z t (*.f64 x y)))
(fma.f64 x y (*.f64 t z))
(*.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 2) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(*.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) (sqrt.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 3) (cbrt.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 1 1/3) (fma.f64 z t (*.f64 x y)))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3)) 1/3))
(fma.f64 x y (*.f64 t z))
(*.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 z t (*.f64 x y)) (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 t z)))) (cbrt.f64 (pow.f64 (*.f64 (fma.f64 x y (*.f64 t z)) (cbrt.f64 (fma.f64 x y (*.f64 t z)))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 t z)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 t z))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x y (*.f64 t z)))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y (*.f64 t z))) 8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 x y (*.f64 t z)) 5/2)) (cbrt.f64 (sqrt.f64 (fma.f64 x y (*.f64 t z)))))
(/.f64 (+.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 z t) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 (*.f64 z t) (*.f64 x y)))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 t z) 2) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 (*.f64 x y) (*.f64 t z)))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (+.f64 (pow.f64 (*.f64 t z) 2) (*.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 t z)))))
(/.f64 (+.f64 (pow.f64 (*.f64 t z) 3) (pow.f64 (*.f64 x y) 3)) (fma.f64 (*.f64 x y) (-.f64 (*.f64 x y) (*.f64 t z)) (pow.f64 (*.f64 t z) 2)))
(/.f64 (-.f64 (pow.f64 (*.f64 z t) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 z t) (*.f64 x y)))
(/.f64 (-.f64 (pow.f64 (*.f64 t z) 2) (pow.f64 (*.f64 x y) 2)) (-.f64 (*.f64 t z) (*.f64 x y)))
(/.f64 (-.f64 (pow.f64 (*.f64 t z) 2) (pow.f64 (*.f64 x y) 2)) (fma.f64 t z (*.f64 x (neg.f64 y))))
(/.f64 (fma.f64 x y (*.f64 t z)) 1)
(pow.f64 (fma.f64 z t (*.f64 x y)) 1)
(fma.f64 x y (*.f64 t z))
(pow.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y))) 3)
(fma.f64 x y (*.f64 t z))
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2) 1/2)
(fma.f64 x y (*.f64 t z))
(pow.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3) 1/3)
(fma.f64 x y (*.f64 t z))
(pow.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y))) 2)
(fma.f64 x y (*.f64 t z))
(pow.f64 (E.f64) (log.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))) 2)) (cbrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 x y (*.f64 t z)))) 2)) (cbrt.f64 (log.f64 (fma.f64 x y (*.f64 t z)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y))))) (sqrt.f64 (log.f64 (fma.f64 z t (*.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 x y (*.f64 t z))))) (sqrt.f64 (log.f64 (fma.f64 x y (*.f64 t z)))))
(sqrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 2))
(fma.f64 x y (*.f64 t z))
(log.f64 (exp.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(cbrt.f64 (pow.f64 (fma.f64 z t (*.f64 x y)) 3))
(fma.f64 x y (*.f64 t z))
(expm1.f64 (log1p.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(exp.f64 (log.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 z t (*.f64 x y)))) 3))
(fma.f64 x y (*.f64 t z))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 z t (*.f64 x y)))) 1/3))
(fma.f64 x y (*.f64 t z))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 z t (*.f64 x y)))) 2))
(fma.f64 x y (*.f64 t z))
(log1p.f64 (expm1.f64 (fma.f64 z t (*.f64 x y))))
(fma.f64 x y (*.f64 t z))

eval17.0ms (0.7%)

Compiler

Compiled 824 to 248 computations (69.9% saved)

prune11.0ms (0.4%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New57057
Fresh000
Picked033
Done022
Total57562
Accuracy
100.0%
Counts
62 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 z t (*.f64 x y))
✓99.6%
(fma.f64 x y (*.f64 z t))
✓99.6%
(+.f64 (*.f64 x y) (*.f64 z t))
✓55.0%
(*.f64 x y)
✓50.3%
(*.f64 t z)
Compiler

Compiled 74 to 39 computations (47.3% saved)

regimes33.0ms (1.3%)

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

7 calls:

5.0ms
z
5.0ms
t
5.0ms
(*.f64 x y)
5.0ms
y
4.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1y
100.0%1z
100.0%1t
100.0%1(+.f64 (*.f64 x y) (*.f64 z t))
100.0%1(*.f64 x y)
100.0%1(*.f64 z t)
Compiler

Compiled 74 to 43 computations (41.9% saved)

regimes100.0ms (3.9%)

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

7 calls:

70.0ms
(*.f64 z t)
8.0ms
t
5.0ms
x
4.0ms
z
4.0ms
y
Results
AccuracySegmentsBranch
99.6%1x
99.6%1y
99.6%1z
99.6%1t
99.6%1(+.f64 (*.f64 x y) (*.f64 z t))
99.6%1(*.f64 x y)
99.6%1(*.f64 z t)
Compiler

Compiled 68 to 42 computations (38.2% saved)

regimes73.0ms (2.9%)

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

7 calls:

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

Compiled 62 to 41 computations (33.9% saved)

regimes68.0ms (2.7%)

Counts
2 → 5
Calls
Call 1
Inputs
(*.f64 t z)
(*.f64 x y)
Outputs
(*.f64 x y)
(*.f64 t z)
(*.f64 x y)
(*.f64 t z)
(*.f64 x y)
Calls

5 calls:

17.0ms
z
16.0ms
t
13.0ms
(*.f64 x y)
12.0ms
y
9.0ms
x
Results
AccuracySegmentsBranch
74.5%3x
77.0%3y
71.2%5z
79.5%5t
81.0%5(*.f64 x y)
Compiler

Compiled 37 to 27 computations (27% saved)

regimes12.0ms (0.5%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 t z)
Outputs
(*.f64 t z)
Calls

4 calls:

3.0ms
x
3.0ms
t
3.0ms
y
3.0ms
z
Results
AccuracySegmentsBranch
50.3%1z
50.3%1x
50.3%1t
50.3%1y
Compiler

Compiled 27 to 21 computations (22.2% saved)

bsearch47.0ms (1.8%)

Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
11.0ms
2.2751014606521253e+158
2.39360663550037e+160
12.0ms
6.720137234644246e+97
4.3389916520502023e+99
14.0ms
2.457151917192986e-59
3.466902073744611e-56
11.0ms
-3.642408849913367e-84
-4.4237971032649005e-86
Results
36.0ms410×body256valid
5.0ms54×body256infinite
Compiler

Compiled 424 to 332 computations (21.7% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
8×not-or
6×not-not
6×if-if-or-not
6×if-not
4×*-commutative
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033241
143235
246229
352225
456225
560225
661225
762225
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(fma.f64 z t (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (*.f64 x y) (if (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (*.f64 t z) (if (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (*.f64 x y) (if (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376) (*.f64 t z) (*.f64 x y)))))
(*.f64 t z)
Outputs
(fma.f64 z t (*.f64 x y))
(fma.f64 x y (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (*.f64 x y) (if (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (*.f64 t z) (if (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (*.f64 x y) (if (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376) (*.f64 t z) (*.f64 x y)))))
(if (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (*.f64 x y) (if (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (*.f64 z t) (if (or (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (not (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376))) (*.f64 x y) (*.f64 z t))))
(if (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (*.f64 x y) (if (or (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (not (or (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (not (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376))))) (*.f64 z t) (*.f64 x y)))
(if (or (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (not (or (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (not (or (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (not (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376))))))) (*.f64 x y) (*.f64 z t))
(if (or (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (not (or (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888) (and (not (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440)) (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376))))) (*.f64 x y) (*.f64 z t))
(if (or (<=.f64 (*.f64 x y) -7874102609218843/2187250724783011924372502227117621365353169430893212436425770606409952999199375923223513177023053824) (and (not (<=.f64 (*.f64 x y) 4593802368423799/883423532389192164791648750371459257913741948437809479060803100646309888)) (or (<=.f64 (*.f64 x y) 4300000000000000126662498538739519728979004887202038196878176021395756309587636148316920650074685440) (not (<=.f64 (*.f64 x y) 229999999999999985502572460996231922243816966734406826762757943388994622737098748197707601278445138707207098613908690865343230708707558859021369262607618277376))))) (*.f64 x y) (*.f64 z t))
(*.f64 t z)
(*.f64 z t)
Compiler

Compiled 74 to 44 computations (40.5% saved)

soundness183.0ms (7.2%)

Rules
1158×unpow-prod-down
1016×fma-def
792×log-prod
743×log1p-expm1-u
743×expm1-log1p-u
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01654
116254
2201854
041340
180340
2113340
3146340
4203340
5308340
6479340
7813340
81028340
91161340
101216340
111220340
Stop Event
1×saturated
1×node limit
Compiler

Compiled 41 to 17 computations (58.5% saved)

end0.0ms (0%)

preprocess47.0ms (1.9%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 178 to 84 computations (52.8% saved)

Profiling

Loading profile data...