Details

Time bar (total: 2.3s)

analyze0.0ms (0%)

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

Compiled 24 to 18 computations (25% saved)

sample1.8s (78%)

Results
1.8s8256×body256valid
Bogosity

preprocess18.0ms (0.8%)

Algorithm
2×egg-herbie
Rules
16×rational_best.json-simplify-2
4×rational_best.json-simplify-74
4×rational_best.json-simplify-1
4×rational_best.json-simplify-44
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01986
13286
23686
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 2 (*.f64 x x)))
Outputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 2 y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 2 (*.f64 x x)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 x (*.f64 2 x)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (*.f64 x (*.f64 x 2)))
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify17.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
8×rational_best.json-simplify-2
2×rational_best.json-simplify-74
2×rational_best.json-simplify-1
2×rational_best.json-simplify-44
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01443
12143
22343
Stop Event
1×saturated
Counts
1 → 3
Calls
Call 1
Inputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
Outputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 2 y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))

eval1.0ms (0%)

Compiler

Compiled 47 to 35 computations (25.5% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New213
Fresh101
Picked000
Done000
Total314
Error
52.0b
Counts
4 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶52.0b
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Compiler

Compiled 17 to 13 computations (23.5% saved)

localize20.0ms (0.9%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓23.0b
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
Compiler

Compiled 50 to 36 computations (28% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@0
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0ms
x
@0
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms
y
@-inf
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms
x
@inf
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms
y
@inf
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite98.0ms (4.2%)

Algorithm
1×batch-egg-rewrite
Rules
916×rational_best.json-simplify-57
672×rational_best.json-simplify-80
578×rational_best.json-simplify-49
566×rational_best.json-simplify-43
470×rational_best.json-simplify-77
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01025
18125
225725
3104725
4443925
Stop Event
1×node limit
Counts
1 → 41
Calls
Call 1
Inputs
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 0 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (neg.f64 (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (pow.f64 y 4)) 2) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))))

simplify226.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
940×rational_best.json-simplify-50
788×rational_best.json-simplify-2
778×rational_best.json-simplify-80
644×rational_best.json-simplify-82
600×rational_best.json-simplify-78
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0871885
11741877
23521665
39371655
417891655
535951655
668501655
Stop Event
1×node limit
Counts
65 → 52
Calls
Call 1
Inputs
(*.f64 -1 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4))))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)
(+.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))
(+.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 0 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (neg.f64 (pow.f64 y 4)) 2))
(+.f64 (*.f64 (neg.f64 (pow.f64 y 4)) 2) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(*.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)
(*.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(*.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(*.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(*.f64 (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(*.f64 (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(*.f64 (/.f64 -1 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)
(/.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)) 2)
(/.f64 (-.f64 (*.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)) -2)
(pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(neg.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))
Outputs
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (/.f64 (+.f64 (neg.f64 (pow.f64 y 4)) (neg.f64 (pow.f64 y 4))) 2))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 0 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (*.f64 (pow.f64 x 4) 18) (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (neg.f64 (pow.f64 y 4)) 2))
(+.f64 (pow.f64 y 4) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (neg.f64 (pow.f64 y 4)) 2)))
(+.f64 (pow.f64 y 4) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) -2)))
(+.f64 (+.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (*.f64 (pow.f64 y 4) -2))
(+.f64 (*.f64 (neg.f64 (pow.f64 y 4)) 2) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (pow.f64 y 4) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (neg.f64 (pow.f64 y 4)) 2)))
(+.f64 (pow.f64 y 4) (+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) -2)))
(+.f64 (+.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (*.f64 (pow.f64 y 4) -2))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))) (*.f64 (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (*.f64 (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 (/.f64 -1 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))) (*.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4)))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))) -1)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)) 2)
(/.f64 (-.f64 (*.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)) -2)
(/.f64 (+.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) -2)) 2)
(/.f64 (-.f64 (*.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)) -2)
(/.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)) 2)
(/.f64 (+.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) -2)) 2)
(pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(neg.f64 (-.f64 (pow.f64 y 4) (*.f64 9 (pow.f64 x 4))))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

eval37.0ms (1.6%)

Compiler

Compiled 2084 to 1633 computations (21.6% saved)

prune7.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New50252
Fresh000
Picked011
Done000
Total50353
Error
52.0b
Counts
53 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓52.0b
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
▶57.8b
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
▶63.0b
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Compiler

Compiled 42 to 32 computations (23.8% saved)

localize13.0ms (0.5%)

Compiler

Compiled 30 to 21 computations (30% saved)

localize14.0ms (0.6%)

Compiler

Compiled 34 to 24 computations (29.4% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
52.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓52.0b
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
✓57.8b
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
✓63.0b
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Compiler

Compiled 42 to 32 computations (23.8% saved)

regimes12.0ms (0.5%)

Counts
4 → 1
Calls
Call 1
Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Outputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
Calls

5 calls:

3.0ms
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
2.0ms
(*.f64 9 (pow.f64 x 4))
2.0ms
(pow.f64 x 4)
2.0ms
y
2.0ms
x
Results
ErrorSegmentsBranch
52.0b1x
52.0b1y
52.0b1(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
52.0b1(*.f64 9 (pow.f64 x 4))
52.0b1(pow.f64 x 4)
Compiler

Compiled 88 to 66 computations (25% saved)

regimes7.0ms (0.3%)

Accuracy

Total -5.2b remaining (-9%)

Threshold costs -5.2b (-9%)

Counts
2 → 1
Calls
Call 1
Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
Outputs
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
Calls

4 calls:

2.0ms
(*.f64 9 (pow.f64 x 4))
2.0ms
y
2.0ms
(pow.f64 x 4)
1.0ms
x
Results
ErrorSegmentsBranch
57.8b1x
57.8b1y
57.8b1(*.f64 9 (pow.f64 x 4))
57.8b1(pow.f64 x 4)
Compiler

Compiled 41 to 31 computations (24.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020103
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Outputs
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 2 (*.f64 y y)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 y (*.f64 y 2)))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 y (*.f64 y 2)))
Compiler

Compiled 42 to 32 computations (23.8% saved)

soundness0.0ms (0%)

end30.0ms (1.3%)

Compiler

Compiled 38 to 28 computations (26.3% saved)

Profiling

Loading profile data...