Details

Time bar (total: 18.9s)

analyze60.0ms (0.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
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 10 to 7 computations (30% saved)

sample1.5s (7.7%)

Results
1.3s8253×body256valid
16.0ms203×body256infinite
1.0ms3×body1024valid
Bogosity

preprocess9.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01138
11538
21838
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)
Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)
(-.f64 (*.f64 x (+.f64 1 y)) y)
Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify11.0s (57.9%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11019
21219
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)

eval0.0ms (0%)

Compiler

Compiled 9 to 6 computations (33.3% 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 (+.f64 x 1) y) x)
Compiler

Compiled 9 to 6 computations (33.3% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiled 20 to 12 computations (40% saved)

series3.0ms (0%)

Counts
2 → 48
Calls

12 calls:

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

rewrite86.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
1482×rational.json-simplify-35
1314×bool.json-1
1314×bool.json-2
1266×rational.json-1
1266×rational.json-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0832
18732
226032
353032
4106532
5234532
6496132
Stop Event
1×node limit
Counts
2 → 49
Calls
Call 1
Inputs
(*.f64 (+.f64 x 1) y)
(-.f64 (*.f64 (+.f64 x 1) y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x 1) y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 x 1) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x 1) (*.f64 y 1/2)) (*.f64 (+.f64 x 1) (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x 1) y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x 1) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x 1) (+.f64 y y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y 8) (+.f64 x 1)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (+.f64 x 1) y)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (+.f64 x 1) y) (*.f64 (+.f64 x 1) y))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 x 1) y) (*.f64 (+.f64 x 1) y))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x 1) y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 (+.f64 x 1) y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (*.f64 (+.f64 x 1) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 2 (-.f64 x (*.f64 (+.f64 x 1) y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)) (-.f64 1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 x (*.f64 (+.f64 x 1) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (-.f64 (/.f64 (*.f64 (+.f64 x 1) y) 4) (/.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (-.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 x (*.f64 (+.f64 x 1) y)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (*.f64 (+.f64 x 1) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (*.f64 (+.f64 x 1) y) x) (-.f64 (*.f64 (+.f64 x 1) y) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (*.f64 (+.f64 x 1) y) x) (-.f64 (*.f64 (+.f64 x 1) y) x))))))

simplify1.5s (7.9%)

Algorithm
1×egg-herbie
Rules
1868×rational.json-simplify-35
1326×rational.json-simplify-2
1146×rational.json-simplify-26
968×rational.json-simplify-42
880×rational.json-simplify-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01221755
12671571
26221571
317411571
432991571
545961571
664081571
772461571
876541571
978961571
Stop Event
1×node limit
Counts
97 → 68
Calls
Call 1
Inputs
y
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 (-.f64 y 1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(*.f64 -1 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 x 1) y) 0)
(+.f64 0 (*.f64 (+.f64 x 1) y))
(+.f64 (*.f64 (+.f64 x 1) (*.f64 y 1/2)) (*.f64 (+.f64 x 1) (*.f64 y 1/2)))
(-.f64 (*.f64 (+.f64 x 1) y) 0)
(/.f64 (*.f64 (+.f64 x 1) y) 1)
(/.f64 (*.f64 (+.f64 x 1) (+.f64 y y)) 2)
(/.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) 4)
(/.f64 (*.f64 (*.f64 y 8) (+.f64 x 1)) 8)
(/.f64 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))) 16)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) 32)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))))) 64)
(+.f64 (*.f64 (+.f64 x 1) y) (neg.f64 x))
(+.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 0)
(+.f64 0 (-.f64 (*.f64 (+.f64 x 1) y) x))
(+.f64 -1 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)))
(+.f64 (neg.f64 x) (*.f64 (+.f64 x 1) y))
(+.f64 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)) -1)
(+.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))
(+.f64 -2 (-.f64 2 (-.f64 x (*.f64 (+.f64 x 1) y))))
(+.f64 (-.f64 -1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)) (-.f64 1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)))
(*.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x))
(*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)
(*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))
(*.f64 -1 (-.f64 x (*.f64 (+.f64 x 1) y)))
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 1/2)
(*.f64 4 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))
(*.f64 4 (-.f64 (/.f64 (*.f64 (+.f64 x 1) y) 4) (/.f64 x 4)))
(*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 1/4)
(*.f64 1/2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2))
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) 2)
(*.f64 1/4 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))
(*.f64 1/4 (-.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) (*.f64 x 4)))
(*.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)
(*.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)
(/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 2)
(/.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8) 8)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)) 16)
(/.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4) -4)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) 32)
(/.f64 (*.f64 2 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) -8)
(/.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) 4)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)))) 64)
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4))) 8)
(neg.f64 (-.f64 x (*.f64 (+.f64 x 1) y)))
Outputs
y
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (+.f64 x 1) y) 0)
(*.f64 y (+.f64 x 1))
(+.f64 0 (*.f64 (+.f64 x 1) y))
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 x 1) (*.f64 y 1/2)) (*.f64 (+.f64 x 1) (*.f64 y 1/2)))
(*.f64 y (+.f64 x 1))
(-.f64 (*.f64 (+.f64 x 1) y) 0)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 (+.f64 x 1) y) 1)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 (+.f64 x 1) (+.f64 y y)) 2)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) 4)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 (*.f64 y 8) (+.f64 x 1)) 8)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))) 16)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) 32)
(*.f64 y (+.f64 x 1))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y 8) (+.f64 x 1))))) 64)
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 x 1) y) (neg.f64 x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 0)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 0 (-.f64 (*.f64 (+.f64 x 1) y) x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 -1 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (neg.f64 x) (*.f64 (+.f64 x 1) y))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (+.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x)) -1)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 -2 (-.f64 2 (-.f64 x (*.f64 (+.f64 x 1) y))))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(+.f64 (-.f64 -1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)) (-.f64 1 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2)))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 1 (-.f64 (*.f64 (+.f64 x 1) y) x))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 -1 (-.f64 x (*.f64 (+.f64 x 1) y)))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 1/2)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 4 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 4 (-.f64 (/.f64 (*.f64 (+.f64 x 1) y) 4) (/.f64 x 4)))
(*.f64 4 (-.f64 (*.f64 y (/.f64 (+.f64 x 1) 4)) (/.f64 x 4)))
(*.f64 4 (-.f64 (*.f64 (+.f64 x 1) (/.f64 y 4)) (/.f64 x 4)))
(*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 1/4)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 1/2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1/2) 2)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 1/4 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 1/4 (-.f64 (*.f64 (+.f64 x 1) (*.f64 y 4)) (*.f64 x 4)))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(*.f64 (/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 1)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 2) 2)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) -1)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 4) 4)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8) 8)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) -2) -2)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)) 16)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4) -4)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) 32)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (*.f64 2 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) -8)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) 4)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 (+.f64 x 1) y) x) 8)))) 64)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4)) (neg.f64 (*.f64 (-.f64 x (*.f64 (+.f64 x 1) y)) 4))) 8)
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)
(neg.f64 (-.f64 x (*.f64 (+.f64 x 1) y)))
(+.f64 (*.f64 y (+.f64 x 1)) (neg.f64 x))
(-.f64 (*.f64 y (+.f64 x 1)) x)

eval78.0ms (0.4%)

Compiler

Compiled 734 to 514 computations (30% saved)

prune9.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New64468
Fresh000
Picked101
Done000
Total65469
Error
0b
Counts
69 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 (+.f64 (*.f64 y x) y) x)
▶10.3b
(-.f64 y x)
▶28.8b
(*.f64 (-.f64 y 1) x)
▶38.2b
(neg.f64 x)
Compiler

Compiled 25 to 16 computations (36% saved)

localize3.0ms (0%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize5.0ms (0%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

localize3.0ms (0%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize762.0ms (4%)

Local error

Found 2 expressions with local error:

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

Compiled 19 to 5 computations (73.7% saved)

series2.0ms (0%)

Counts
2 → 45
Calls

12 calls:

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

rewrite95.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
2058×bool.json-1
2058×bool.json-2
1412×bool.json-3
942×rational.json-1
942×rational.json-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0732
17232
221832
352832
4120132
5290232
6681932
Stop Event
1×node limit
Counts
2 → 74
Calls
Call 1
Inputs
(+.f64 (*.f64 y x) y)
(-.f64 (+.f64 (*.f64 y x) y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 y (*.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (+.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 y (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 y (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (*.f64 (+.f64 x 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (/.f64 (+.f64 x 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (+.f64 (*.f64 x 1/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (+.f64 1/2 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 y (*.f64 y x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 x 1)) (*.f64 y 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 y (*.f64 2 (+.f64 x 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y (+.f64 x x)) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 y y) (*.f64 y (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (*.f64 2 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 (+.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 2 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x 1) 1/2) (+.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 y (*.f64 (+.f64 x 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 1) 2) (+.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 y (*.f64 y x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y (*.f64 y x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 y (*.f64 y x)) (+.f64 y (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 y (*.f64 y x)) (+.f64 y (*.f64 y x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (-.f64 (*.f64 y x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y x) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 y (*.f64 y x)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 y (-.f64 (*.f64 y x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 y x) x) y)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y x) (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (+.f64 y (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 y (-.f64 (*.f64 y x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 (+.f64 y -1) (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y 1/2) (/.f64 (-.f64 (*.f64 y x) x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 x (+.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x (*.f64 2 (+.f64 y -1))) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 x (+.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 y (-.f64 (*.f64 y x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 y (-.f64 (*.f64 y x) x)) (+.f64 y (-.f64 (*.f64 y x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 y (-.f64 (*.f64 y x) x)) (+.f64 y (-.f64 (*.f64 y x) x)))))))

simplify167.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1444×rational.json-simplify-35
1106×rational.json-simplify-2
1104×rational.json-simplify-26
970×rational.json-simplify-1
844×rational.json-simplify-52
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01641971
13431971
27561971
316311971
432681971
542531971
650301971
764861971
877511971
Stop Event
1×node limit
Counts
119 → 103
Calls
Call 1
Inputs
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
y
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 -1 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 (-.f64 y 1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(-.f64 (+.f64 y (*.f64 y x)) 0)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 y (*.f64 y x)) 1)
(*.f64 1 (+.f64 y (*.f64 y x)))
(*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 1/2))
(*.f64 2 (+.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 y 1/2)))
(*.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 y (*.f64 x 1/2))))
(*.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 1/2)
(*.f64 (+.f64 y y) (*.f64 (+.f64 x 1) 1/2))
(*.f64 (+.f64 y y) (/.f64 (+.f64 x 1) 2))
(*.f64 (+.f64 y y) (+.f64 (*.f64 x 1/2) 1/2))
(*.f64 (+.f64 y y) (+.f64 1/2 (*.f64 x 1/2)))
(*.f64 (+.f64 x 1) y)
(*.f64 4 (/.f64 (+.f64 y (*.f64 y x)) 4))
(*.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(*.f64 (*.f64 2 (+.f64 x 1)) (*.f64 y 1/2))
(*.f64 1/2 (*.f64 y (*.f64 2 (+.f64 x 1))))
(*.f64 1/2 (+.f64 (*.f64 y (+.f64 x x)) (+.f64 y y)))
(*.f64 1/2 (+.f64 (+.f64 y y) (*.f64 y (+.f64 x x))))
(*.f64 (*.f64 y 1/2) (*.f64 2 (+.f64 x 1)))
(*.f64 (*.f64 y 1/2) (+.f64 (+.f64 x x) 2))
(*.f64 (*.f64 y 1/2) (+.f64 2 (+.f64 x x)))
(*.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) 2)
(*.f64 (*.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(*.f64 1/4 (*.f64 y (*.f64 (+.f64 x 1) 4)))
(*.f64 (/.f64 (+.f64 x 1) 2) (+.f64 y y))
(*.f64 (/.f64 (+.f64 y (*.f64 y x)) 4) 4)
(/.f64 (+.f64 y (*.f64 y x)) 1)
(/.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 2)
(/.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 4)
(/.f64 (*.f64 (+.f64 y (*.f64 y x)) 8) 8)
(/.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) 16)
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8))) 32)
(+.f64 y (-.f64 (*.f64 y x) x))
(+.f64 (*.f64 y x) (-.f64 y x))
(+.f64 (+.f64 y (*.f64 y x)) (neg.f64 x))
(+.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 0)
(+.f64 0 (+.f64 y (-.f64 (*.f64 y x) x)))
(+.f64 (-.f64 (*.f64 y x) x) y)
(+.f64 (-.f64 y x) (*.f64 y x))
(+.f64 -1 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))))
(+.f64 (neg.f64 x) (+.f64 y (*.f64 y x)))
(+.f64 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))) -1)
(+.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))
(*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)
(*.f64 1 (+.f64 y (-.f64 (*.f64 y x) x)))
(*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))
(*.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 (+.f64 y -1) (*.f64 x 1/2))))
(*.f64 2 (+.f64 (*.f64 y 1/2) (/.f64 (-.f64 (*.f64 y x) x) 2)))
(*.f64 2 (-.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) (*.f64 x 1/2)))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 1/2)
(*.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)
(*.f64 -1 (-.f64 x (+.f64 y (*.f64 y x))))
(*.f64 4 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 1/4)
(*.f64 1/2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2))
(*.f64 1/2 (+.f64 (*.f64 x (*.f64 2 (+.f64 y -1))) (+.f64 y y)))
(*.f64 1/2 (-.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) 2)
(*.f64 1/4 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))
(*.f64 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)
(/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 2)
(/.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8) 8)
(/.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))) -2)
(/.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -4)
(/.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) 16)
(/.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) 2)
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8))) 32)
(/.f64 (+.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))))) 4)
(/.f64 (/.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -1) 4)
(neg.f64 (-.f64 x (+.f64 y (*.f64 y x))))
Outputs
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
y
(*.f64 y x)
(*.f64 x y)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(*.f64 y x)
(*.f64 x y)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 x y))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 y (+.f64 1 x)) (neg.f64 x))
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 x y) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 x y) x)
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(-.f64 (+.f64 y (*.f64 y x)) 0)
(+.f64 y (*.f64 x y))
(*.f64 y (+.f64 x 1))
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 y (*.f64 y x)) 1)
(+.f64 y (*.f64 x y))
(*.f64 1 (+.f64 y (*.f64 y x)))
(+.f64 y (*.f64 x y))
(*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 1/2))
(+.f64 y (*.f64 x y))
(*.f64 2 (+.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 y 1/2)))
(+.f64 y (*.f64 x y))
(*.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 y (*.f64 x 1/2))))
(+.f64 y (*.f64 x y))
(*.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 1/2)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 y y) (*.f64 (+.f64 x 1) 1/2))
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 y y) (/.f64 (+.f64 x 1) 2))
(*.f64 (+.f64 y y) (/.f64 (+.f64 1 x) 2))
(*.f64 (+.f64 y y) (+.f64 (*.f64 x 1/2) 1/2))
(+.f64 y (*.f64 x y))
(*.f64 (+.f64 y y) (+.f64 1/2 (*.f64 x 1/2)))
(+.f64 y (*.f64 x y))
(*.f64 (+.f64 x 1) y)
(*.f64 y (+.f64 1 x))
(*.f64 4 (/.f64 (+.f64 y (*.f64 y x)) 4))
(+.f64 y (*.f64 x y))
(*.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(*.f64 y (+.f64 1 x))
(*.f64 (*.f64 2 (+.f64 x 1)) (*.f64 y 1/2))
(*.f64 y (+.f64 1 x))
(*.f64 1/2 (*.f64 y (*.f64 2 (+.f64 x 1))))
(*.f64 y (+.f64 1 x))
(*.f64 1/2 (+.f64 (*.f64 y (+.f64 x x)) (+.f64 y y)))
(+.f64 y (*.f64 x y))
(*.f64 1/2 (+.f64 (+.f64 y y) (*.f64 y (+.f64 x x))))
(+.f64 y (*.f64 x y))
(*.f64 (*.f64 y 1/2) (*.f64 2 (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(*.f64 (*.f64 y 1/2) (+.f64 (+.f64 x x) 2))
(*.f64 y (+.f64 1 x))
(*.f64 (*.f64 y 1/2) (+.f64 2 (+.f64 x x)))
(*.f64 y (+.f64 1 x))
(*.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) 2)
(+.f64 y (*.f64 x y))
(*.f64 (*.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(*.f64 y (+.f64 1 x))
(*.f64 1/4 (*.f64 y (*.f64 (+.f64 x 1) 4)))
(*.f64 y (+.f64 1 x))
(*.f64 (/.f64 (+.f64 x 1) 2) (+.f64 y y))
(*.f64 (+.f64 y y) (/.f64 (+.f64 1 x) 2))
(*.f64 (/.f64 (+.f64 y (*.f64 y x)) 4) 4)
(+.f64 y (*.f64 x y))
(/.f64 (+.f64 y (*.f64 y x)) 1)
(+.f64 y (*.f64 x y))
(/.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) 2)
(*.f64 y (+.f64 1 x))
(/.f64 (*.f64 y (*.f64 (+.f64 x 1) 4)) 4)
(*.f64 y (+.f64 1 x))
(/.f64 (*.f64 (+.f64 y (*.f64 y x)) 8) 8)
(+.f64 y (*.f64 x y))
(/.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) 16)
(+.f64 y (*.f64 x y))
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8)) (*.f64 2 (*.f64 (+.f64 y (*.f64 y x)) 8))) 32)
(+.f64 y (*.f64 x y))
(+.f64 y (-.f64 (*.f64 y x) x))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 y x) (-.f64 y x))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (+.f64 y (*.f64 y x)) (neg.f64 x))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 0)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 0 (+.f64 y (-.f64 (*.f64 y x) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (-.f64 (*.f64 y x) x) y)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (-.f64 y x) (*.f64 y x))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 -1 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (neg.f64 x) (+.f64 y (*.f64 y x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (+.f64 y (+.f64 (*.f64 y x) (-.f64 1 x))) -1)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(+.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 1 (+.f64 y (-.f64 (*.f64 y x) x)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 (+.f64 y -1) (*.f64 x 1/2))))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 2 (+.f64 (*.f64 y 1/2) (/.f64 (-.f64 (*.f64 y x) x) 2)))
(*.f64 2 (+.f64 (*.f64 y 1/2) (/.f64 (-.f64 (*.f64 x y) x) 2)))
(*.f64 2 (+.f64 (*.f64 y 1/2) (/.f64 (*.f64 x (+.f64 y -1)) 2)))
(*.f64 2 (-.f64 (*.f64 (+.f64 y (*.f64 y x)) 1/2) (*.f64 x 1/2)))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 1/2)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 -1 (-.f64 x (+.f64 y (*.f64 y x))))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 4 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 1/4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 1/2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 1/2 (+.f64 (*.f64 x (*.f64 2 (+.f64 y -1))) (+.f64 y y)))
(*.f64 1/2 (+.f64 y (+.f64 y (*.f64 x (*.f64 2 (+.f64 y -1))))))
(*.f64 1/2 (+.f64 (+.f64 y y) (*.f64 x (*.f64 2 (+.f64 y -1)))))
(*.f64 1/2 (-.f64 (*.f64 y (*.f64 2 (+.f64 x 1))) (+.f64 x x)))
(*.f64 1/2 (-.f64 (*.f64 y (*.f64 (+.f64 1 x) 2)) (+.f64 x x)))
(*.f64 1/2 (-.f64 (*.f64 y (+.f64 x (+.f64 x 2))) (+.f64 x x)))
(*.f64 1/2 (-.f64 (*.f64 (+.f64 1 x) (+.f64 y y)) (+.f64 x x)))
(*.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1/2) 2)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 1/4 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(*.f64 (/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 1)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 2) 2)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (-.f64 x (+.f64 y (*.f64 y x))) -1)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 4) 4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8) 8)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))) -2)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) 16)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) 2)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8)) (*.f64 2 (*.f64 (+.f64 y (-.f64 (*.f64 y x) x)) 8))) 32)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (+.f64 (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x))))) (neg.f64 (*.f64 2 (-.f64 x (+.f64 y (*.f64 y x)))))) 4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(/.f64 (/.f64 (*.f64 (-.f64 x (+.f64 y (*.f64 y x))) 4) -1) 4)
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))
(neg.f64 (-.f64 x (+.f64 y (*.f64 y x))))
(+.f64 y (*.f64 x (+.f64 y -1)))
(+.f64 y (-.f64 (*.f64 x y) x))

eval17.0ms (0.1%)

Compiler

Compiled 1075 to 516 computations (52% saved)

prune14.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1030103
Fresh000
Picked011
Done033
Total1034107
Error
0b
Counts
107 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 y x) y) x)
✓10.3b
(-.f64 y x)
✓28.8b
(*.f64 (-.f64 y 1) x)
✓38.2b
(neg.f64 x)
Compiler

Compiled 25 to 16 computations (36% saved)

regimes88.0ms (0.5%)

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

3 calls:

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

Compiled 41 to 24 computations (41.5% saved)

regimes13.0ms (0.1%)

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

3 calls:

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

Compiled 34 to 21 computations (38.2% saved)

regimes2.5s (13.1%)

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

2 calls:

2.5s
y
10.0ms
x
Results
ErrorSegmentsBranch
1.1b3x
8.8b3y
Compiler

Compiled 18 to 11 computations (38.9% saved)

bsearch123.0ms (0.6%)

Algorithm
2×binary-search
Steps
TimeLeftRight
108.0ms
0.0016437129257599414
1.6379694181751252e+30
15.0ms
-63945.90558391673
-0.17890390871090597
Results
119.0ms320×body256valid
0.0ms2×body256infinite
Compiler

Compiled 294 to 210 computations (28.6% saved)

regimes7.0ms (0%)

Accuracy

Total -27.9b remaining (-272.3%)

Threshold costs -27.9b (-272.3%)

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

2 calls:

4.0ms
x
3.0ms
y
Results
ErrorSegmentsBranch
10.3b1x
10.3b1y
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

Compiled 50 to 32 computations (36% saved)

soundness0.0ms (0%)

end970.0ms (5.1%)

Compiler

Compiled 42 to 23 computations (45.2% saved)

Profiling

Loading profile data...