Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, B

Time bar (total: 1.8s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 7 computations (30% saved)

sample742.0ms (40.7%)

Results
524.0ms6203×body256valid
208.0ms2053×body256infinite
Bogosity

preprocess90.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
1272×fma-def
404×unsub-neg
304×associate-*r*
206×distribute-lft-neg-in
168×distribute-lft-in
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01999
15595
215095
351395
486895
5135495
6180595
7189295
8190795
9191195
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 x 3) y) y)
(*.f64 (*.f64 (*.f64 x 3) y) y)
(*.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) y)
(*.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y))
(*.f64 (*.f64 (*.f64 y 3) x) x)
Outputs
(*.f64 (*.f64 (*.f64 x 3) y) y)
(*.f64 (*.f64 x 3) (*.f64 y y))
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 3 (*.f64 y (*.f64 x y)))
(*.f64 (*.f64 (*.f64 x 3) y) y)
(*.f64 (*.f64 x 3) (*.f64 y y))
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 3 (*.f64 y (*.f64 x y)))
(*.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) y)
(*.f64 y (*.f64 y (*.f64 3 (neg.f64 x))))
(*.f64 y (*.f64 y (*.f64 x -3)))
(*.f64 y (*.f64 -3 (*.f64 x y)))
(*.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) (neg.f64 y))
(*.f64 (*.f64 x 3) (*.f64 y y))
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 3 (*.f64 y (*.f64 x y)))
(*.f64 (*.f64 (*.f64 y 3) x) x)
(*.f64 (*.f64 3 y) (*.f64 x x))
(*.f64 3 (*.f64 y (*.f64 x x)))
(*.f64 x (*.f64 x (*.f64 3 y)))
Symmetry

(abs y)

Compiler

Compiled 30 to 19 computations (36.7% saved)

eval1.0ms (0%)

Compiler

Compiled 30 to 16 computations (46.7% saved)

prune3.0ms (0.2%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶87.9%
(*.f64 (*.f64 x 3) (*.f64 y y))
▶99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
▶99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
▶99.7%
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶87.9%
(*.f64 (*.f64 x 3) (*.f64 y y))
▶99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
▶99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
Compiler

Compiled 72 to 48 computations (33.3% saved)

localize194.0ms (10.7%)

Localize:

Found 6 expressions with local error:

NewAccuracyProgram
✓99.8%
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓99.7%
(*.f64 (*.f64 x 3) y)
✓87.9%
(*.f64 (*.f64 x 3) (*.f64 y y))
✓99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
✓99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
✓99.8%
(*.f64 (*.f64 x y) y)
Compiler

Compiled 71 to 31 computations (56.3% saved)

series8.0ms (0.4%)

Counts
6 → 144
Calls

36 calls:

TimeVariablePointExpression
1.0ms
x
@inf
(*.f64 (*.f64 x 3) y)
1.0ms
x
@0
(*.f64 (*.f64 x y) y)
1.0ms
y
@inf
(*.f64 (*.f64 x y) y)
0.0ms
x
@0
(*.f64 (*.f64 x 3) y)
0.0ms
y
@0
(*.f64 (*.f64 x 3) y)

rewrite88.0ms (4.8%)

Algorithm
1×batch-egg-rewrite
Rules
1466×log-prod
1124×pow-prod-down
798×pow-unpow
614×pow-prod-up
510×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
015102
1312102
23415102
Stop Event
1×node limit
Counts
6 → 129
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 (*.f64 x 3) (*.f64 y y))
(*.f64 (*.f64 x 3) y)
(*.f64 (*.f64 (*.f64 x 3) y) y)
Outputs
(+.f64 0 (*.f64 x (*.f64 y y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y y)))) 1)
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 x)) 3)
(pow.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 y 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y 3)))) 1)
(pow.f64 (*.f64 x (*.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y 3))) 3)
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y 3))) 2)
(pow.f64 (*.f64 (cbrt.f64 (*.f64 y 3)) (cbrt.f64 x)) 3)
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y 3)))))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y 3))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y 3))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y 3)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 y 3)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y 3))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))

simplify115.0ms (6.3%)

Algorithm
1×egg-herbie
Rules
2092×log-prod
544×log-pow
512×fma-def
490×unswap-sqr
454×sqr-pow
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01775085
13894941
210514737
337664737
468954737
Stop Event
1×node limit
Counts
273 → 81
Calls
Call 1
Inputs
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (pow.f64 y 2))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x y))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(+.f64 0 (*.f64 x (*.f64 y y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y y)))) 1)
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 x)) 3)
(pow.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) 1/3)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(+.f64 0 (*.f64 x (*.f64 y 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y 3)))) 1)
(pow.f64 (*.f64 x (*.f64 y 3)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y 3))) 3)
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y 3))) 2)
(pow.f64 (*.f64 (cbrt.f64 (*.f64 y 3)) (cbrt.f64 x)) 3)
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y 3)))))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y 3))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y 3))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y 3)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 y 3)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 y 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y 3))))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
Outputs
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x y))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 0 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 y y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))))
(*.f64 x (*.f64 y y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y y)))) 1)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)
(*.f64 x (*.f64 y y))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4) 1/2)
(*.f64 x (*.f64 y y))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6) 1/3)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 x)) 3)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)) 1/3)
(*.f64 x (*.f64 y y))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(*.f64 x (*.f64 y y))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) x))
(*.f64 x (*.f64 y y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(*.f64 x (*.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6))
(*.f64 x (*.f64 y y))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1))
(*.f64 x (*.f64 y y))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1) 1))
(*.f64 x (*.f64 y y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))) 3))
(*.f64 x (*.f64 y y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 6)) 1/3))
(*.f64 x (*.f64 y y))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 x))) 2))
(*.f64 x (*.f64 y y))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 0 (*.f64 x (*.f64 y 3)))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y 3)))) 1)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (*.f64 x (*.f64 y 3)) 1)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y 3))) 3)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2) 1/2)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3) 1/3)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y 3))) 2)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(pow.f64 (*.f64 (cbrt.f64 (*.f64 y 3)) (cbrt.f64 x)) 3)
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 2))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y 3)))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y 3)))))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y 3)) 3))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y 3))))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (log.f64 (*.f64 x (*.f64 y 3))))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y 3))) 1) 1))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y 3)))) 3))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 y 3)))) 1/3))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 y 3)))) 2))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y 3))))
(*.f64 x (*.f64 y 3))
(*.f64 y (*.f64 x 3))
(+.f64 0 (*.f64 x (*.f64 3 (*.f64 y y))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 x (*.f64 3 (*.f64 y y))) 1)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4) 1/2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6) 1/3)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 2)
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 4))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) (*.f64 x 3)))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y))))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 (*.f64 y y)))) 1) 1))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 (*.f64 y y))))) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) 6)) 1/3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (sqrt.f64 (*.f64 x 3)))) 2))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 (*.f64 y y)))))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 (*.f64 x y) (*.f64 y 3))
(*.f64 y (*.f64 y (*.f64 x 3)))

eval21.0ms (1.1%)

Compiler

Compiled 922 to 552 computations (40.1% saved)

prune13.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New80181
Fresh000
Picked134
Done000
Total81485
Accuracy
100.0%
Counts
85 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶99.8%
(*.f64 (*.f64 3 (*.f64 x y)) y)
✓99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
✓99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
✓99.7%
(*.f64 (*.f64 (*.f64 x 3) y) y)
▶99.8%
(*.f64 (*.f64 3 (*.f64 x y)) y)
✓99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
✓99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
Compiler

Compiled 72 to 48 computations (33.3% saved)

localize25.0ms (1.4%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓99.8%
(*.f64 (*.f64 3 (*.f64 x y)) y)
✓99.7%
(*.f64 3 (*.f64 x y))
Compiler

Compiled 21 to 10 computations (52.4% saved)

series1.0ms (0%)

Counts
2 → 24
Calls

12 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(*.f64 3 (*.f64 x y))
0.0ms
x
@0
(*.f64 3 (*.f64 x y))
0.0ms
x
@inf
(*.f64 3 (*.f64 x y))
0.0ms
y
@-inf
(*.f64 3 (*.f64 x y))
0.0ms
y
@inf
(*.f64 3 (*.f64 x y))

rewrite59.0ms (3.2%)

Algorithm
1×batch-egg-rewrite
Rules
1544×pow1
1416×add-exp-log
1416×log1p-expm1-u
1416×expm1-log1p-u
1386×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0832
116332
2194332
Stop Event
1×node limit
Counts
2 → 22
Calls
Call 1
Inputs
(*.f64 3 (*.f64 x y))
(*.f64 (*.f64 3 (*.f64 x y)) y)
Outputs
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x y))) 1)
(pow.f64 (*.f64 3 (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x y))) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 3))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x y))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x y))))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x y))))
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x (*.f64 y y)))) 1)
(pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 2))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 3 (*.f64 x y))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))

simplify69.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
1628×fma-def
918×associate-+r+
876×fma-neg
846×log-prod
842×associate-+l+
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
059940
1149874
2620808
32354808
47713808
Stop Event
1×node limit
Counts
46 → 29
Calls
Call 1
Inputs
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x y))) 1)
(pow.f64 (*.f64 3 (*.f64 x y)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) 3)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x y))) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 3))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x y))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x y))))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x y))))
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x (*.f64 y y)))) 1)
(pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 3)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 2)
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 2))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 3 (*.f64 x y))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
Outputs
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(*.f64 3 (*.f64 x (pow.f64 y 2)))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x y))) 1)
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(pow.f64 (*.f64 3 (*.f64 x y)) 1)
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x y))) 3)
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x y))) 2)
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 2))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(log.f64 (pow.f64 (pow.f64 (exp.f64 y) x) 3))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x y)) 3))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x y))))
(+.f64 1 (-.f64 (*.f64 3 (*.f64 x y)) 1))
(+.f64 (*.f64 3 (*.f64 x y)) 0)
(*.f64 3 (*.f64 x y))
(-.f64 (+.f64 1 (*.f64 3 (*.f64 x (*.f64 y y)))) 1)
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 1)
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 3)
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(pow.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3) 1/3)
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 x (*.f64 y y)))) 2)
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(sqrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 2))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 3 (*.f64 x y))))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 x (*.f64 y y))) 3))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(exp.f64 (log.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 x (*.f64 y y)))))
(*.f64 3 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 (*.f64 y y) 3))
(*.f64 x (*.f64 3 (*.f64 y y)))

eval62.0ms (3.4%)

Compiler

Compiled 271 to 149 computations (45% saved)

prune6.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New29029
Fresh000
Picked011
Done033
Total29433
Accuracy
100.0%
Counts
33 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(*.f64 (*.f64 (*.f64 x 3) y) y)
✓99.8%
(*.f64 (*.f64 3 (*.f64 x y)) y)
✓99.8%
(*.f64 (*.f64 3 y) (*.f64 x y))
✓99.8%
(*.f64 3 (*.f64 (*.f64 x y) y))
Compiler

Compiled 73 to 44 computations (39.7% saved)

regimes18.0ms (1%)

Counts
5 → 1
Calls
Call 1
Inputs
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 (*.f64 3 (*.f64 x y)) y)
(*.f64 (*.f64 x 3) (*.f64 y y))
(*.f64 (*.f64 (*.f64 x 3) y) y)
Outputs
(*.f64 (*.f64 3 y) (*.f64 x y))
Calls

4 calls:

4.0ms
(*.f64 x 3)
4.0ms
y
4.0ms
x
4.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
Results
AccuracySegmentsBranch
99.8%1x
99.8%1y
99.8%1(*.f64 (*.f64 (*.f64 x 3) y) y)
99.8%1(*.f64 x 3)
Compiler

Compiled 57 to 34 computations (40.4% saved)

regimes7.0ms (0.4%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

2 calls:

4.0ms
y
3.0ms
x
Results
AccuracySegmentsBranch
99.8%1x
99.8%1y
Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
10×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01038
11538
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 3 (*.f64 (*.f64 x y) y))
Outputs
(*.f64 (*.f64 3 y) (*.f64 x y))
(*.f64 (*.f64 3 y) (*.f64 y x))
(*.f64 3 (*.f64 (*.f64 x y) y))
(*.f64 3 (*.f64 y (*.f64 y x)))
Compiler

Compiled 18 to 12 computations (33.3% saved)

soundness265.0ms (14.5%)

Rules
1272×fma-def
1272×fma-def
404×unsub-neg
404×unsub-neg
304×associate-*r*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01999
15595
215095
351395
486895
5135495
6180595
7189295
8190795
9191195
01999
15595
215095
351395
486895
5135495
6180595
7189295
8190795
9191195
Stop Event
1×saturated
1×saturated
Compiler

Compiled 74 to 42 computations (43.2% saved)

end0.0ms (0%)

preprocess32.0ms (1.8%)

Remove

(abs y)

Compiler

Compiled 86 to 54 computations (37.2% saved)

Profiling

Loading profile data...