Details

Time bar (total: 2.4s)

analyze248.0ms (10.3%)

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
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
12.5%12.5%87.4%0.1%0%0%0%7
18.8%18.7%81.1%0.1%0%0%0%8
28.1%28.1%71.8%0.1%0%0%0%9
42.2%42.1%57.7%0.1%0%0%0%10
48.2%46.8%50.3%0.1%2.7%0%0%11
56.2%53.8%41.9%0.1%4.1%0%0%12
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample1.2s (50.2%)

Results
1.1s8256×body256valid
97.0ms799×body256infinite
Bogosity

preprocess79.0ms (3.3%)

Algorithm
2×egg-herbie
Rules
6×rational.json-simplify-2
2×swap-x-y
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
022100
124100
033
133
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
0
2
Call 2
Inputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 z y) 2) (/.f64 x 8))
(-.f64 (/.f64 (*.f64 x z) 2) (/.f64 y 8))
Outputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 z y) 2) (/.f64 x 8))
(-.f64 (/.f64 (*.f64 y z) 2) (/.f64 x 8))
(-.f64 (/.f64 (*.f64 x z) 2) (/.f64 y 8))
Symmetry

(sort x y)

Compiler

Compiled 15 to 12 computations (20% saved)

simplify16.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
2×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
11225
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
Outputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))

eval0.0ms (0%)

Compiler

Compiled 12 to 9 computations (25% saved)

prune3.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
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
Compiler

Compiled 12 to 9 computations (25% saved)

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
✓0.0b
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 28 to 15 computations (46.4% saved)

series6.0ms (0.2%)

Counts
2 → 60
Calls

15 calls:

TimeVariablePointExpression
1.0ms
z
@inf
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
1.0ms
y
@0
(/.f64 (*.f64 x y) 2)
1.0ms
x
@inf
(/.f64 (*.f64 x y) 2)
1.0ms
x
@0
(/.f64 (*.f64 x y) 2)
0.0ms
y
@inf
(/.f64 (*.f64 x y) 2)

rewrite216.0ms (8.9%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01138
18938
227038
396438
4374238
Stop Event
1×node limit
Counts
2 → 27
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) 2)
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 x y) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 x y) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x y) 2) (/.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (/.f64 1 (/.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))) (/.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 x y) 2) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))) (/.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)))))))

simplify352.0ms (14.5%)

Algorithm
1×egg-herbie
Rules
1442×rational.json-simplify-47
932×rational.json-simplify-2
798×rational.json-simplify-49
792×rational.json-simplify-50
728×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0641623
11131623
22911623
313171623
452681623
579691623
Stop Event
1×node limit
Counts
87 → 33
Calls
Call 1
Inputs
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (/.f64 (*.f64 x y) 2) 0)
(+.f64 0 (/.f64 (*.f64 x y) 2))
(-.f64 (/.f64 (*.f64 x y) 2) 0)
(*.f64 (/.f64 (*.f64 x y) 2) 1)
(*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))
(*.f64 1 (/.f64 (*.f64 x y) 2))
(*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (/.f64 1 (/.f64 (*.f64 x y) 2)))
(*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) 1))
(*.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))) (/.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))))
(pow.f64 (/.f64 (*.f64 x y) 2) 1)
(+.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 0)
(+.f64 0 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
(+.f64 (-.f64 -1 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2))) 1)
(*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(*.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
(*.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) 1))
(*.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))) (/.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))))
(/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(/.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)
(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(neg.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)))
Outputs
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 -1/8 z) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(*.f64 -1/8 z)
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (*.f64 1/2 (*.f64 y x)) (*.f64 -1/8 z))
(+.f64 (/.f64 (*.f64 x y) 2) 0)
(/.f64 (*.f64 y x) 2)
(+.f64 0 (/.f64 (*.f64 x y) 2))
(/.f64 (*.f64 y x) 2)
(-.f64 (/.f64 (*.f64 x y) 2) 0)
(/.f64 (*.f64 y x) 2)
(*.f64 (/.f64 (*.f64 x y) 2) 1)
(/.f64 (*.f64 y x) 2)
(*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))
(/.f64 (*.f64 y x) 2)
(*.f64 1 (/.f64 (*.f64 x y) 2))
(/.f64 (*.f64 y x) 2)
(*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (/.f64 1 (/.f64 (*.f64 x y) 2)))
(/.f64 (*.f64 y x) 2)
(*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) 1))
(/.f64 (*.f64 y x) 2)
(*.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)))
(/.f64 (*.f64 y x) 2)
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))) (/.f64 (/.f64 1 (/.f64 (*.f64 x y) 2)) (*.f64 (/.f64 (*.f64 x y) 2) (/.f64 (*.f64 x y) 2))))
(/.f64 (*.f64 y x) 2)
(pow.f64 (/.f64 (*.f64 x y) 2) 1)
(/.f64 (*.f64 y x) 2)
(+.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 0)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(+.f64 0 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(+.f64 (-.f64 -1 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2))) 1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) 1))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(*.f64 (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))) (/.f64 (/.f64 1 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))) (*.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)))))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (/.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(/.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)) -1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(pow.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8)) 1)
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(neg.f64 (-.f64 (/.f64 z 8) (/.f64 (*.f64 x y) 2)))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))

eval9.0ms (0.4%)

Compiler

Compiled 591 to 358 computations (39.4% saved)

prune77.0ms (3.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New32133
Fresh000
Picked011
Done000
Total32234
Error
0.0b
Counts
34 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
▶26.6b
(*.f64 -1/8 z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize4.0ms (0.2%)

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0.0b
Counts
2 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
✓26.6b
(*.f64 -1/8 z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

regimes156.0ms (6.5%)

Accuracy

Total -26.6b remaining (-681549.1%)

Threshold costs -26.6b (-681549.1%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 -1/8 z)
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
Outputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
Calls

7 calls:

132.0ms
y
4.0ms
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
4.0ms
(/.f64 z 8)
4.0ms
z
4.0ms
(/.f64 (*.f64 x y) 2)
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
0.0b1(/.f64 (*.f64 x y) 2)
0.0b1(*.f64 x y)
0.0b1(/.f64 z 8)
Compiler

Compiled 59 to 44 computations (25.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01332
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(*.f64 -1/8 z)
Outputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(*.f64 -1/8 z)
Compiler

Compiled 18 to 14 computations (22.2% saved)

soundness0.0ms (0%)

end23.0ms (0.9%)

Remove

(sort x y)

Compiler

Compiled 39 to 29 computations (25.6% saved)

Profiling

Loading profile data...