Details

Time bar (total: 2.4s)

analyze92.0ms (3.9%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
37.5%37.5%62.4%0.1%0%0%0%6
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)

sample1.0s (43.7%)

Results
909.0ms8256×body256valid
23.0ms205×body256infinite
Bogosity

preprocess35.0ms (1.4%)

Algorithm
2×egg-herbie
Rules
2×rational.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)

simplify28.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
2×rational.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.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 x y) x)
Compiler

Compiled 7 to 4 computations (42.9% saved)

localize10.0ms (0.4%)

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)

series5.0ms (0.2%)

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

rewrite288.0ms (12%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
15113
218413
369113
4271213
Stop Event
1×node limit
Counts
1 → 32
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) x)
Outputs
((#(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 1 (-.f64 (*.f64 x y) (-.f64 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (-.f64 x -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 y -1))))) (#(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 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 y -1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y -1) (-.f64 -1 (-.f64 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 x) (-.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (*.f64 (+.f64 y -1) (/.f64 1 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 (-.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 -1 (-.f64 x (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 x (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 -1 (-.f64 (*.f64 x y) (-.f64 x -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 (*.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 y -1) (/.f64 1 x)) (*.f64 x 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 x y) 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 (-.f64 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.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 x y) 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 0 (-.f64 1 y)) (-.f64 -1 (-.f64 -1 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 pow.f64 (-.f64 (*.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 x (*.f64 x y)))))))

simplify259.0ms (10.8%)

Algorithm
1×egg-herbie
Rules
1460×rational.json-simplify-2
1170×rational.json-simplify-58
952×rational.json-simplify-43
946×rational.json-simplify-54
730×rational.json-simplify-1
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
077768
1141768
2367768
31762768
44341756
56873756
Stop Event
1×node limit
Counts
56 → 44
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 (*.f64 x y) x) 0)
(+.f64 0 (-.f64 (*.f64 x y) x))
(+.f64 1 (-.f64 (*.f64 x y) (-.f64 x -1)))
(+.f64 (-.f64 (*.f64 x y) (-.f64 x -1)) 1)
(*.f64 x (+.f64 y -1))
(*.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 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 y -1) x)
(*.f64 (+.f64 y -1) (-.f64 -1 (-.f64 -1 x)))
(*.f64 (neg.f64 x) (-.f64 1 y))
(*.f64 (*.f64 x x) (*.f64 (+.f64 y -1) (/.f64 1 x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 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 -1 (-.f64 x (*.f64 x y))))
(*.f64 -1 (-.f64 x (*.f64 x y)))
(*.f64 (-.f64 1 y) (neg.f64 x))
(*.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 -1 (-.f64 (*.f64 x y) (-.f64 x -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 (*.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 y -1) (/.f64 1 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 x y) x) (*.f64 (-.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 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.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 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))))))
(*.f64 (-.f64 0 (-.f64 1 y)) (-.f64 -1 (-.f64 -1 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)
(pow.f64 (-.f64 (*.f64 x y) x) 1)
(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 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) 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 (*.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 1 (-.f64 (*.f64 x y) (-.f64 x -1)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (-.f64 (*.f64 x y) (-.f64 x -1)) 1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) 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 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 y -1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (+.f64 y -1) (-.f64 -1 (-.f64 -1 x)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (neg.f64 x) (-.f64 1 y))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (*.f64 x x) (*.f64 (+.f64 y -1) (/.f64 1 x)))
(*.f64 x (*.f64 x (*.f64 (+.f64 y -1) (/.f64 1 x))))
(*.f64 x (*.f64 (/.f64 1 x) (*.f64 x (+.f64 y -1))))
(*.f64 (+.f64 y -1) (*.f64 (*.f64 x 1) (/.f64 x x)))
(*.f64 (+.f64 y -1) (*.f64 (/.f64 x x) (*.f64 1 x)))
(*.f64 (+.f64 y -1) (*.f64 x (/.f64 x x)))
(*.f64 (*.f64 x x) (-.f64 (*.f64 y (/.f64 1 x)) (/.f64 1 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 -1 (-.f64 x (*.f64 x y))))
(*.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 1 y) (neg.f64 x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(*.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x))) (-.f64 -1 (-.f64 (*.f64 x y) (-.f64 x -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 (*.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 y -1) (/.f64 1 x)) (*.f64 x x))
(*.f64 x (*.f64 x (*.f64 (+.f64 y -1) (/.f64 1 x))))
(*.f64 x (*.f64 (/.f64 1 x) (*.f64 x (+.f64 y -1))))
(*.f64 (+.f64 y -1) (*.f64 (*.f64 x 1) (/.f64 x x)))
(*.f64 (+.f64 y -1) (*.f64 (/.f64 x x) (*.f64 1 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 x y) 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 (-.f64 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.f64 (*.f64 x y) x) (-.f64 (*.f64 x y) x)))) (*.f64 (-.f64 (*.f64 x y) x) (*.f64 (-.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 x y) 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 0 (-.f64 1 y)) (-.f64 -1 (-.f64 -1 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)
(pow.f64 (-.f64 (*.f64 x y) x) 1)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(neg.f64 (-.f64 x (*.f64 x y)))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)

eval12.0ms (0.5%)

Compiler

Compiled 589 to 170 computations (71.1% saved)

prune169.0ms (7.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New41344
Fresh000
Picked101
Done000
Total42345
Error
0b
Counts
45 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
▶0b
(*.f64 (-.f64 y 1) x)
▶36.6b
(*.f64 y x)
▶25.9b
(neg.f64 x)
Compiler

Compiled 16 to 11 computations (31.3% saved)

localize5.0ms (0.2%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize6.0ms (0.3%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize11.0ms (0.5%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0b
(*.f64 (-.f64 y 1) x)
✓36.6b
(*.f64 y x)
✓25.9b
(neg.f64 x)
Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes26.0ms (1.1%)

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 y 1) x)
Calls

3 calls:

9.0ms
x
8.0ms
(-.f64 (*.f64 x y) x)
7.0ms
y
Results
ErrorSegmentsBranch
0b1x
0b1y
0b1(-.f64 (*.f64 x y) x)
Compiler

Compiled 30 to 17 computations (43.3% saved)

regimes129.0ms (5.4%)

Accuracy

Total -60.0b remaining (-4786.2%)

Threshold costs -60.0b (-4786.2%)

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:

109.0ms
x
18.0ms
y
Results
ErrorSegmentsBranch
21.6b5x
1.3b3y
Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch58.0ms (2.4%)

Algorithm
2×binary-search
Steps
TimeLeftRight
26.0ms
2.8998966749390043e-8
642746.3624839816
32.0ms
-386.6851748551941
-5.280101792859642e-9
Results
50.0ms320×body256valid
Compiler

Compiled 232 to 168 computations (27.6% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01855
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.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 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 29 to 18 computations (37.9% saved)

soundness0.0ms (0%)

end205.0ms (8.6%)

Compiler

Compiled 25 to 13 computations (48% saved)

Profiling

Loading profile data...