Data.HyperLogLog.Config:hll from hyperloglog-0.3.4

Time bar (total: 3.7s)

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 8 to 5 computations (37.5% saved)

sample1.1s (30.6%)

Results
874.0ms6246×body256valid
232.0ms2010×body256infinite
Bogosity

preprocess31.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
352×fma-def
106×associate-*r*
64×unsub-neg
58×associate-*l*
56×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01569
13869
28469
319769
431669
547169
657169
757169
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 (*.f64 x y) y)
(*.f64 (*.f64 (neg.f64 x) y) y)
(*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y))
(*.f64 (*.f64 y x) x)
Outputs
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (neg.f64 x) y) y)
(*.f64 y (*.f64 x (neg.f64 y)))
(*.f64 x (*.f64 (neg.f64 y) y))
(*.f64 x (*.f64 y (neg.f64 y)))
(*.f64 (*.f64 x (neg.f64 y)) (neg.f64 y))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 y x) x)
(*.f64 y (*.f64 x x))
Symmetry

(abs y)

Compiler

Compiled 7 to 4 computations (42.9% saved)

eval0.0ms (0%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

prune2.0ms (0%)

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

Compiled 28 to 16 computations (42.9% saved)

localize27.0ms (0.7%)

Localize:

Found 2 expressions with local error:

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

Compiled 23 to 7 computations (69.6% saved)

series23.0ms (0.6%)

Counts
2 → 48
Calls

12 calls:

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

rewrite71.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
1294×pow1
1184×add-exp-log
1184×log1p-expm1-u
1184×expm1-log1p-u
1156×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0826
116026
2170926
Stop Event
1×node limit
Counts
2 → 22
Calls
Call 1
Inputs
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x y) y)
Outputs
(-.f64 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(-.f64 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))

simplify72.0ms (2%)

Algorithm
1×egg-herbie
Rules
2164×log-prod
1110×distribute-rgt-in
1088×distribute-lft-in
816×associate-*r*
696×associate-*l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
038910
192910
2328910
32170910
47050910
Stop Event
1×node limit
Counts
70 → 13
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 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 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(-.f64 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.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 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 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(*.f64 x (*.f64 y y))
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(*.f64 x (*.f64 y y))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(*.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))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(-.f64 (+.f64 1 (*.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 x (*.f64 y y)) 3) 1/3)
(*.f64 x (*.f64 y y))
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(*.f64 x (*.f64 y y))
(sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))
(*.f64 x (*.f64 y y))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(*.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))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))

eval2.0ms (0.1%)

Compiler

Compiled 95 to 41 computations (56.8% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New12113
Fresh000
Picked022
Done000
Total12315
Accuracy
99.9%
Counts
15 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
▶49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
Compiler

Compiled 44 to 28 computations (36.4% saved)

localize49.0ms (1.3%)

Localize:

Found 2 expressions with local error:

NewAccuracyProgram
✓99.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓99.8%
(*.f64 y (sqrt.f64 x))
Compiler

Compiled 18 to 8 computations (55.6% saved)

series23.0ms (0.6%)

Counts
2 → 24
Calls

12 calls:

TimeVariablePointExpression
6.0ms
x
@inf
(*.f64 y (sqrt.f64 x))
4.0ms
x
@0
(*.f64 y (sqrt.f64 x))
2.0ms
x
@-inf
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
2.0ms
x
@0
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
1.0ms
x
@-inf
(*.f64 y (sqrt.f64 x))

rewrite138.0ms (3.8%)

Algorithm
1×batch-egg-rewrite
Rules
1516×pow1
1390×add-exp-log
1390×log1p-expm1-u
1390×expm1-log1p-u
1356×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0928
118324
2204424
Stop Event
1×node limit
Counts
2 → 35
Calls
Call 1
Inputs
(*.f64 y (sqrt.f64 x))
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
Outputs
(-.f64 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(sqrt.f64 (*.f64 x (*.f64 y y)))
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 y (*.f64 (sqrt.f64 x) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (*.f64 y y) x)
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) y) (sqrt.f64 x))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 (*.f64 y y)) x))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))

simplify94.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
1240×exp-sum
1174×distribute-rgt-in
1162×distribute-lft-in
1000×fma-def
984×log-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079777
1190777
2683777
32236777
46949777
Stop Event
1×node limit
Counts
59 → 39
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.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 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(sqrt.f64 (*.f64 x (*.f64 y y)))
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 y (*.f64 (sqrt.f64 x) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (*.f64 y y) x)
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) y) (sqrt.f64 x))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 (*.f64 y y)) x))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
Outputs
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) 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 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(*.f64 (sqrt.f64 x) y)
(sqrt.f64 (*.f64 x (*.f64 y y)))
(*.f64 (sqrt.f64 x) y)
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) y)
(log.f64 (pow.f64 (exp.f64 y) (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) y)
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(*.f64 (sqrt.f64 x) y)
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 (sqrt.f64 x) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 x (*.f64 y y))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (*.f64 y y) x)
(*.f64 x (*.f64 y y))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) y) (sqrt.f64 x))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(*.f64 x (*.f64 y y))
(log.f64 (pow.f64 (exp.f64 (*.f64 y y)) x))
(*.f64 x (*.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(*.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))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))

eval6.0ms (0.2%)

Compiler

Compiled 367 to 128 computations (65.1% saved)

prune14.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New38139
Fresh000
Picked011
Done022
Total38442
Accuracy
100.0%
Counts
42 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶54.0%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
✓49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
▶54.0%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
Compiler

Compiled 64 to 42 computations (34.4% saved)

localize52.0ms (1.4%)

Localize:

Found 3 expressions with local error:

NewAccuracyProgram
✓99.8%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
94.1%
(*.f64 x (*.f64 y y))
✓84.6%
(sqrt.f64 (*.f64 x (*.f64 y y)))
Compiler

Compiled 28 to 9 computations (67.9% saved)

series2.0ms (0%)

Counts
2 → 24
Calls

12 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
0.0ms
x
@0
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
0.0ms
x
@0
(sqrt.f64 (*.f64 x (*.f64 y y)))
0.0ms
x
@inf
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
0.0ms
x
@-inf
(sqrt.f64 (*.f64 x (*.f64 y y)))

rewrite73.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
1554×pow1
1426×add-exp-log
1426×log1p-expm1-u
1426×expm1-log1p-u
1392×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01030
120324
2207724
Stop Event
1×node limit
Counts
2 → 55
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 x (*.f64 y y)))
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
Outputs
(-.f64 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(*.f64 y (sqrt.f64 x))
(*.f64 (*.f64 y (sqrt.f64 x)) 1)
(*.f64 1 (*.f64 y (sqrt.f64 x)))
(*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 y))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (pow.f64 1 1/2) (*.f64 y (sqrt.f64 x)))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) 1/2) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 1/2))
(*.f64 (pow.f64 (*.f64 x y) 1/2) (sqrt.f64 y))
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(log.f64 (exp.f64 (*.f64 y (sqrt.f64 x))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 y y) x)
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 (pow.f64 (cbrt.f64 y) 2) x))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 y y)))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 y y)))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 x y) y)
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 (*.f64 (*.f64 x y) 1) y)
(*.f64 (*.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))

simplify152.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
1412×fma-def
1040×distribute-rgt-in
1004×distribute-lft-in
928×log-prod
870×associate-+r+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01201171
12871171
210131171
331661171
Stop Event
1×node limit
Counts
79 → 65
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(*.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 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(*.f64 y (sqrt.f64 x))
(*.f64 (*.f64 y (sqrt.f64 x)) 1)
(*.f64 1 (*.f64 y (sqrt.f64 x)))
(*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 y))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (pow.f64 1 1/2) (*.f64 y (sqrt.f64 x)))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) 1/2) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 1/2))
(*.f64 (pow.f64 (*.f64 x y) 1/2) (sqrt.f64 y))
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(log.f64 (exp.f64 (*.f64 y (sqrt.f64 x))))
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 y y) x)
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 (pow.f64 (cbrt.f64 y) 2) x))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 y y)))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 y y)))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 x y) y)
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 (*.f64 (*.f64 x y) 1) y)
(*.f64 (*.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
Outputs
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(neg.f64 (*.f64 (sqrt.f64 x) y))
(*.f64 (sqrt.f64 x) (neg.f64 y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(neg.f64 (*.f64 (sqrt.f64 x) y))
(*.f64 (sqrt.f64 x) (neg.f64 y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(neg.f64 (*.f64 (sqrt.f64 x) y))
(*.f64 (sqrt.f64 x) (neg.f64 y))
(*.f64 -1 (*.f64 (sqrt.f64 x) y))
(neg.f64 (*.f64 (sqrt.f64 x) y))
(*.f64 (sqrt.f64 x) (neg.f64 y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(-.f64 (+.f64 1 (*.f64 y (sqrt.f64 x))) 1)
(*.f64 (sqrt.f64 x) y)
(*.f64 y (sqrt.f64 x))
(*.f64 (sqrt.f64 x) y)
(*.f64 (*.f64 y (sqrt.f64 x)) 1)
(*.f64 (sqrt.f64 x) y)
(*.f64 1 (*.f64 y (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) y)
(*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (sqrt.f64 x) y)
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 x) y)
(*.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 y))
(*.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y)))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))) (sqrt.f64 (cbrt.f64 (*.f64 y (*.f64 x y)))))
(*.f64 (pow.f64 1 1/2) (*.f64 y (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) y)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) 1/2) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 1/2))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))) (sqrt.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))) (sqrt.f64 (cbrt.f64 (*.f64 y (*.f64 x y)))))
(*.f64 (pow.f64 (*.f64 x y) 1/2) (sqrt.f64 y))
(*.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 x y)))
(pow.f64 (*.f64 x (*.f64 y y)) 1/2)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (*.f64 y (sqrt.f64 x)) 1)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) 3)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3) 1/3)
(*.f64 (sqrt.f64 x) y)
(pow.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) 2)
(*.f64 (sqrt.f64 x) y)
(fabs.f64 (*.f64 y (sqrt.f64 x)))
(*.f64 (sqrt.f64 x) y)
(log.f64 (exp.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 3))
(*.f64 (sqrt.f64 x) y)
(expm1.f64 (log1p.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(exp.f64 (log.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(log1p.f64 (expm1.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 (sqrt.f64 x) y)
(-.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 y (*.f64 x y))
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 y y) x)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 y (sqrt.f64 x)) (*.f64 y (sqrt.f64 x)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 1 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 (pow.f64 (cbrt.f64 y) 2) x))
(*.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 x (pow.f64 (cbrt.f64 y) 2)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)) (cbrt.f64 (*.f64 y (*.f64 x y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (*.f64 (cbrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4)) (cbrt.f64 (*.f64 x (*.f64 y y))))
(*.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4)) (cbrt.f64 (*.f64 y (*.f64 x y))))
(*.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 (sqrt.f64 (*.f64 y (sqrt.f64 x))) (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (sqrt.f64 x) (*.f64 y (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 (*.f64 y (sqrt.f64 x)))) (sqrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
(*.f64 (cbrt.f64 (pow.f64 y 4)) (*.f64 x (pow.f64 (cbrt.f64 y) 2)))
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (cbrt.f64 (*.f64 x (*.f64 y y)))) (cbrt.f64 (*.f64 y (sqrt.f64 x))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x)) y)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 x y) 1) y)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(sqrt.f64 (pow.f64 (*.f64 y (sqrt.f64 x)) 4))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 x y))

eval93.0ms (2.6%)

Compiler

Compiled 780 to 314 computations (59.7% saved)

prune56.0ms (1.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New76278
Fresh000
Picked011
Done033
Total76682
Accuracy
100.0%
Counts
82 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓54.0%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
▶99.6%
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶74.8%
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
✓49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓54.0%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
▶99.6%
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶74.8%
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
Compiler

Compiled 112 to 74 computations (33.9% saved)

localize250.0ms (6.9%)

Localize:

Found 6 expressions with local error:

NewAccuracyProgram
✓99.8%
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
✓99.7%
(*.f64 (*.f64 x y) (sqrt.f64 y))
✓99.1%
(pow.f64 (cbrt.f64 y) 2)
✓99.0%
(cbrt.f64 y)
✓90.6%
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
✓52.5%
(cbrt.f64 (pow.f64 y 4))
Compiler

Compiled 59 to 28 computations (52.5% saved)

series213.0ms (5.8%)

Counts
6 → 48
Calls

27 calls:

TimeVariablePointExpression
113.0ms
x
@-inf
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
68.0ms
x
@0
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
5.0ms
x
@inf
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
4.0ms
y
@-inf
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
3.0ms
x
@0
(*.f64 (*.f64 x y) (sqrt.f64 y))

rewrite231.0ms (6.3%)

Algorithm
1×batch-egg-rewrite
Rules
1406×log-prod
1036×pow-prod-down
748×pow-prod-up
680×pow-exp
636×pow-unpow
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01674
131970
2358570
Stop Event
1×node limit
Counts
6 → 188
Calls
Call 1
Inputs
(cbrt.f64 (pow.f64 y 4))
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(cbrt.f64 y)
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (*.f64 x y) (sqrt.f64 y))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
Outputs
(+.f64 0 (*.f64 y (cbrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)) (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (cbrt.f64 y)))) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 (*.f64 y (cbrt.f64 y)) 1)
(*.f64 (cbrt.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 y) 2))
(*.f64 1 (*.f64 y (cbrt.f64 y)))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (pow.f64 (*.f64 y (cbrt.f64 y)) 5/6) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 y 4/3)
(pow.f64 (pow.f64 y 4) 1/3)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1)
(pow.f64 (cbrt.f64 y) 4)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)
(pow.f64 (sqrt.f64 y) 8/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 6)
(pow.f64 (pow.f64 (cbrt.f64 y) 8) 1/2)
(pow.f64 (pow.f64 y 1/6) 8)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 12)
(pow.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) 3)
(pow.f64 (pow.f64 y 8) 1/6)
(pow.f64 (pow.f64 y 12) 1/9)
(pow.f64 (*.f64 y y) 2/3)
(pow.f64 (pow.f64 y 3) 4/9)
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (cbrt.f64 y))) 3)
(pow.f64 (*.f64 (pow.f64 y 3) y) 1/3)
(pow.f64 (*.f64 y (pow.f64 y 3)) 1/3)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 8))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (cbrt.f64 y)))))
(expm1.f64 (log1p.f64 (*.f64 y (cbrt.f64 y))))
(exp.f64 (*.f64 4/3 (log.f64 y)))
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3))
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 4/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 4/3))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 4))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 2))
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 4/3 (log.f64 y))) 3))
(log1p.f64 (expm1.f64 (*.f64 y (cbrt.f64 y))))
(+.f64 0 (*.f64 (*.f64 y (cbrt.f64 y)) x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 1)
(pow.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)) 3)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)) 1/2)
(pow.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(exp.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))))
(exp.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1))
(exp.f64 (*.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3))) 1/3))
(exp.f64 (*.f64 (+.f64 (*.f64 2/3 (log.f64 y)) (log.f64 (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(+.f64 0 (cbrt.f64 y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))) (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))))
(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 y))) 1)
(*.f64 (cbrt.f64 y) 1)
(*.f64 1 (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (pow.f64 y 4) 1/18)))
(pow.f64 y 1/3)
(pow.f64 (pow.f64 y 4) 1/12)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1/4)
(pow.f64 (cbrt.f64 y) 1)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/2)
(pow.f64 (sqrt.f64 y) 2/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3/2)
(pow.f64 (pow.f64 y 1/6) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(pow.f64 (*.f64 y y) 1/6)
(pow.f64 (pow.f64 y 3) 1/9)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(fabs.f64 (cbrt.f64 y))
(log.f64 (exp.f64 (cbrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 y))))
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(exp.f64 (log.f64 (cbrt.f64 y)))
(exp.f64 (*.f64 (log.f64 y) 1/3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 1))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 1/6 (log.f64 y)) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) 3))
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(+.f64 0 (pow.f64 (cbrt.f64 y) 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2))) 1)
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) 1)
(*.f64 (sqrt.f64 y) (pow.f64 y 1/6))
(*.f64 1 (pow.f64 (cbrt.f64 y) 2))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (pow.f64 y 1/6) (sqrt.f64 y))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))) (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 5) (cbrt.f64 (cbrt.f64 y)))
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(fabs.f64 (pow.f64 (cbrt.f64 y) 2))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 y) 2))))
(cbrt.f64 (*.f64 y y))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2)))
(exp.f64 (*.f64 2/3 (log.f64 y)))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 2/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 2/3))
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/6))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/6))
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1))
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 2/3 (log.f64 y))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 y)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 2) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 y) 2)))
(+.f64 0 (*.f64 x (pow.f64 y 3/2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2)))) 1)
(pow.f64 (*.f64 x (pow.f64 y 3/2)) 1)
(pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y)) 3)
(pow.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)) 1/2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2))) 2)
(pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3)
(sqrt.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 3/2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1) 1))
(exp.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (pow.f64 y 3/2)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 3/2))))
(+.f64 0 (*.f64 x (*.f64 y y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(-.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 (sqrt.f64 x) y) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6) 1/3)
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 y x) 3)) 1/3)
(pow.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2)) 3)
(sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 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 (sqrt.f64 x) y) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 x) y)) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))

simplify335.0ms (9.2%)

Algorithm
1×egg-herbie
Rules
1890×fma-def
1290×log-prod
1216×prod-exp
526×sqr-pow
444×log-pow
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04224294970920
18893646
224483294
365223294
Stop Event
1×node limit
Counts
236 → 226
Calls
Call 1
Inputs
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.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 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(+.f64 0 (*.f64 y (cbrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)) (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (cbrt.f64 y)))) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 (*.f64 y (cbrt.f64 y)) 1)
(*.f64 (cbrt.f64 y) y)
(*.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 y) 2))
(*.f64 1 (*.f64 y (cbrt.f64 y)))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (pow.f64 (*.f64 y (cbrt.f64 y)) 5/6) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 y 4/3)
(pow.f64 (pow.f64 y 4) 1/3)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1)
(pow.f64 (cbrt.f64 y) 4)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)
(pow.f64 (sqrt.f64 y) 8/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 6)
(pow.f64 (pow.f64 (cbrt.f64 y) 8) 1/2)
(pow.f64 (pow.f64 y 1/6) 8)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 12)
(pow.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) 3)
(pow.f64 (pow.f64 y 8) 1/6)
(pow.f64 (pow.f64 y 12) 1/9)
(pow.f64 (*.f64 y y) 2/3)
(pow.f64 (pow.f64 y 3) 4/9)
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (cbrt.f64 y))) 3)
(pow.f64 (*.f64 (pow.f64 y 3) y) 1/3)
(pow.f64 (*.f64 y (pow.f64 y 3)) 1/3)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 8))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (cbrt.f64 y)))))
(expm1.f64 (log1p.f64 (*.f64 y (cbrt.f64 y))))
(exp.f64 (*.f64 4/3 (log.f64 y)))
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3))
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 4/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 4/3))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/3))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 4))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 4))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 2))
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 4/3 (log.f64 y))) 3))
(log1p.f64 (expm1.f64 (*.f64 y (cbrt.f64 y))))
(+.f64 0 (*.f64 (*.f64 y (cbrt.f64 y)) x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 1)
(pow.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)) 3)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)) 1/2)
(pow.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)) 1/3)
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)) 2)
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(exp.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))))
(exp.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1))
(exp.f64 (*.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3))) 1/3))
(exp.f64 (*.f64 (+.f64 (*.f64 2/3 (log.f64 y)) (log.f64 (sqrt.f64 x))) 2))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(+.f64 0 (cbrt.f64 y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))) (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))))
(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 y))) 1)
(*.f64 (cbrt.f64 y) 1)
(*.f64 1 (cbrt.f64 y))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (pow.f64 y 4) 1/18)))
(pow.f64 y 1/3)
(pow.f64 (pow.f64 y 4) 1/12)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1/4)
(pow.f64 (cbrt.f64 y) 1)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/2)
(pow.f64 (sqrt.f64 y) 2/3)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3/2)
(pow.f64 (pow.f64 y 1/6) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(pow.f64 (*.f64 y y) 1/6)
(pow.f64 (pow.f64 y 3) 1/9)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(fabs.f64 (cbrt.f64 y))
(log.f64 (exp.f64 (cbrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 y))))
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(exp.f64 (log.f64 (cbrt.f64 y)))
(exp.f64 (*.f64 (log.f64 y) 1/3))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 1))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 1/6 (log.f64 y)) 2))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) 3))
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(+.f64 0 (pow.f64 (cbrt.f64 y) 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2))) 1)
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) 1)
(*.f64 (sqrt.f64 y) (pow.f64 y 1/6))
(*.f64 1 (pow.f64 (cbrt.f64 y) 2))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (pow.f64 y 1/6) (sqrt.f64 y))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))) (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 5) (cbrt.f64 (cbrt.f64 y)))
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(fabs.f64 (pow.f64 (cbrt.f64 y) 2))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 y) 2))))
(cbrt.f64 (*.f64 y y))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2)))
(exp.f64 (*.f64 2/3 (log.f64 y)))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1))
(exp.f64 (*.f64 (log.f64 y) 2/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 2/3))
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/6))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/6))
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1/2))
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1/2))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 2))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 2))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1))
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 2/3 (log.f64 y))) 3))
(exp.f64 (*.f64 (*.f64 2 (log.f64 y)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 2) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 y) 2)))
(+.f64 0 (*.f64 x (pow.f64 y 3/2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2)))) 1)
(pow.f64 (*.f64 x (pow.f64 y 3/2)) 1)
(pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y)) 3)
(pow.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)) 1/2)
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2))) 2)
(pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3)
(sqrt.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 3/2)))))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1) 1))
(exp.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (pow.f64 y 3/2)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 3/2))))
(+.f64 0 (*.f64 x (*.f64 y y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(-.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 (sqrt.f64 x) y) 4) 1/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6) 1/3)
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 y x) 3)) 1/3)
(pow.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2)) 3)
(sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 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 (sqrt.f64 x) y) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 x) y)) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
Outputs
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 (pow.f64 (*.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 x (pow.f64 y 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(*.f64 -1 (*.f64 x (*.f64 (pow.f64 y 2) (pow.f64 (sqrt.f64 -1) 2))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(+.f64 0 (*.f64 y (cbrt.f64 y)))
(*.f64 y (cbrt.f64 y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)) (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))))
(*.f64 y (cbrt.f64 y))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (cbrt.f64 y)))) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 y (cbrt.f64 y))
(*.f64 (*.f64 y (cbrt.f64 y)) 1)
(*.f64 y (cbrt.f64 y))
(*.f64 (cbrt.f64 y) y)
(*.f64 y (cbrt.f64 y))
(*.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 y) 2))
(*.f64 y (cbrt.f64 y))
(*.f64 1 (*.f64 y (cbrt.f64 y)))
(*.f64 y (cbrt.f64 y))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4) (cbrt.f64 (pow.f64 (cbrt.f64 y) 8)))
(*.f64 (pow.f64 (*.f64 y (cbrt.f64 y)) 5/6) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 y 4/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 4) 1/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 y (cbrt.f64 y)) 1)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 y) 4)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)
(*.f64 y (cbrt.f64 y))
(pow.f64 (sqrt.f64 y) 8/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 6)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 (cbrt.f64 y) 8) 1/2)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 1/6) 8)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 12)
(*.f64 y (cbrt.f64 y))
(pow.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) 3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 8) 1/6)
(pow.f64 (pow.f64 y 12) 1/9)
(*.f64 (pow.f64 (pow.f64 y 12) 1/18) (pow.f64 (pow.f64 y 12) 1/18))
(pow.f64 (*.f64 y y) 2/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (pow.f64 y 3) 4/9)
(*.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18)) (*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))) (*.f64 (*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18)) (*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))))
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (cbrt.f64 y))) 3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 (pow.f64 y 3) y) 1/3)
(*.f64 y (cbrt.f64 y))
(pow.f64 (*.f64 y (pow.f64 y 3)) 1/3)
(*.f64 y (cbrt.f64 y))
(sqrt.f64 (pow.f64 (cbrt.f64 y) 8))
(*.f64 y (cbrt.f64 y))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) y))
(*.f64 y (cbrt.f64 y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (cbrt.f64 y)))))
(*.f64 y (cbrt.f64 y))
(expm1.f64 (log1p.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 4/3 (log.f64 y)))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (log.f64 y) 4/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 4/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/3))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 4))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 2))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 2))
(*.f64 y (cbrt.f64 y))
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 4/3 (log.f64 y))) 3))
(*.f64 y (cbrt.f64 y))
(log1p.f64 (expm1.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 y (cbrt.f64 y))
(+.f64 0 (*.f64 (*.f64 y (cbrt.f64 y)) x))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 1)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(pow.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x) 1)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(pow.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)) 3)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)) 1/2)
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)))
(fabs.f64 (*.f64 y (*.f64 x (cbrt.f64 y))))
(pow.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 x)) 2)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 y) 8) (*.f64 x x)))
(fabs.f64 (*.f64 y (*.f64 x (cbrt.f64 y))))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y (cbrt.f64 y))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(exp.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(exp.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(exp.f64 (*.f64 (*.f64 (+.f64 (log.f64 x) (*.f64 4/3 (log.f64 y))) 1) 1))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x))) 3))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3))) 1/3))
(cbrt.f64 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
(exp.f64 (*.f64 (+.f64 (*.f64 2/3 (log.f64 y)) (log.f64 (sqrt.f64 x))) 2))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(log1p.f64 (expm1.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x)))
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (*.f64 y (cbrt.f64 y)))
(*.f64 y (*.f64 x (cbrt.f64 y)))
(+.f64 0 (cbrt.f64 y))
(cbrt.f64 y)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))) (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y))))) (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (cbrt.f64 y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 y)))))
(cbrt.f64 y)
(-.f64 (exp.f64 (log1p.f64 (cbrt.f64 y))) 1)
(cbrt.f64 y)
(*.f64 (cbrt.f64 y) 1)
(cbrt.f64 y)
(*.f64 1 (cbrt.f64 y))
(cbrt.f64 y)
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(cbrt.f64 y)
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (pow.f64 y 4) 1/18))
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (cbrt.f64 y)))
(*.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (pow.f64 (pow.f64 y 4) 1/18)))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)) (pow.f64 (pow.f64 y 4) 1/36))
(pow.f64 y 1/3)
(cbrt.f64 y)
(pow.f64 (pow.f64 y 4) 1/12)
(pow.f64 (*.f64 y (cbrt.f64 y)) 1/4)
(pow.f64 (cbrt.f64 y) 1)
(cbrt.f64 y)
(pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/2)
(cbrt.f64 y)
(pow.f64 (sqrt.f64 y) 2/3)
(cbrt.f64 y)
(pow.f64 (pow.f64 (pow.f64 y 4) 1/18) 3/2)
(pow.f64 (pow.f64 y 1/6) 2)
(cbrt.f64 y)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(cbrt.f64 y)
(pow.f64 (*.f64 y y) 1/6)
(cbrt.f64 y)
(pow.f64 (pow.f64 y 3) 1/9)
(*.f64 (pow.f64 (pow.f64 y 3) 1/18) (pow.f64 (pow.f64 y 3) 1/18))
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(cbrt.f64 y)
(fabs.f64 (cbrt.f64 y))
(cbrt.f64 y)
(log.f64 (exp.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 y))))
(cbrt.f64 y)
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(exp.f64 (log.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 y) 1/3))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 1/3))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 1))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 1))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1/2))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1/2))
(cbrt.f64 y)
(exp.f64 (*.f64 (*.f64 1/6 (log.f64 y)) 2))
(cbrt.f64 y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) 3))
(cbrt.f64 y)
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(cbrt.f64 y)
(+.f64 0 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))))
(pow.f64 (cbrt.f64 y) 2)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2))) 1)
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (pow.f64 (cbrt.f64 y) 2) 1)
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (sqrt.f64 y) (pow.f64 y 1/6))
(pow.f64 (cbrt.f64 y) 2)
(*.f64 1 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (pow.f64 (pow.f64 y 4) 1/18) (cbrt.f64 (*.f64 y (cbrt.f64 y))))
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/36) 6)
(*.f64 (pow.f64 y 1/6) (sqrt.f64 y))
(pow.f64 (cbrt.f64 y) 2)
(*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (pow.f64 (pow.f64 y 4) 1/18))
(pow.f64 (pow.f64 (pow.f64 y 4) 1/36) 6)
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))) (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))))
(*.f64 (sqrt.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 4)) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 y) 8))))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 5) (cbrt.f64 (cbrt.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(fabs.f64 (pow.f64 (cbrt.f64 y) 2))
(pow.f64 (cbrt.f64 y) 2)
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 (cbrt.f64 y) 2))))
(pow.f64 (cbrt.f64 y) 2)
(cbrt.f64 (*.f64 y y))
(pow.f64 (cbrt.f64 y) 2)
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 2/3 (log.f64 y)))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (log.f64 y) 2/3))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1) 2/3))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/6))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1) 1/6))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 4 (log.f64 y)) 1/3) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 4/3 (log.f64 y)) 1) 1/2))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (log.f64 y) 1/3) 2))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (log.f64 (cbrt.f64 y)) 1) 2))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 2/3 (log.f64 y)) 1) 1))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 1/3 (*.f64 2/3 (log.f64 y))) 3))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 2 (log.f64 y)) 1/3))
(pow.f64 (cbrt.f64 y) 2)
(exp.f64 (*.f64 (*.f64 (log.f64 y) 2) 1/3))
(pow.f64 (cbrt.f64 y) 2)
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 y) 2)))
(pow.f64 (cbrt.f64 y) 2)
(+.f64 0 (*.f64 x (pow.f64 y 3/2)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))) (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2)))) 1)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 x (pow.f64 y 3/2)) 1)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y)) 3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)) 1/2)
(sqrt.f64 (*.f64 (pow.f64 y 3) (*.f64 x x)))
(sqrt.f64 (*.f64 x (*.f64 x (pow.f64 y 3))))
(fabs.f64 (*.f64 x (pow.f64 y 3/2)))
(pow.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3) 1/3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2))) 2)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(sqrt.f64 (*.f64 (*.f64 x x) (pow.f64 y 3)))
(sqrt.f64 (*.f64 (pow.f64 y 3) (*.f64 x x)))
(sqrt.f64 (*.f64 x (*.f64 x (pow.f64 y 3))))
(fabs.f64 (*.f64 x (pow.f64 y 3/2)))
(log.f64 (pow.f64 (exp.f64 x) (pow.f64 y 3/2)))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (pow.f64 y 3/2)))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(cbrt.f64 (pow.f64 (*.f64 x (pow.f64 y 3/2)) 3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(expm1.f64 (log1p.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (pow.f64 y 3/2))) 1) 1))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 x) (sqrt.f64 y))) 3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (pow.f64 y 3/2)))) 1/3))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (pow.f64 y 3/2)))) 2))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(log1p.f64 (expm1.f64 (*.f64 x (pow.f64 y 3/2))))
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(+.f64 0 (*.f64 x (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 y y)))) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (*.f64 x (*.f64 y y)) 1)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4) 1/2)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6) 1/3)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 y x))) 3)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(pow.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 y x) 3)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (*.f64 y x) 3)))
(cbrt.f64 (*.f64 (pow.f64 y 6) (pow.f64 x 3)))
(pow.f64 (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 y) 2)) 3)
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(sqrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 4))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 y y)))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 y y)))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (log.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 y y))) 1) 1))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 y y)))) 3))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 6)) 1/3))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 (sqrt.f64 x) y)) 2))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))
(*.f64 x (*.f64 y y))
(*.f64 y (*.f64 y x))

eval114.0ms (3.1%)

Compiler

Compiled 3188 to 1863 computations (41.6% saved)

prune150.0ms (4.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

PrunedKeptTotal
New2242226
Fresh000
Picked112
Done044
Total2257232
Accuracy
100.0%
Counts
232 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓49.8%
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
✓54.0%
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
99.0%
(*.f64 (pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3) (sqrt.f64 y))
✓99.6%
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
96.6%
(*.f64 (*.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
✓99.8%
(*.f64 (*.f64 x y) y)
✓89.1%
(*.f64 x (*.f64 y y))
Compiler

Compiled 129 to 75 computations (41.9% saved)

regimes74.0ms (2%)

Counts
8 → 1
Calls
Call 1
Inputs
(*.f64 x (*.f64 y y))
(*.f64 (*.f64 x y) y)
(pow.f64 (*.f64 y (sqrt.f64 x)) 2)
(*.f64 (*.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 y y))) 2)
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 y) (cbrt.f64 x)) 3) (sqrt.f64 y))
(*.f64 (*.f64 x (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))
Outputs
(*.f64 (*.f64 x y) y)
Calls

3 calls:

35.0ms
y
18.0ms
x
14.0ms
(*.f64 (*.f64 x y) y)
Results
AccuracySegmentsBranch
99.8%1x
99.8%1y
99.8%1(*.f64 (*.f64 x y) y)
Compiler

Compiled 77 to 41 computations (46.8% saved)

regimes22.0ms (0.6%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

2 calls:

10.0ms
x
10.0ms
y
Results
AccuracySegmentsBranch
89.1%1x
89.1%1y
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify13.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0826
11126
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x y) y)
(*.f64 x (*.f64 y y))
Outputs
(*.f64 (*.f64 x y) y)
(*.f64 y (*.f64 x y))
(*.f64 x (*.f64 y y))
Compiler

Compiled 14 to 8 computations (42.9% saved)

soundness126.0ms (3.4%)

Rules
352×fma-def
106×associate-*r*
64×unsub-neg
58×associate-*l*
56×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01569
13869
28469
319769
431669
547169
657169
757169
Stop Event
1×saturated
Compiler

Compiled 12 to 6 computations (50% saved)

end0.0ms (0%)

preprocess22.0ms (0.6%)

Remove

(abs y)

Compiler

Compiled 52 to 28 computations (46.2% saved)

Profiling

Loading profile data...