Details

Time bar (total: 2.2s)

analyze408.0ms (18.4%)

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)

sample1.1s (50.3%)

Results
815.0ms8256×body256valid
289.0ms2086×body256infinite
Bogosity

preprocess109.0ms (4.9%)

Algorithm
2×egg-herbie
Rules
1572×rational_best_oopsla_all_46_json_45_simplify-49
1384×rational_best_oopsla_all_46_json_45_simplify-23
1116×rational_best_oopsla_all_46_json_45_simplify-10
1028×rational_best_oopsla_all_46_json_45_simplify-7
936×rational_best_oopsla_all_46_json_45_simplify-89
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023133
165133
2210133
3744133
43290133
57591133
044
144
Stop Event
1×unsound
1×node limit
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)

simplify100.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
1524×rational_best_oopsla_all_46_json_45_simplify-10
1452×rational_best_oopsla_all_46_json_45_simplify-30
1420×rational_best_oopsla_all_46_json_45_simplify-72
1080×rational_best_oopsla_all_46_json_45_simplify-89
854×rational_best_oopsla_all_46_json_45_simplify-74
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11919
26419
323019
494019
5363619
6651919
Stop Event
1×node limit
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.3%)

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

rewrite72.0ms (3.2%)

Algorithm
1×batch-egg-rewrite
Rules
1924×rational_best_oopsla_all_46_json-2
1924×rational_best_oopsla_all_46_json-1
1924×rational_best_oopsla_all_46_json-4
1924×rational_best_oopsla_all_46_json-3
678×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
15719
220419
394819
4427819
Stop Event
1×node limit
Counts
1 → 38
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) (*.f64 z t))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (*.f64 z (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (*.f64 1 (*.f64 z (neg.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (*.f64 (*.f64 z t) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (neg.f64 t)) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1 (*.f64 z (neg.f64 t))) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 z t) -1) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))) (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(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 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))))) (#(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 z t) (*.f64 x y)) (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 z t) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 z t) (*.f64 x y)))))) (#(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 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 z t) (*.f64 x y)))))))

simplify61.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
1650×rational_best_oopsla_all_46_json_45_simplify-89
1512×rational_best_oopsla_all_46_json_45_simplify-74
1128×rational_best_oopsla_all_46_json_45_simplify-24
990×rational_best_oopsla_all_46_json_45_simplify-37
560×rational_best_oopsla_all_46_json_45_simplify-72
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0781810
12831810
217391514
Stop Event
1×node limit
Counts
86 → 47
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) (*.f64 z (neg.f64 t)))
(+.f64 (*.f64 x y) (*.f64 1 (*.f64 z (neg.f64 t))))
(+.f64 (*.f64 x y) (*.f64 (*.f64 z t) -1))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0)
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 0 (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 z (neg.f64 t)) (*.f64 x y))
(+.f64 (*.f64 1 (*.f64 z (neg.f64 t))) (*.f64 x y))
(+.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))))
(+.f64 (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 (*.f64 z t) -1) (*.f64 x y))
(+.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))) (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))
(*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 -1 (-.f64 (*.f64 z t) (*.f64 x y)))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 z t) (*.f64 x y)))
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 1)
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(/.f64 (-.f64 (*.f64 z t) (*.f64 x y)) -1)
(neg.f64 (-.f64 (*.f64 z t) (*.f64 x y)))
Outputs
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 -1 (*.f64 t z))
(neg.f64 (*.f64 t z))
(*.f64 z (neg.f64 t))
(*.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 x y) (*.f64 z (neg.f64 t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 x y) (*.f64 1 (*.f64 z (neg.f64 t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 x y) (*.f64 (*.f64 z t) -1))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 z (neg.f64 t)) (*.f64 x y))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 1 (*.f64 z (neg.f64 t))) (*.f64 x y))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) 0) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) 0) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 0 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 (*.f64 z t) -1) (*.f64 x y))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 z (neg.f64 t))) (*.f64 (*.f64 x y) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (neg.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))) (-.f64 (*.f64 z t) (*.f64 x y)))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (neg.f64 (*.f64 t z)))
(+.f64 (*.f64 y x) (*.f64 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.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 z (neg.f64 t)))
(-.f64 (*.f64 y x) (*.f64 t z))

eval6.0ms (0.3%)

Compiler

Compiled 919 to 112 computations (87.8% saved)

prune9.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New45247
Fresh000
Picked011
Done000
Total45348
Error
0.0b
Counts
48 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
▶28.8b
(*.f64 z (neg.f64 t))
▶33.2b
(*.f64 y x)
Compiler

Compiled 26 to 18 computations (30.8% saved)

localize4.0ms (0.2%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize5.0ms (0.2%)

Compiler

Compiled 12 to 6 computations (50% saved)

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 (*.f64 x y) (*.f64 z t))
✓28.8b
(*.f64 z (neg.f64 t))
✓33.2b
(*.f64 y x)
Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes25.0ms (1.1%)

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

7 calls:

4.0ms
t
4.0ms
(-.f64 (*.f64 x y) (*.f64 z t))
3.0ms
z
3.0ms
x
3.0ms
y
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)

regimes133.0ms (6%)

Accuracy

Total -45.5b remaining (-299.9%)

Threshold costs -45.5b (-299.9%)

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

4 calls:

84.0ms
x
23.0ms
y
16.0ms
z
8.0ms
t
Results
ErrorSegmentsBranch
17.3b7x
15.2b7y
19.4b5z
18.0b3t
Compiler

Compiled 31 to 23 computations (25.8% saved)

bsearch123.0ms (5.6%)

Algorithm
6×binary-search
Steps
TimeLeftRight
4.0ms
8.280153750799042e+92
9.16110779739097e+92
75.0ms
6.067031137561303e+56
6.512930898632978e+56
13.0ms
6.97462702976375e+22
3.903730025925241e+25
10.0ms
2.5706384985068754e-161
2.8158400162610824e-160
9.0ms
1.2394648260238866e-199
1.599992115831919e-198
12.0ms
-9.258727160269904e-113
-8.553056261107764e-115
Results
44.0ms480×body256valid
1.0ms11×body256infinite
Compiler

Compiled 528 to 403 computations (23.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034141
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -8318009082362445/5545339388241629719156828368286167406872874150751633150340959161229242615611251246079948812208279156194782421922807143657948315648) (*.f64 y x) (if (<=.f64 y 4201375747284717/2693189581592767235707386820034625876761773979045465016063119822371190863000105380922197266574125287028215280054363247469065949312094107577921441162573762995177074519617763634274131844036773231242902144888720064512) (*.f64 z (neg.f64 t)) (if (<=.f64 y 6584924608819935/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (*.f64 y x) (if (<=.f64 y 179999999999999991611392) (*.f64 z (neg.f64 t)) (if (<=.f64 y 650000000000000005291664095581804393406286799069035626496) (*.f64 y x) (if (<=.f64 y 850000000000000007922680119097259306404003074037171451705511554525558281091832942321842782208) (*.f64 z (neg.f64 t)) (*.f64 y x)))))))
(*.f64 y x)
Outputs
(-.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -8318009082362445/5545339388241629719156828368286167406872874150751633150340959161229242615611251246079948812208279156194782421922807143657948315648) (*.f64 y x) (if (<=.f64 y 4201375747284717/2693189581592767235707386820034625876761773979045465016063119822371190863000105380922197266574125287028215280054363247469065949312094107577921441162573762995177074519617763634274131844036773231242902144888720064512) (*.f64 z (neg.f64 t)) (if (<=.f64 y 6584924608819935/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264) (*.f64 y x) (if (<=.f64 y 179999999999999991611392) (*.f64 z (neg.f64 t)) (if (<=.f64 y 650000000000000005291664095581804393406286799069035626496) (*.f64 y x) (if (<=.f64 y 850000000000000007922680119097259306404003074037171451705511554525558281091832942321842782208) (*.f64 z (neg.f64 t)) (*.f64 y x)))))))
(*.f64 y x)
Compiler

Compiled 70 to 37 computations (47.1% saved)

soundness0.0ms (0%)

end31.0ms (1.4%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 106 to 56 computations (47.2% saved)

Profiling

Loading profile data...