Details

Time bar (total: 3.1s)

analyze52.0ms (1.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
37.5%37.5%62.4%0.1%0%0%0%6
51.6%50%46.8%0.1%3.1%0%0%7
62.3%59.3%35.9%0.1%4.7%0%0%8
72.3%67.1%25.8%0.1%7%0%0%9
79.1%72.6%19.1%0.1%8.2%0%0%10
85.1%76.9%13.5%0.1%9.6%0%0%11
89%79.8%9.9%0.1%10.2%0%0%12
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample2.2s (72.1%)

Results
2.0s8256×body256valid
23.0ms219×body256infinite
Bogosity

preprocess8.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0826
1926
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 y x) y)
Outputs
(-.f64 (*.f64 x y) x)
(-.f64 (*.f64 y x) y)
(-.f64 (*.f64 x y) y)
Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify24.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
1713
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
(-.f64 (*.f64 x y) x)

eval1.0ms (0%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

prune1.0ms (0%)

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 x y) x)
Compiler

Compiled 7 to 4 computations (42.9% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiled 12 to 4 computations (66.7% saved)

series4.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite124.0ms (4%)

Algorithm
1×batch-egg-rewrite
Rules
1674×rational_best.json-5
1672×rational_best.json-2
1672×rational_best.json-3
1672×rational_best.json-1
1672×rational_best.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
14513
216713
370713
4319113
Stop Event
1×node limit
Counts
1 → 59
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (-.f64 (-.f64 (*.f64 x y) x) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 y y)) (-.f64 0 (+.f64 x (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x (*.f64 x y)) (neg.f64 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 x x)) (+.f64 x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 y -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 y (*.f64 x (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 y (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (/.f64 x x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (/.f64 x x)) (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (/.f64 x x)) (*.f64 x (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (*.f64 x (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (/.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (*.f64 x (/.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (+.f64 y 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (+.f64 y (/.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (+.f64 y (*.f64 x (/.f64 1 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) x) (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) x) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 1 (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 x) (*.f64 (*.f64 x x) (+.f64 y -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 x) (-.f64 (+.f64 (*.f64 x x) (*.f64 x (*.f64 x y))) (*.f64 x (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (/.f64 x x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (*.f64 x (/.f64 1 x)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y -1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 (*.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x x) (+.f64 y -1)) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (+.f64 y y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (*.f64 x y)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 x (*.f64 x y)))))))

simplify176.0ms (5.7%)

Algorithm
1×egg-herbie
Rules
1588×rational_best.json-simplify-80
1478×rational_best.json-simplify-78
1136×rational_best.json-simplify-132
680×rational_best.json-simplify-50
656×rational_best.json-simplify-82
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01451597
12691577
27551559
321381541
449811541
Stop Event
1×node limit
Counts
83 → 103
Calls
Call 1
Inputs
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 (-.f64 y 1) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 -1 x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 x y) (neg.f64 x))
(+.f64 (*.f64 x y) (-.f64 (-.f64 (*.f64 x y) x) (*.f64 x y)))
(+.f64 (-.f64 (*.f64 x y) x) 0)
(+.f64 0 (-.f64 (*.f64 x y) x))
(+.f64 (neg.f64 x) (*.f64 x y))
(+.f64 (*.f64 x (+.f64 y y)) (-.f64 0 (+.f64 x (*.f64 x y))))
(+.f64 (+.f64 x (*.f64 x y)) (neg.f64 (+.f64 x x)))
(+.f64 (neg.f64 (+.f64 x x)) (+.f64 x (*.f64 x y)))
(*.f64 x (+.f64 y -1))
(*.f64 x (-.f64 y (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 y (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) 1))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) 1))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) 1))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 (+.f64 y 1) 2))
(*.f64 x (-.f64 (+.f64 y (/.f64 x x)) 2))
(*.f64 x (-.f64 (+.f64 y (*.f64 x (/.f64 1 x))) 2))
(*.f64 (-.f64 (*.f64 x y) x) 1)
(*.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 (-.f64 (*.f64 x y) x) (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))))
(*.f64 (-.f64 (*.f64 x y) x) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 1 (-.f64 (*.f64 x y) x))
(*.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x))
(*.f64 (-.f64 x (*.f64 x y)) -1)
(*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 1 (-.f64 (*.f64 x y) x)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)))
(*.f64 (/.f64 1 x) (*.f64 (*.f64 x x) (+.f64 y -1)))
(*.f64 (/.f64 1 x) (-.f64 (+.f64 (*.f64 x x) (*.f64 x (*.f64 x y))) (*.f64 x (+.f64 x x))))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (/.f64 x x) x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (*.f64 x (/.f64 1 x)) x)))
(*.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x))
(*.f64 (+.f64 y -1) x)
(*.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 (*.f64 x y) x))
(*.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 -1 (-.f64 x (*.f64 x y)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 (*.f64 (*.f64 x x) (+.f64 y -1)) (/.f64 1 x))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))
(/.f64 (-.f64 (*.f64 x y) x) 1)
(/.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(/.f64 (-.f64 x (*.f64 x y)) -1)
(/.f64 (*.f64 x (-.f64 (+.f64 y y) 2)) 2)
(/.f64 (*.f64 (-.f64 x (*.f64 x y)) 2) -2)
(neg.f64 (-.f64 x (*.f64 x y)))
Outputs
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 (+.f64 1 (*.f64 y -1)) (neg.f64 x))
(*.f64 (+.f64 1 (neg.f64 y)) (neg.f64 x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 (+.f64 1 (*.f64 y -1)) (neg.f64 x))
(*.f64 (+.f64 1 (neg.f64 y)) (neg.f64 x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 (+.f64 1 (*.f64 y -1)) (neg.f64 x))
(*.f64 (+.f64 1 (neg.f64 y)) (neg.f64 x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 (+.f64 1 (*.f64 y -1)) (neg.f64 x))
(*.f64 (+.f64 1 (neg.f64 y)) (neg.f64 x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 x y) (neg.f64 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 x y) (-.f64 (-.f64 (*.f64 x y) x) (*.f64 x y)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (-.f64 (*.f64 x y) x) 0)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 0 (-.f64 (*.f64 x y) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (neg.f64 x) (*.f64 x y))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 x (+.f64 y y)) (-.f64 0 (+.f64 x (*.f64 x y))))
(+.f64 (*.f64 x (+.f64 y y)) (neg.f64 (+.f64 x (*.f64 y x))))
(+.f64 (*.f64 y (+.f64 x x)) (neg.f64 (+.f64 x (*.f64 y x))))
(+.f64 (+.f64 x (*.f64 x y)) (neg.f64 (+.f64 x x)))
(+.f64 (*.f64 y x) (+.f64 x (neg.f64 (+.f64 x x))))
(+.f64 x (+.f64 (*.f64 y x) (neg.f64 (+.f64 x x))))
(+.f64 (+.f64 x (*.f64 y x)) (neg.f64 (+.f64 x x)))
(+.f64 (neg.f64 (+.f64 x x)) (+.f64 x (*.f64 x y)))
(+.f64 (*.f64 y x) (+.f64 x (neg.f64 (+.f64 x x))))
(+.f64 x (+.f64 (*.f64 y x) (neg.f64 (+.f64 x x))))
(+.f64 (+.f64 x (*.f64 y x)) (neg.f64 (+.f64 x x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 x (-.f64 y (*.f64 x (/.f64 1 x))))
(*.f64 x (+.f64 y (*.f64 x (/.f64 -1 x))))
(*.f64 x (-.f64 y (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) 1))
(*.f64 x (+.f64 (*.f64 y (/.f64 x x)) -1))
(*.f64 x (+.f64 -1 (*.f64 y (/.f64 x x))))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (/.f64 x x)) (*.f64 x (/.f64 1 x))))
(*.f64 x (+.f64 (*.f64 y (/.f64 x x)) (*.f64 x (/.f64 -1 x))))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) 1))
(*.f64 x (+.f64 (*.f64 y (*.f64 x (/.f64 1 x))) -1))
(*.f64 x (+.f64 -1 (*.f64 (/.f64 1 x) (*.f64 y x))))
(*.f64 x (+.f64 -1 (*.f64 (*.f64 y x) (/.f64 1 x))))
(*.f64 x (+.f64 -1 (*.f64 y (*.f64 x (/.f64 1 x)))))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 (/.f64 1 x) (*.f64 y x)) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 (*.f64 y x) (/.f64 1 x)) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (*.f64 x (/.f64 1 x))))
(*.f64 x (*.f64 x (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 x))))
(*.f64 x (*.f64 (/.f64 1 x) (-.f64 (*.f64 y x) x)))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) 1))
(*.f64 x (+.f64 (*.f64 (*.f64 y x) (/.f64 y (*.f64 y x))) -1))
(*.f64 x (+.f64 -1 (*.f64 y (*.f64 (/.f64 y (*.f64 y x)) x))))
(*.f64 x (+.f64 -1 (*.f64 y (*.f64 x (/.f64 y (*.f64 y x))))))
(*.f64 x (+.f64 -1 (*.f64 (*.f64 y x) (/.f64 y (*.f64 y x)))))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 (*.f64 y x) (/.f64 y (*.f64 y x))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (*.f64 (/.f64 y (*.f64 y x)) x)) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 y (*.f64 y x)))) (/.f64 x x)))
(*.f64 x (-.f64 (*.f64 (*.f64 x y) (/.f64 y (*.f64 x y))) (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 (*.f64 (*.f64 y x) (/.f64 y (*.f64 y x))) (*.f64 x (/.f64 1 x))))
(*.f64 x (-.f64 (*.f64 y (*.f64 (/.f64 y (*.f64 y x)) x)) (*.f64 x (/.f64 1 x))))
(*.f64 x (*.f64 x (-.f64 (*.f64 y (/.f64 y (*.f64 y x))) (/.f64 1 x))))
(*.f64 x (-.f64 (+.f64 y 1) 2))
(*.f64 x (-.f64 (+.f64 y (/.f64 x x)) 2))
(*.f64 x (-.f64 (+.f64 y (*.f64 x (/.f64 1 x))) 2))
(*.f64 (-.f64 (*.f64 x y) x) 1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 (*.f64 x y) x) (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 (*.f64 x y) x) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 1 (-.f64 (*.f64 x y) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (-.f64 x (*.f64 x y)) -1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 1 (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 1 x) (*.f64 (*.f64 x x) (+.f64 y -1)))
(*.f64 (/.f64 1 x) (*.f64 (+.f64 y -1) (*.f64 x x)))
(*.f64 (+.f64 y -1) (*.f64 (/.f64 1 x) (*.f64 x x)))
(*.f64 (+.f64 y -1) (/.f64 x (/.f64 x x)))
(*.f64 (/.f64 1 x) (-.f64 (+.f64 (*.f64 x x) (*.f64 x (*.f64 x y))) (*.f64 x (+.f64 x x))))
(*.f64 (/.f64 1 x) (*.f64 (+.f64 y -1) (*.f64 x x)))
(*.f64 (+.f64 y -1) (*.f64 (/.f64 1 x) (*.f64 x x)))
(*.f64 (+.f64 y -1) (/.f64 x (/.f64 x x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 x)))
(*.f64 x (-.f64 (*.f64 y (*.f64 x (/.f64 1 x))) (*.f64 x (/.f64 1 x))))
(*.f64 x (*.f64 x (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 x))))
(*.f64 x (*.f64 (/.f64 1 x) (-.f64 (*.f64 y x) x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (/.f64 x x) x)))
(*.f64 x (*.f64 (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (/.f64 x x) x)) x))
(*.f64 x (*.f64 x (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (/.f64 x x) x))))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (*.f64 x (/.f64 1 x)) x)))
(*.f64 x (*.f64 x (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 (*.f64 x (/.f64 1 x)) x))))
(*.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (+.f64 y -1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 (*.f64 x y) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (/.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 -1 (-.f64 x (*.f64 x y)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (-.f64 (*.f64 x y) x) (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (*.f64 x x) (+.f64 y -1)) (/.f64 1 x))
(*.f64 (/.f64 1 x) (*.f64 (+.f64 y -1) (*.f64 x x)))
(*.f64 (+.f64 y -1) (*.f64 (/.f64 1 x) (*.f64 x x)))
(*.f64 (+.f64 y -1) (/.f64 x (/.f64 x x)))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (/.f64 (*.f64 x (*.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (+.f64 y -1))) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (*.f64 (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(/.f64 (-.f64 (*.f64 x y) x) 1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(/.f64 (-.f64 (*.f64 x y) x) (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(/.f64 (-.f64 x (*.f64 x y)) -1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(/.f64 (*.f64 x (-.f64 (+.f64 y y) 2)) 2)
(/.f64 (*.f64 (-.f64 x (*.f64 x y)) 2) -2)
(/.f64 (*.f64 2 (-.f64 x (*.f64 y x))) -2)
(/.f64 (*.f64 (-.f64 (*.f64 y x) x) 2) 2)
(neg.f64 (-.f64 x (*.f64 x y)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)

eval16.0ms (0.5%)

Compiler

Compiled 1531 to 434 computations (71.7% saved)

prune16.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1003103
Fresh000
Picked011
Done000
Total1004104
Error
0b
Counts
104 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) x)
▶0.0b
(*.f64 (-.f64 y 1) x)
▶36.8b
(*.f64 y x)
▶26.3b
(neg.f64 x)
Compiler

Compiled 23 to 15 computations (34.8% saved)

localize3.0ms (0.1%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize3.0ms (0.1%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0.1%)

Counts
1 → 12
Calls

6 calls:

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

rewrite80.0ms (2.6%)

Algorithm
1×batch-egg-rewrite
Rules
1628×rational_best.json-5
1626×rational_best.json-2
1626×rational_best.json-3
1626×rational_best.json-1
1626×rational_best.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
15113
217413
370813
4312313
Stop Event
1×node limit
Counts
1 → 8
Calls
Call 1
Inputs
(*.f64 (-.f64 y 1) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 y -1) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 y -1) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 y -1) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (+.f64 y -1) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y -1) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y -1) x) (/.f64 (*.f64 (+.f64 y -1) x) (*.f64 (+.f64 y -1) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y -1) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (+.f64 y -1) x)))))))

simplify161.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
1570×rational_best.json-simplify-132
1324×rational_best.json-simplify-80
1196×rational_best.json-simplify-78
982×rational_best.json-simplify-82
908×rational_best.json-simplify-43
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
026344
144240
282240
3224240
41013240
52792240
65880240
Stop Event
1×node limit
Counts
20 → 15
Calls
Call 1
Inputs
(*.f64 -1 x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 y -1) x) 0)
(+.f64 0 (*.f64 (+.f64 y -1) x))
(-.f64 (*.f64 (+.f64 y -1) x) 0)
(-.f64 0 (neg.f64 (*.f64 (+.f64 y -1) x)))
(/.f64 (*.f64 (+.f64 y -1) x) 1)
(/.f64 (*.f64 (+.f64 y -1) x) (/.f64 (*.f64 (+.f64 y -1) x) (*.f64 (+.f64 y -1) x)))
(/.f64 (*.f64 (+.f64 y -1) (+.f64 x x)) 2)
(neg.f64 (neg.f64 (*.f64 (+.f64 y -1) x)))
Outputs
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(*.f64 y x)
(*.f64 x y)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(*.f64 y x)
(*.f64 x y)
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 y x) (*.f64 -1 x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 (*.f64 (+.f64 y -1) x) 0)
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(+.f64 0 (*.f64 (+.f64 y -1) x))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(-.f64 (*.f64 (+.f64 y -1) x) 0)
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(-.f64 0 (neg.f64 (*.f64 (+.f64 y -1) x)))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(/.f64 (*.f64 (+.f64 y -1) x) 1)
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(/.f64 (*.f64 (+.f64 y -1) x) (/.f64 (*.f64 (+.f64 y -1) x) (*.f64 (+.f64 y -1) x)))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(/.f64 (*.f64 (+.f64 y -1) (+.f64 x x)) 2)
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))
(neg.f64 (neg.f64 (*.f64 (+.f64 y -1) x)))
(+.f64 (*.f64 -1 x) (*.f64 x y))
(*.f64 x (+.f64 -1 y))

eval3.0ms (0.1%)

Compiler

Compiled 101 to 64 computations (36.6% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New15015
Fresh000
Picked011
Done033
Total15419
Error
0b
Counts
19 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) x)
✓0.0b
(*.f64 (-.f64 y 1) x)
✓36.8b
(*.f64 y x)
✓26.3b
(neg.f64 x)
Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes16.0ms (0.5%)

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

3 calls:

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

Compiled 30 to 17 computations (43.3% saved)

regimes9.0ms (0.3%)

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

2 calls:

5.0ms
x
4.0ms
y
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
Compiler

Compiled 18 to 11 computations (38.9% saved)

regimes37.0ms (1.2%)

Accuracy

Total -59.4b remaining (-3229%)

Threshold costs -59.4b (-3229%)

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

2 calls:

27.0ms
x
9.0ms
y
Results
ErrorSegmentsBranch
19.2b9x
1.8b3y
Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch26.0ms (0.9%)

Algorithm
2×binary-search
Steps
TimeLeftRight
11.0ms
0.2995905619225881
5.7526754809063165
15.0ms
-23338.12657210939
-0.015089840281273139
Results
22.0ms256×body256valid
Compiler

Compiled 188 to 136 computations (27.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02068
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
(*.f64 (-.f64 y 1) x)
(if (<=.f64 y -1) (*.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (*.f64 y x)))
(neg.f64 x)
Outputs
(-.f64 (*.f64 x y) x)
(*.f64 (-.f64 y 1) x)
(if (<=.f64 y -1) (*.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (*.f64 y x)))
(neg.f64 x)
Compiler

Compiled 36 to 22 computations (38.9% saved)

soundness0.0ms (0%)

end81.0ms (2.6%)

Compiler

Compiled 30 to 15 computations (50% saved)

Profiling

Loading profile data...