Details

Time bar (total: 3.1s)

analyze269.0ms (8.8%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
0%0%99.8%0.2%0%0%0%8
6.3%6.2%93.6%0.2%0%0%0%9
9.4%9.4%90.4%0.2%0%0%0%10
13%12.5%83.4%0.2%3.9%0%0%11
19.6%18.7%76.8%0.2%4.3%0%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample977.0ms (32%)

Results
771.0ms8256×body256valid
192.0ms2045×body256infinite
Bogosity

preprocess11.0ms (0.4%)

Algorithm
2×egg-herbie
Rules
12×rational.json-simplify-2
2×swap-z-t
2×swap-x-y
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023133
127133
044
144
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
0
2
3
2
Call 2
Inputs
(-.f64 (*.f64 x y) (*.f64 z t))
(-.f64 (*.f64 y x) (*.f64 z t))
(-.f64 (*.f64 z y) (*.f64 x t))
(-.f64 (*.f64 t y) (*.f64 z x))
(-.f64 (*.f64 x z) (*.f64 y t))
(-.f64 (*.f64 x t) (*.f64 z y))
(-.f64 (*.f64 x y) (*.f64 t z))
Outputs
(-.f64 (*.f64 x y) (*.f64 z t))
(-.f64 (*.f64 y x) (*.f64 z t))
(-.f64 (*.f64 x y) (*.f64 z t))
(-.f64 (*.f64 z y) (*.f64 x t))
(-.f64 (*.f64 y z) (*.f64 x t))
(-.f64 (*.f64 t y) (*.f64 z x))
(-.f64 (*.f64 y t) (*.f64 x z))
(-.f64 (*.f64 x z) (*.f64 y t))
(-.f64 (*.f64 x t) (*.f64 z y))
(-.f64 (*.f64 x t) (*.f64 y z))
(-.f64 (*.f64 x y) (*.f64 t z))
(-.f64 (*.f64 x y) (*.f64 z t))
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify8.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11119
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) (*.f64 z t))
Outputs
(-.f64 (*.f64 x y) (*.f64 z t))

eval0.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% 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) (*.f64 z t))
Compiler

Compiled 11 to 7 computations (36.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.1%)

Counts
1 → 48
Calls

12 calls:

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

rewrite81.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
1488×rational.json-simplify-35
1274×bool.json-1
1274×bool.json-2
1232×rational.json-1
1232×rational.json-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
18819
223619
350419
4104019
5231219
6484819
Stop Event
1×node limit
Counts
1 → 41
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) (*.f64 z t))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (neg.f64 (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 z t)) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 z t)) (+.f64 (*.f64 x y) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x y) 1) (-.f64 (neg.f64 (*.f64 z t)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (-.f64 (/.f64 (*.f64 x y) 4) (/.f64 (*.f64 z t) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 z t) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (-.f64 (*.f64 x (*.f64 y 4)) (*.f64 z (*.f64 t 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 z t) (*.f64 x y))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 z t) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))

simplify464.0ms (15.2%)

Algorithm
1×egg-herbie
Rules
2960×rational.json-simplify-35
2110×rational.json-simplify-2
1176×rational.json-simplify-1
962×rational.json-simplify-51
950×rational.json-simplify-52
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01021913
12271913
25341613
312871613
422731613
534561613
644751613
750551613
860411613
962431613
1064261613
1166031613
1272761613
1372811613
1473671613
1573671613
1675421613
1777171613
1878921613
Stop Event
1×node limit
Counts
89 → 51
Calls
Call 1
Inputs
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 x y) (neg.f64 (*.f64 z t)))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0)
(+.f64 0 (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 1 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) -1))
(+.f64 (neg.f64 (*.f64 z t)) (*.f64 x y))
(+.f64 -1 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))))
(+.f64 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))) -1)
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(+.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))
(+.f64 (-.f64 1 (*.f64 z t)) (+.f64 (*.f64 x y) -1))
(+.f64 -2 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))
(+.f64 (+.f64 (*.f64 x y) 1) (-.f64 (neg.f64 (*.f64 z t)) 1))
(+.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) -2)
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(*.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 1/2)
(*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(*.f64 4 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))
(*.f64 4 (-.f64 (/.f64 (*.f64 x y) 4) (/.f64 (*.f64 z t) 4)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 1/4)
(*.f64 -1 (-.f64 (*.f64 z t) (*.f64 x y)))
(*.f64 1/2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) 2)
(*.f64 1/4 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))
(*.f64 1/4 (-.f64 (*.f64 x (*.f64 y 4)) (*.f64 z (*.f64 t 4))))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 2)
(/.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)
(/.f64 (*.f64 2 (-.f64 (*.f64 z t) (*.f64 x y))) -2)
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8) 8)
(/.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4) -4)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)) 16)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) -8)
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) 32)
(/.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) 4)
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)))) 64)
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4))) 8)
(neg.f64 (-.f64 (*.f64 z t) (*.f64 x y)))
Outputs
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 x y) (neg.f64 (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 0 (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 1 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) -1))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (neg.f64 (*.f64 z t)) (*.f64 x y))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 -1 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (+.f64 (*.f64 x y) (-.f64 1 (*.f64 z t))) -1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z)))
(+.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (-.f64 1 (*.f64 z t)) (+.f64 (*.f64 x y) -1))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 -2 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (+.f64 (*.f64 x y) 1) (-.f64 (neg.f64 (*.f64 z t)) 1))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) -2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 1/2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 4 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 4 (-.f64 (/.f64 (*.f64 x y) 4) (/.f64 (*.f64 z t) 4)))
(*.f64 4 (-.f64 (*.f64 y (/.f64 x 4)) (*.f64 t (/.f64 z 4))))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 1/4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (-.f64 (*.f64 z t) (*.f64 x y)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 1/2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1/2) 2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 1/4 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 1/4 (-.f64 (*.f64 x (*.f64 y 4)) (*.f64 z (*.f64 t 4))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 2) 2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 4) 4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 2 (-.f64 (*.f64 z t) (*.f64 x y))) -2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8) 8)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4) -4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)) 16)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) -8)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) 32)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) 4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 8)))) 64)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (+.f64 (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4)) (neg.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) 4))) 8)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))
(neg.f64 (-.f64 (*.f64 z t) (*.f64 x y)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(-.f64 (*.f64 y x) (*.f64 t z))

eval8.0ms (0.3%)

Compiler

Compiled 562 to 220 computations (60.9% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New48351
Fresh000
Picked011
Done000
Total48452
Error
0.0b
Counts
52 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
▶0.0b
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
▶29.9b
(*.f64 y x)
▶32.0b
(*.f64 t (neg.f64 z))
Compiler

Compiled 45 to 31 computations (31.1% saved)

localize5.0ms (0.2%)

Compiler

Compiled 12 to 6 computations (50% saved)

localize3.0ms (0.1%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize15.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

Compiled 44 to 23 computations (47.7% saved)

series5.0ms (0.2%)

Counts
2 → 96
Calls

24 calls:

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

rewrite92.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
1696×bool.json-1
1696×bool.json-2
1640×rational.json-1
1108×bool.json-3
986×rational.json-simplify-51
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01268
111968
231068
366568
4136548
5305048
6646348
Stop Event
1×node limit
Counts
2 → 52
Calls
Call 1
Inputs
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (*.f64 y (*.f64 x 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y (*.f64 x 1/4)) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x 1/2)) (neg.f64 (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 z t)) (*.f64 y (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 1/2 (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))))))

simplify269.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
3742×rational.json-simplify-41
2964×rational.json-simplify-44
2070×rational.json-simplify-35
780×rational.json-simplify-2
636×rational.json-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01133622
12373622
25363622
311263622
420053622
524683622
626153622
727653622
829073622
930313622
1031433622
1132533622
1233603622
1334663622
1435723622
1535723622
Stop Event
1×node limit
Counts
148 → 80
Calls
Call 1
Inputs
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 1/2 (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(-.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 0)
(*.f64 1/2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2))
(*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)
(*.f64 1 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))))
(*.f64 2 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (*.f64 y (*.f64 x 1/4)) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)))
(*.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 1/2)
(*.f64 4 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))
(*.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 1/4)
(*.f64 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))) 2)
(*.f64 1/4 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))
(*.f64 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)
(/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 2)
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8) 8)
(/.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) 16)
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8))) 32)
(+.f64 (*.f64 y (*.f64 x 1/2)) (neg.f64 (*.f64 z t)))
(+.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 0)
(+.f64 0 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(+.f64 (neg.f64 (*.f64 z t)) (*.f64 y (*.f64 x 1/2)))
(+.f64 -1 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))))
(+.f64 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))) -1)
(+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)))
(*.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)
(*.f64 1 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(*.f64 2 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))
(*.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 1/2 (*.f64 z t))))
(*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 1/2)
(*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)
(*.f64 4 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4))
(*.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 1/4)
(*.f64 -1 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))
(*.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 2)
(*.f64 1/4 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))))
(*.f64 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4) 4)
(/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)
(/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 2)
(/.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)
(/.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 4)
(/.f64 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 8)
(/.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))) -2)
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) 16)
(/.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -4)
(/.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) 2)
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))) 32)
(/.f64 (+.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))))) 4)
(/.f64 (/.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -1) 4)
(neg.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))
Outputs
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 y x))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 1/2 (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(-.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 0)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 1 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 2 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4) (*.f64 (*.f64 y x) 1/4)))
(*.f64 2 (+.f64 (*.f64 y (*.f64 x 1/4)) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4) (*.f64 y (*.f64 x 1/4))))
(*.f64 2 (+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4) (*.f64 (*.f64 y x) 1/4)))
(*.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 1/2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 4 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 1/4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 (*.f64 1/2 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t)))) 2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 1/4 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(*.f64 (/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 1)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 2) 2)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 4) 4)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8) 8)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) 16)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(/.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8)) (*.f64 2 (*.f64 (+.f64 (*.f64 y x) (neg.f64 (*.f64 z t))) 8))) 32)
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 x 1/2)) (neg.f64 (*.f64 z t)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 0)
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(+.f64 0 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(+.f64 (neg.f64 (*.f64 z t)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 -1 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))))
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 1 (*.f64 z t))) -1)
(+.f64 (neg.f64 (*.f64 t z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (*.f64 t (neg.f64 z)) (*.f64 y (*.f64 x 1/2)))
(+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))
(+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)) 4) (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)) 4))
(+.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4) (/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 4))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(*.f64 1 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(*.f64 2 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 1/2 (*.f64 z t))))
(*.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 z (*.f64 t 1/2))))
(*.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 t (*.f64 1/2 z))))
(*.f64 2 (-.f64 (*.f64 y (*.f64 x 1/4)) (*.f64 t (*.f64 z 1/2))))
(*.f64 2 (-.f64 (*.f64 (*.f64 y x) 1/4) (*.f64 t (*.f64 z 1/2))))
(*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 1/2)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(*.f64 4 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4))
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(*.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 1/4)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 -1 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(*.f64 (/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 2)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 1/4 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(*.f64 (/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 4) 4)
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(/.f64 (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)) 1)
(-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 t z))
(/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 2)
(/.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)) 2)
(/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))) 2)
(/.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) -1)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(/.f64 (*.f64 2 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2))) 4)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(/.f64 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4) 8)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(/.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))) -2)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(/.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) 16)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(/.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -4)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(/.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) 2)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(/.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4)) (*.f64 2 (*.f64 (-.f64 (*.f64 y x) (*.f64 (*.f64 z t) 2)) 4))) 32)
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 (*.f64 t z) 2)))
(*.f64 1/2 (-.f64 (*.f64 y x) (*.f64 t (*.f64 z 2))))
(/.f64 (+.f64 (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))) (neg.f64 (*.f64 2 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2))))) 4)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(/.f64 (/.f64 (*.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)) 4) -1) 4)
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))
(neg.f64 (+.f64 (*.f64 z t) (/.f64 (*.f64 y x) -2)))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 x (/.f64 y -2))))
(neg.f64 (+.f64 (*.f64 t z) (*.f64 y (/.f64 x -2))))

eval20.0ms (0.7%)

Compiler

Compiled 1314 to 698 computations (46.9% saved)

prune23.0ms (0.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New80080
Fresh000
Picked011
Done033
Total80484
Error
0.0b
Counts
84 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
✓0.0b
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
✓29.9b
(*.f64 y x)
✓32.0b
(*.f64 t (neg.f64 z))
Compiler

Compiled 45 to 31 computations (31.1% saved)

regimes28.0ms (0.9%)

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

7 calls:

5.0ms
y
4.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
4.0ms
z
4.0ms
t
4.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1t
0.0b1(-.f64 (*.f64 x y) (*.f64 z t))
0.0b1(*.f64 x y)
0.0b1(*.f64 z t)
Compiler

Compiled 78 to 51 computations (34.6% saved)

regimes25.0ms (0.8%)

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

7 calls:

4.0ms
z
3.0ms
(*.f64 x y)
3.0ms
y
3.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
3.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1t
0.0b1(-.f64 (*.f64 x y) (*.f64 z t))
0.0b1(*.f64 x y)
0.0b1(*.f64 z t)
Compiler

Compiled 63 to 43 computations (31.7% saved)

regimes618.0ms (20.2%)

Accuracy

Total -44.7b remaining (-286.1%)

Threshold costs -44.7b (-286.1%)

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

4 calls:

487.0ms
x
103.0ms
t
19.0ms
y
9.0ms
z
Results
ErrorSegmentsBranch
17.3b5x
15.6b7y
16.4b3z
17.0b5t
Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch73.0ms (2.4%)

Algorithm
6×binary-search
Steps
TimeLeftRight
10.0ms
3.3254761007922142e-52
2.4943411144850786e-51
7.0ms
8.791659517294372e-62
1.6796233816630437e-61
17.0ms
1.977109215367782e-101
1.79027473153212e-87
13.0ms
-2.652836976743067e-215
-3.800979398399455e-218
12.0ms
-2.3823483773351775e-169
-1.6423409869155881e-171
13.0ms
-2.330039722777747e-96
-2.396845541739719e-99
Results
64.0ms688×body256valid
Compiler

Compiled 749 to 572 computations (23.6% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
039184
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(-.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -6156563468186637/9619630419041620901435312524449124464130795720328478190417063819395928166869436184427311097384012607618805661696) (*.f64 y x) (if (<=.f64 y -7614394265021173/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576) (*.f64 t (neg.f64 z)) (if (<=.f64 y -630710474997163/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904) (*.f64 y x) (if (<=.f64 y 6458492102628041/293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872) (*.f64 t (neg.f64 z)) (if (<=.f64 y 8684406692798715/57896044618658097711785492504343953926634992332820282019728792003956564819968) (*.f64 y x) (if (<=.f64 y 4583190933415609/6739986666787659948666753771754907668409286105635143120275902562304) (*.f64 t (neg.f64 z)) (*.f64 y x)))))))
(*.f64 y x)
Outputs
(+.f64 (*.f64 y (*.f64 x 1/2)) (-.f64 (*.f64 y (*.f64 x 1/2)) (*.f64 z t)))
(-.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -6156563468186637/9619630419041620901435312524449124464130795720328478190417063819395928166869436184427311097384012607618805661696) (*.f64 y x) (if (<=.f64 y -7614394265021173/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576) (*.f64 t (neg.f64 z)) (if (<=.f64 y -630710474997163/24258095192198577111702804507226602425888844017448384549047688094157046135724638848919975137947601217976370792142673018846430938189293974866316988672518455300069609000325779774222895087993725700394734362401819824232700732090875904) (*.f64 y x) (if (<=.f64 y 6458492102628041/293567822846729153486185074598667128421960318613539983838411371441526128139326055432962374798096087878991872) (*.f64 t (neg.f64 z)) (if (<=.f64 y 8684406692798715/57896044618658097711785492504343953926634992332820282019728792003956564819968) (*.f64 y x) (if (<=.f64 y 4583190933415609/6739986666787659948666753771754907668409286105635143120275902562304) (*.f64 t (neg.f64 z)) (*.f64 y x)))))))
(*.f64 y x)
Compiler

Compiled 89 to 50 computations (43.8% saved)

soundness0.0ms (0%)

end37.0ms (1.2%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 153 to 88 computations (42.5% saved)

Profiling

Loading profile data...