Details

Time bar (total: 1.5s)

analyze49.0ms (3.2%)

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.1s (70.9%)

Results
1.1s8256×body256valid
29.0ms330×body256infinite
Bogosity

preprocess119.0ms (7.7%)

Algorithm
2×egg-herbie
Rules
1104×rational.json-simplify-2
922×rational.json-simplify-44
814×rational.json-simplify-47
802×rational.json-simplify-39
712×rational.json-simplify-37
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01038
11338
21738
32038
42838
58238
638938
7394238
8628438
9750838
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)

simplify117.0ms (7.6%)

Algorithm
1×egg-herbie
Rules
1086×rational.json-simplify-2
930×rational.json-simplify-44
904×rational.json-simplify-37
818×rational.json-simplify-47
806×rational.json-simplify-39
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
1919
21219
31519
42319
56819
637319
7395119
8626119
9742419
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
Outputs
(*.f64 (+.f64 x y) (-.f64 x y))
(-.f64 (*.f64 x x) (*.f64 y y))

eval0.0ms (0%)

Compiler

Compiled 16 to 8 computations (50% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.4%)

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
@0
(*.f64 (+.f64 x y) (-.f64 x y))
0.0ms
x
@inf
(*.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))

rewrite70.0ms (4.5%)

Algorithm
1×batch-egg-rewrite
Rules
1678×exponential.json-3
1678×rational.json-1
1678×rational.json-2
1678×rational.json-4
1678×rational.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
14619
210719
324419
447619
5125719
6464019
Stop Event
1×node limit
Counts
1 → 18
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x x) (*.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 -1 (-.f64 1 (-.f64 (*.f64 y y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)) (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (*.f64 y y) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.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 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (*.f64 (-.f64 x y) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y y) (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 y y) (*.f64 x x)))))))

simplify56.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
1372×rational.json-simplify-40
1188×rational.json-simplify-46
1094×rational.json-simplify-35
1086×rational.json-simplify-49
992×rational.json-simplify-43
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0671220
11531136
22781136
37891130
435311130
Stop Event
1×node limit
Counts
42 → 51
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 (*.f64 x x) (*.f64 y y)) 0)
(+.f64 0 (-.f64 (*.f64 x x) (*.f64 y y)))
(+.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))
(+.f64 -1 (-.f64 1 (-.f64 (*.f64 y y) (*.f64 x x))))
(+.f64 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)) (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)))
(+.f64 (neg.f64 (*.f64 y y)) (*.f64 x x))
(-.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 0)
(-.f64 0 (-.f64 (*.f64 y y) (*.f64 x x)))
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(/.f64 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 2)) 2)
(/.f64 (*.f64 (+.f64 x y) (*.f64 (-.f64 x y) 4)) 4)
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8) 8)
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) -1)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) 16)
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8))) 32)
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(neg.f64 (-.f64 (*.f64 y y) (*.f64 x x)))
Outputs
(*.f64 -1 (pow.f64 y 2))
(neg.f64 (pow.f64 y 2))
(+.f64 (*.f64 -1 (pow.f64 y 2)) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (neg.f64 (pow.f64 y 2)) (*.f64 (+.f64 y (neg.f64 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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(+.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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2))
(+.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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(+.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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (*.f64 (+.f64 y (*.f64 -1 y)) x))
(+.f64 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2))
(+.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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(+.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 (*.f64 (+.f64 y (*.f64 -1 y)) x) (pow.f64 x 2)))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 y (neg.f64 y)) x) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 x) x)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (*.f64 -1 x))))
(+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (neg.f64 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 (pow.f64 x 2) (*.f64 y (+.f64 x (*.f64 -1 x)))))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (neg.f64 x)))))
(+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (+.f64 (neg.f64 (pow.f64 y 2)) (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 (pow.f64 x 2) (*.f64 y (+.f64 x (*.f64 -1 x)))))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (neg.f64 x)))))
(+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(*.f64 -1 (pow.f64 y 2))
(neg.f64 (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 y (+.f64 x (*.f64 -1 x))))
(+.f64 (neg.f64 (pow.f64 y 2)) (*.f64 y (+.f64 x (neg.f64 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 (pow.f64 x 2) (*.f64 y (+.f64 x (*.f64 -1 x)))))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (neg.f64 x)))))
(+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (+.f64 (neg.f64 (pow.f64 y 2)) (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 (pow.f64 x 2) (*.f64 y (+.f64 x (*.f64 -1 x)))))
(+.f64 (neg.f64 (pow.f64 y 2)) (+.f64 (pow.f64 x 2) (*.f64 y (+.f64 x (neg.f64 x)))))
(+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (+.f64 (neg.f64 (pow.f64 y 2)) (pow.f64 x 2)))
(*.f64 -1 (pow.f64 y 2))
(neg.f64 (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 -1 (*.f64 y (+.f64 x (*.f64 -1 x)))))
(*.f64 -1 (+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (pow.f64 y 2)))
(*.f64 -1 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 x)))))
(neg.f64 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 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 (pow.f64 x 2) (*.f64 -1 (*.f64 y (+.f64 x (*.f64 -1 x))))))
(+.f64 (pow.f64 x 2) (*.f64 -1 (+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (pow.f64 y 2))))
(+.f64 (pow.f64 x 2) (*.f64 -1 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 x))))))
(+.f64 (pow.f64 x 2) (neg.f64 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 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 (pow.f64 x 2) (*.f64 -1 (*.f64 y (+.f64 x (*.f64 -1 x))))))
(+.f64 (pow.f64 x 2) (*.f64 -1 (+.f64 (*.f64 y (+.f64 x (neg.f64 x))) (pow.f64 y 2))))
(+.f64 (pow.f64 x 2) (*.f64 -1 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 x))))))
(+.f64 (pow.f64 x 2) (neg.f64 (+.f64 (pow.f64 y 2) (*.f64 y (+.f64 x (neg.f64 x))))))
(+.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 0)
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 0 (-.f64 (*.f64 x x) (*.f64 y y)))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))
(+.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(+.f64 -1 (-.f64 1 (-.f64 (*.f64 y y) (*.f64 x x))))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)) (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 1/2)))
(-.f64 (*.f64 x x) (*.f64 y y))
(+.f64 (neg.f64 (*.f64 y y)) (*.f64 x x))
(+.f64 (*.f64 x x) (neg.f64 (*.f64 y y)))
(+.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(-.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 0)
(-.f64 (*.f64 x x) (*.f64 y y))
(-.f64 0 (-.f64 (*.f64 y y) (*.f64 x x)))
(-.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 (*.f64 (-.f64 x y) (*.f64 (+.f64 x y) 2)) 2)
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (*.f64 (+.f64 x y) (*.f64 (-.f64 x y) 4)) 4)
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8) 8)
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (-.f64 (*.f64 y y) (*.f64 x x)) -1)
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) 16)
(-.f64 (*.f64 x x) (*.f64 y y))
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8)) (*.f64 2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 8))) 32)
(-.f64 (*.f64 x x) (*.f64 y y))
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (*.f64 x x) (*.f64 y y))
(neg.f64 (-.f64 (*.f64 y y) (*.f64 x x)))
(-.f64 (*.f64 x x) (*.f64 y y))

eval10.0ms (0.7%)

Compiler

Compiled 620 to 317 computations (48.9% saved)

prune7.0ms (0.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New51051
Fresh000
Picked011
Done000
Total51152
Error
0.0b
Counts
52 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 18 to 10 computations (44.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (+.f64 x y) (-.f64 x y))
Outputs
(*.f64 (+.f64 x y) (-.f64 x y))
Compiler

Compiled 9 to 5 computations (44.4% saved)

soundness0.0ms (0%)

end12.0ms (0.8%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

Profiling

Loading profile data...