Details

Time bar (total: 3.2s)

analyze449.0ms (13.9%)

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
37.5%37.5%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.6%34.3%0.1%0%0%0%8
76.6%76.5%23.4%0.1%0%0%0%9
82%82%18%0.1%0%0%0%10
87.9%87.8%12.1%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample1.8s (55.4%)

Results
1.5s8256×body256valid
Bogosity

preprocess10.0ms (0.3%)

Algorithm
2×egg-herbie
Rules
2×swap-x-y
2×rational_best.json-simplify-53
2×rational_best.json-simplify-72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01130
11230
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify61.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
2×rational_best.json-simplify-53
2×rational_best.json-simplify-72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
11115
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

eval1.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiled 16 to 5 computations (68.8% saved)

series2.0ms (0.1%)

Counts
1 → 8
Calls

6 calls:

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

rewrite243.0ms (7.5%)

Algorithm
1×batch-egg-rewrite
Rules
1020×rational_best.json-simplify-57
586×rational_best.json-simplify-43
512×rational_best.json-5
510×rational_best.json-2
510×rational_best.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
16915
225015
3106415
4503215
Stop Event
1×node limit
Counts
1 → 28
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (fabs.f64 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))) (*.f64 (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))))))

simplify493.0ms (15.3%)

Algorithm
1×egg-herbie
Rules
1396×rational_best.json-simplify-132
1200×rational_best.json-simplify-54
794×rational_best.json-simplify-80
750×rational_best.json-simplify-78
734×rational_best.json-simplify-49
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
071604
1126588
2236572
3814572
42973572
57288572
Stop Event
1×node limit
Counts
36 → 36
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(+.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)
(+.f64 0 (sqrt.f64 (fabs.f64 (-.f64 x y))))
(-.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)
(-.f64 0 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))
(*.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(*.f64 (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(*.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))))
(*.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(*.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(*.f64 (/.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))) (*.f64 (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))))
(*.f64 (/.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 2) 2)
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2) -2)
(pow.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
Outputs
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))))
(sqrt.f64 (fabs.f64 (+.f64 y (neg.f64 x))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))))
(sqrt.f64 (fabs.f64 (+.f64 y (neg.f64 x))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))))
(sqrt.f64 (fabs.f64 (+.f64 y (neg.f64 x))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))))
(sqrt.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))))
(sqrt.f64 (fabs.f64 (+.f64 y (neg.f64 x))))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 y -1))))
(sqrt.f64 (fabs.f64 (+.f64 x (neg.f64 y))))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 y -1))))
(sqrt.f64 (fabs.f64 (+.f64 x (neg.f64 y))))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 y -1))))
(sqrt.f64 (fabs.f64 (+.f64 x (neg.f64 y))))
(sqrt.f64 (fabs.f64 (+.f64 (*.f64 -1 y) x)))
(sqrt.f64 (fabs.f64 (+.f64 x (*.f64 y -1))))
(sqrt.f64 (fabs.f64 (+.f64 x (neg.f64 y))))
(+.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(+.f64 0 (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(-.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 0)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(-.f64 0 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))) (*.f64 (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y))))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y)))) (sqrt.f64 (*.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (*.f64 (-.f64 x y) (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(*.f64 (/.f64 (/.f64 1 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y))))) (sqrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (*.f64 (-.f64 x y) (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(/.f64 (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 2) 2)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(/.f64 (*.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2) -2)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(pow.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(neg.f64 (neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))

eval10.0ms (0.3%)

Compiler

Compiled 608 to 123 computations (79.8% saved)

prune25.0ms (0.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New36036
Fresh000
Picked011
Done000
Total36137
Error
0.0b
Counts
37 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end129.0ms (4%)

Remove

(sort x y)

Compiler

Compiled 21 to 15 computations (28.6% saved)

Profiling

Loading profile data...