Details

Time bar (total: 2.0s)

analyze53.0ms (2.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
28.6%25%62.4%0.1%12.5%0%0%6
33.3%25%50%0.1%25%0%0%7
45.5%31.2%37.5%0.1%31.2%0%0%8
61.7%39%24.2%0.1%36.7%0%0%9
70.1%42.9%18.3%0.1%38.6%0%0%10
79.9%47.2%11.9%0.1%40.8%0%0%11
84.5%49.4%9.1%0.1%41.5%0%0%12
Compiler

Compiled 10 to 6 computations (40% saved)

sample1.0s (53.7%)

Results
1.0s8256×body256valid
25.0ms326×body256infinite
Bogosity

preprocess214.0ms (11%)

Algorithm
2×egg-herbie
Rules
3098×associate-+r+
2400×associate--l-
1782×fma-def
756×associate-+l-
704×associate-+l+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01038
11838
25438
313438
432938
595938
6179638
7279138
8400438
9482038
10497238
11501038
12504838
13504838
14504838
15505038
16714138
17727438
18748138
022
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
(*.f64 (+.f64 y x) (-.f64 y x))
Outputs
(*.f64 (+.f64 x y) (-.f64 x y))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 y x))
(*.f64 (+.f64 x y) (-.f64 y x))
(-.f64 (*.f64 y y) (*.f64 x x))
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify153.0ms (7.8%)

Algorithm
1×egg-herbie
Rules
3568×associate-+r+
2578×associate-+l+
1278×fma-def
858×associate-+l-
656×associate--r+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
11219
23119
38119
418519
550119
6105119
7214219
8451519
9528019
10548519
11552719
12556519
13556519
14556519
15556719
Stop Event
1×node limit
Counts
1 → 3
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
Outputs
(*.f64 (+.f64 x y) (-.f64 x y))
(fma.f64 x x (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 x x) (*.f64 y y))

eval1.0ms (0%)

Compiler

Compiled 23 to 11 computations (52.2% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New123
Fresh011
Picked000
Done000
Total134
Error
0b
Counts
4 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 (*.f64 x x) (*.f64 y y))
▶0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 18 to 10 computations (44.4% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite59.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
1790×add-sqr-sqrt
1774×*-un-lft-identity
1660×add-cube-cbrt
1640×add-cbrt-cube
164×pow1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
115419
2220719
Stop Event
1×node limit
Counts
1 → 41
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 (neg.f64 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) x) (*.f64 (-.f64 x y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) y) (*.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 x y)) (*.f64 (neg.f64 y) (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 x y)) (*.f64 y (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (-.f64 x y)) (*.f64 x (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 x y)) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 x y)) (fma.f64 x x (*.f64 y (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 x y)) (fma.f64 x x (*.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 y y) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 y y) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 x y) (fma.f64 x x (*.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (-.f64 x y) (fma.f64 x x (*.f64 y (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (fma.f64 x x (*.f64 y (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (fma.f64 x x (*.f64 y (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (neg.f64 (*.f64 y y)))))))

simplify70.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
1206×fma-def
1154×associate-/l*
1034×times-frac
836×+-commutative
806×associate-+r-
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01362387
14281513
220841513
374961513
Stop Event
1×node limit
Counts
65 → 71
Calls
Call 1
Inputs
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(pow.f64 x 2)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 y (+.f64 (*.f64 -1 x) x)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))) (pow.f64 x 2)))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))) (pow.f64 x 2)))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 y) y))
(+.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(+.f64 (*.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (neg.f64 y)))
(+.f64 (*.f64 (-.f64 x y) x) (*.f64 (-.f64 x y) y))
(+.f64 (*.f64 (-.f64 x y) y) (*.f64 (-.f64 x y) x))
(+.f64 (*.f64 x (+.f64 x y)) (*.f64 (neg.f64 y) (+.f64 x y)))
(+.f64 (*.f64 x (-.f64 x y)) (*.f64 y (-.f64 x y)))
(+.f64 (*.f64 y (-.f64 x y)) (*.f64 x (-.f64 x y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) 1)
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
(/.f64 (*.f64 (-.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))
(/.f64 (*.f64 (+.f64 x y) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (+.f64 x y))))
(/.f64 (*.f64 (-.f64 x y) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)) (+.f64 x y))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 x y)) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 x y)) (fma.f64 x x (*.f64 y (-.f64 y x))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 x y)) (fma.f64 x x (*.f64 y (+.f64 x y))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 y y) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 y y) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x x) (*.f64 y y)))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 x y) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (-.f64 x y) (fma.f64 x x (*.f64 y (+.f64 x y)))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (fma.f64 x x (*.f64 y (+.f64 x y)))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(fma.f64 x x (neg.f64 (*.f64 y y)))
Outputs
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2))
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 y (+.f64 (*.f64 -1 x) x)))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))))
(*.f64 y (neg.f64 y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (+.f64 (*.f64 -1 (*.f64 y (+.f64 (*.f64 -1 x) x))) (pow.f64 x 2)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 x x) (*.f64 (neg.f64 y) y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 (+.f64 x y) x) (*.f64 (+.f64 x y) (neg.f64 y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 (-.f64 x y) x) (*.f64 (-.f64 x y) y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 (-.f64 x y) y) (*.f64 (-.f64 x y) x))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 x (+.f64 x y)) (*.f64 (neg.f64 y) (+.f64 x y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 x (-.f64 x y)) (*.f64 y (-.f64 x y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(+.f64 (*.f64 y (-.f64 x y)) (*.f64 x (-.f64 x y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(*.f64 (+.f64 y x) (-.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) 1)
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 x x) (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (-.f64 x y) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 x y) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (+.f64 x y))))
(/.f64 (+.f64 y x) (/.f64 (fma.f64 x x (*.f64 y (+.f64 y x))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (+.f64 y x)))) (+.f64 y x))
(*.f64 (+.f64 y x) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (+.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (-.f64 x y) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))
(*.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (-.f64 y x)))) (-.f64 x y))
(*.f64 (-.f64 x y) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 x y)) (+.f64 x y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 x y)) (-.f64 x y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 x y)) (fma.f64 x x (*.f64 y (-.f64 y x))))
(/.f64 (*.f64 (-.f64 x y) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (-.f64 y x))))
(*.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (-.f64 y x)))) (-.f64 x y))
(*.f64 (-.f64 x y) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 x y)) (fma.f64 x x (*.f64 y (+.f64 x y))))
(/.f64 (+.f64 y x) (/.f64 (fma.f64 x x (*.f64 y (+.f64 y x))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (+.f64 y x)))) (+.f64 y x))
(*.f64 (+.f64 y x) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (+.f64 y x) (*.f64 x x))))
(/.f64 (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 y y) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (-.f64 (*.f64 x (pow.f64 x 3)) (*.f64 y (pow.f64 y 3))) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 y y) 3)) (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x x) (*.f64 y y)))))
(/.f64 (-.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 y y) 3)) (+.f64 (*.f64 x (pow.f64 x 3)) (*.f64 (*.f64 y y) (fma.f64 x x (*.f64 y y)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (fma.f64 (*.f64 y y) (fma.f64 y y (*.f64 x x)) (pow.f64 x 4)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (fma.f64 y (fma.f64 x (*.f64 y x) (pow.f64 y 3)) (pow.f64 x 4)))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 x y) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(*.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 y x)) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (/.f64 1 (-.f64 x y))) (fma.f64 x x (*.f64 y (-.f64 y x))))
(*.f64 1 (*.f64 (-.f64 x y) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (-.f64 y x) (*.f64 x x)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (pow.f64 x 3) (pow.f64 y 3)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (-.f64 x y) (fma.f64 x x (*.f64 y (+.f64 x y)))))
(/.f64 (+.f64 y x) (/.f64 (fma.f64 x x (*.f64 y (+.f64 y x))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (+.f64 y x)))) (+.f64 y x))
(*.f64 (+.f64 y x) (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 y (+.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (-.f64 y x))) (fma.f64 x x (*.f64 y (+.f64 x y)))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (+.f64 y x)))) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 y x))) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (fma.f64 y (+.f64 y x) (*.f64 x x))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (fma.f64 x x (*.f64 y (+.f64 x y))) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (+.f64 y x)))) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (*.f64 (fma.f64 x x (*.f64 y (+.f64 y x))) (fma.f64 x x (*.f64 y (-.f64 y x)))))
(/.f64 (/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (fma.f64 y (+.f64 y x) (*.f64 x x))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))
(fma.f64 x x (neg.f64 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (*.f64 0 y) x))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (+.f64 y x) (-.f64 x y))

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 x x) (*.f64 y y))
Compiler

Compiled 17 to 5 computations (70.6% saved)

series1.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite60.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
1700×add-sqr-sqrt
1680×*-un-lft-identity
1570×add-cube-cbrt
1558×add-cbrt-cube
168×pow1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
115919
2224719
Stop Event
1×node limit
Counts
1 → 48
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) (*.f64 y y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (+.f64 (*.f64 y (neg.f64 y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 (*.f64 y (neg.f64 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (*.f64 y (neg.f64 y)) 1 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (pow.f64 y 4)) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (neg.f64 y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x y) (-.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x y) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (/.f64 1 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 x x (*.f64 y y)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))) (-.f64 (pow.f64 x 6) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y)))) (-.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))) (-.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (neg.f64 y)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y))) (*.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) (pow.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (neg.f64 (fma.f64 x x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (neg.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x y) (-.f64 x y) (fma.f64 (neg.f64 y) y (*.f64 y y)))))))

simplify72.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
1272×fma-def
1110×+-commutative
758×distribute-lft-in
680×distribute-rgt-in
498×*-commutative
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01322116
13522002
216701848
378141848
Stop Event
1×node limit
Counts
72 → 70
Calls
Call 1
Inputs
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(*.f64 -1 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(+.f64 (*.f64 x x) (+.f64 (*.f64 y (neg.f64 y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(+.f64 (*.f64 x x) (*.f64 (*.f64 y (neg.f64 y)) 1))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 1))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (*.f64 y (neg.f64 y)) 1 (*.f64 y y)))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (pow.f64 y 4)) (*.f64 y y)))
(+.f64 (*.f64 y (neg.f64 y)) (*.f64 x x))
(+.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))
(*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(*.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))
(*.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(*.f64 (+.f64 x y) (-.f64 x y))
(*.f64 (-.f64 x y) (+.f64 x y))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (/.f64 1 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))
(/.f64 1 (/.f64 (fma.f64 x x (*.f64 y y)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))) (-.f64 (pow.f64 x 6) (pow.f64 y 6))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y)))) (-.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))) (-.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (neg.f64 y)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y))) (*.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) (pow.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (neg.f64 (fma.f64 x x (*.f64 y y))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (neg.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(fma.f64 x x (*.f64 y (neg.f64 y)))
(fma.f64 1 (*.f64 x x) (*.f64 y (neg.f64 y)))
(fma.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(fma.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(fma.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 y (neg.f64 y)))
(fma.f64 (+.f64 x y) (-.f64 x y) (fma.f64 (neg.f64 y) y (*.f64 y y)))
Outputs
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(neg.f64 (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(neg.f64 (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 -1 (pow.f64 y 2))
(*.f64 y (neg.f64 y))
(neg.f64 (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (pow.f64 x 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 x x) (+.f64 (*.f64 y (neg.f64 y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 x x) (*.f64 (*.f64 y (neg.f64 y)) 1))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 1))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (*.f64 y (neg.f64 y)) 1 (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (pow.f64 y 4)) (*.f64 y y)))
(fma.f64 (+.f64 y x) (-.f64 x y) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (pow.f64 y 4)) (*.f64 y y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (pow.f64 y 4)) (fma.f64 x x 0))
(+.f64 (*.f64 y (neg.f64 y)) (*.f64 x x))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(*.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)))
(*.f64 (+.f64 x y) (-.f64 x y))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (-.f64 x y) (+.f64 x y))
(-.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (/.f64 1 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) 1) (+.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 (*.f64 y x) 2)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y x) 2) (+.f64 (pow.f64 x 4) (pow.f64 y 4))))
(/.f64 1 (/.f64 (fma.f64 x x (*.f64 y y)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))) (-.f64 (pow.f64 x 6) (pow.f64 y 6))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) 1) (+.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 (*.f64 y x) 2)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y x) 2) (+.f64 (pow.f64 x 4) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) 1) (+.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 (*.f64 y x) 2)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y x) 2) (+.f64 (pow.f64 x 4) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y)))) (-.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))) (-.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))
(/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (*.f64 (*.f64 0 (*.f64 y y)) (*.f64 0 (*.f64 y y)))) (fma.f64 (+.f64 y x) (-.f64 x y) (*.f64 0 (*.f64 y y))))
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 (*.f64 y (neg.f64 y)) 3)) (+.f64 (pow.f64 x 4) (-.f64 (*.f64 (*.f64 y (neg.f64 y)) (*.f64 y (neg.f64 y))) (*.f64 (*.f64 x x) (*.f64 y (neg.f64 y))))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) 1) (+.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 (*.f64 y x) 2)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y x) 2) (+.f64 (pow.f64 x 4) (pow.f64 y 4))))
(/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) (pow.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (-.f64 (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))) (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) (pow.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2) (*.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (-.f64 (fma.f64 (neg.f64 y) y (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y))))))
(/.f64 (+.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) (pow.f64 (*.f64 0 (*.f64 y y)) 3)) (fma.f64 (*.f64 0 (*.f64 y y)) (-.f64 (*.f64 0 (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y))) (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)))
(/.f64 (+.f64 0 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3)) (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (neg.f64 (fma.f64 x x (*.f64 y y))))
(*.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (fma.f64 x x (*.f64 y y))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 x x (*.f64 y y)))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 y y (*.f64 x x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (neg.f64 (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) 1) (+.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (pow.f64 (*.f64 y x) 2)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 (*.f64 y x) 2) (pow.f64 y 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 y x) 2) (+.f64 (pow.f64 x 4) (pow.f64 y 4))))
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 2)
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 3)
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3) 1/3)
(-.f64 (*.f64 x x) (*.f64 y y))
(sqrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2))
(-.f64 (*.f64 x x) (*.f64 y y))
(log.f64 (pow.f64 (exp.f64 (+.f64 x y)) (-.f64 x y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y)))))
(-.f64 (*.f64 x x) (*.f64 y y))
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 3))
(-.f64 (*.f64 x x) (*.f64 y y))
(expm1.f64 (log1p.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(exp.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 x x) (*.f64 y y))) 1))
(-.f64 (*.f64 x x) (*.f64 y y))
(log1p.f64 (expm1.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
(-.f64 (*.f64 x x) (*.f64 y y))
(fma.f64 x x (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(fma.f64 1 (*.f64 x x) (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(fma.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(fma.f64 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(fma.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(fma.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) (*.f64 0 (*.f64 y y)))
(fma.f64 (cbrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))) (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 2)) 0)
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (*.f64 y (neg.f64 y)))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (neg.f64 (*.f64 y y)))
(-.f64 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x))) (*.f64 y y))
(fma.f64 (+.f64 x y) (-.f64 x y) (fma.f64 (neg.f64 y) y (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))

eval28.0ms (1.4%)

Compiler

Compiled 2297 to 778 computations (66.1% saved)

prune17.0ms (0.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1392141
Fresh000
Picked011
Done011
Total1394143
Error
0b
Counts
143 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x x) (*.f64 y y))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
▶30.2b
(*.f64 y (neg.f64 y))
▶29.4b
(*.f64 x x)
Compiler

Compiled 29 to 17 computations (41.4% saved)

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize4.0ms (0.2%)

Compiler

Compiled 9 to 4 computations (55.6% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done033
Total044
Error
0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x x) (*.f64 y y))
✓0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
✓30.2b
(*.f64 y (neg.f64 y))
✓29.4b
(*.f64 x x)
Compiler

Compiled 29 to 17 computations (41.4% saved)

regimes11.0ms (0.6%)

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

3 calls:

4.0ms
x
3.0ms
(*.f64 (+.f64 x y) (-.f64 x y))
3.0ms
y
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 38 to 19 computations (50% saved)

regimes30.0ms (1.5%)

Accuracy

Total -47.2b remaining (-407.3%)

Threshold costs -47.2b (-407.3%)

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

2 calls:

21.0ms
x
8.0ms
y
Results
ErrorSegmentsBranch
11.6b7x
13.6b3y
Compiler

Compiled 15 to 9 computations (40% saved)

bsearch71.0ms (3.7%)

Algorithm
6×binary-search
Steps
TimeLeftRight
15.0ms
4.8631064998605356e-83
4.3503000626626484e-73
10.0ms
8.377057896305493e-132
2.3137817986265936e-130
8.0ms
7.015753452818661e-145
2.0428339458729045e-144
12.0ms
-2.817667043405355e-116
-1.4732093049591017e-119
12.0ms
-3.171905852251002e-92
-8.450662496276505e-96
13.0ms
-1.3910083717089636e-43
-4.3007069398015275e-47
Results
62.0ms736×body256valid
Compiler

Compiled 612 to 423 computations (30.9% saved)

simplify11.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
16×not-or
14×not-not
14×if-not
10×if-if-or-not
8×+-commutative
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
032141
147137
255137
364129
472129
582125
689125
794125
896125
997125
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (*.f64 y (neg.f64 y)) (if (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184) (*.f64 x x) (if (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (*.f64 y (neg.f64 y)) (if (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056) (*.f64 x x) (if (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024) (*.f64 y (neg.f64 y)) (*.f64 x x)))))))
(*.f64 x x)
Outputs
(*.f64 (+.f64 x y) (-.f64 x y))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (*.f64 y (neg.f64 y)) (if (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184) (*.f64 x x) (if (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (*.f64 y (neg.f64 y)) (if (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056) (*.f64 x x) (if (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024) (*.f64 y (neg.f64 y)) (*.f64 x x)))))))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (*.f64 y (neg.f64 y)) (if (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184) (*.f64 x x) (if (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (*.f64 y (neg.f64 y)) (if (or (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056) (not (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024))) (*.f64 x x) (*.f64 y (neg.f64 y)))))))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (*.f64 y (neg.f64 y)) (if (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184) (*.f64 x x) (if (or (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (not (or (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056) (not (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024))))) (*.f64 y (neg.f64 y)) (*.f64 x x)))))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (or (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (not (or (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184) (not (or (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (and (not (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056)) (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024))))))) (*.f64 y (neg.f64 y)) (*.f64 x x)))
(if (<=.f64 x -8034690221294951/3213876088517980551083924184682325205044405987565585670602752) (*.f64 x x) (if (or (<=.f64 x -98638788476501/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (and (not (<=.f64 x -1242156022966125/44362715105933037753254626946289339254982993206013065202727673289833940924890009968639590497666233249558259375382457149263586525184)) (or (<=.f64 x 439347050248359/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) (and (not (<=.f64 x 6792924845487599/799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285056)) (<=.f64 x 7822218149124427/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024))))) (*.f64 y (neg.f64 y)) (*.f64 x x)))
(*.f64 x x)
Compiler

Compiled 52 to 33 computations (36.5% saved)

soundness0.0ms (0%)

end27.0ms (1.4%)

Compiler

Compiled 48 to 28 computations (41.7% saved)

Profiling

Loading profile data...