Time bar (total: 3.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 100% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
Compiled 44 to 32 computations (27.3% saved)
| 1.7s | 8256× | body | 256 | valid |
| 2× | egg-herbie |
| 1014× | rational_best_oopsla_all_46_json_45_simplify-35 |
| 970× | rational_best_oopsla_all_46_json_45_simplify-10 |
| 934× | rational_best_oopsla_all_46_json_45_simplify-30 |
| 906× | rational_best_oopsla_all_46_json_45_simplify-37 |
| 842× | rational_best_oopsla_all_46_json_45_simplify-77 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 175 |
| 1 | 100 | 175 |
| 2 | 192 | 175 |
| 3 | 485 | 175 |
| 4 | 2410 | 175 |
| 5 | 3852 | 175 |
| 6 | 5421 | 175 |
| 0 | 4 | 4 |
| 1 | 4 | 4 |
| 1× | unsound |
| 1× | node limit |
| Inputs |
|---|
0 |
1 |
2 |
3 |
| Outputs |
|---|
0 |
1 |
0 |
2 |
0 |
3 |
0 |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2) |
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 c (+.f64 b (+.f64 a d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 d (+.f64 b (+.f64 c a))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 d (+.f64 c b))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 d c))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 a d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(sort a b c d)
Compiled 17 to 13 computations (23.5% saved)
| 1× | egg-herbie |
| 1266× | rational_best_oopsla_all_46_json_45_simplify-82 |
| 1162× | rational_best_oopsla_all_46_json_45_simplify-89 |
| 1128× | rational_best_oopsla_all_46_json_45_simplify-72 |
| 1036× | rational_best_oopsla_all_46_json_45_simplify-24 |
| 902× | rational_best_oopsla_all_46_json_45_simplify-74 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 25 |
| 1 | 23 | 25 |
| 2 | 70 | 25 |
| 3 | 256 | 25 |
| 4 | 1428 | 25 |
| 5 | 6172 | 25 |
| 6 | 7922 | 25 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
Compiled 31 to 18 computations (41.9% saved)
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 3 | 3 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
|---|---|---|
| ▶ | 3.5b | (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
| ▶ | 3.0b | (*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
| ▶ | 3.5b | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
Compiled 39 to 27 computations (30.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.4b | (+.f64 b (+.f64 c d)) |
| ✓ | 2.6b | (+.f64 a (+.f64 b (+.f64 c d))) |
Compiled 33 to 10 computations (69.7% saved)
21 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | a | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | d | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | a | @ | -inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | b | @ | inf | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0.0ms | a | @ | 0 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 1× | batch-egg-rewrite |
| 1692× | rational_best_oopsla_all_46_json_45_simplify-13 |
| 1208× | rational_best_oopsla_all_46_json-2 |
| 1208× | rational_best_oopsla_all_46_json-1 |
| 1208× | rational_best_oopsla_all_46_json-4 |
| 1208× | rational_best_oopsla_all_46_json-3 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 32 |
| 1 | 54 | 32 |
| 2 | 138 | 32 |
| 3 | 454 | 32 |
| 4 | 2069 | 32 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 a (+.f64 b (+.f64 c d))) |
(+.f64 b (+.f64 c d)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 a (+.f64 c d))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 0 (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 c d)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 0 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 b (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 b (+.f64 c d))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 b (+.f64 c d))) (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 b (+.f64 c d)))))))) |
| 1× | egg-herbie |
| 1326× | rational_best_oopsla_all_46_json_45_simplify-35 |
| 1292× | rational_best_oopsla_all_46_json_45_simplify-72 |
| 1040× | rational_best_oopsla_all_46_json_45_simplify-37 |
| 852× | rational_best_oopsla_all_46_json_45_simplify-23 |
| 602× | rational_best_oopsla_all_46_json_45_simplify-89 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 169 | 2402 |
| 1 | 681 | 2402 |
| 2 | 4860 | 2402 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 a (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) 0) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 0 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(-.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) -1) |
(*.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(*.f64 -1 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))) |
(neg.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(-.f64 (+.f64 b (+.f64 c d)) 0) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 0 (+.f64 b (+.f64 c d))))) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) 0)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0)) |
(-.f64 0 (neg.f64 (+.f64 b (+.f64 c d)))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))) |
(*.f64 (+.f64 b (+.f64 c d)) 1) |
(*.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))))) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))))) |
(*.f64 1 (+.f64 b (+.f64 c d))) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d))) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(*.f64 (neg.f64 (+.f64 b (+.f64 c d))) -1) |
(*.f64 (neg.f64 (+.f64 b (+.f64 c d))) (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(*.f64 -1 (neg.f64 (+.f64 b (+.f64 c d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d))) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d))) |
(/.f64 (+.f64 b (+.f64 c d)) 1) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))))) |
(neg.f64 (neg.f64 (+.f64 b (+.f64 c d)))) |
| Outputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 a (+.f64 d b)) |
(+.f64 d (+.f64 b a)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 b a)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) 0) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 0 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) -1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d)))) (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 -1 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (+.f64 b (+.f64 a (+.f64 c d))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (*.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) (+.f64 b (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) 1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (+.f64 b (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))) (*.f64 (+.f64 b (+.f64 a (+.f64 c d))) (/.f64 1 (+.f64 b (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(neg.f64 (neg.f64 (+.f64 b (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 b (+.f64 c d)) 0) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 0 (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 b (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(-.f64 0 (neg.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(-.f64 (*.f64 0 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) 1) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (+.f64 b (+.f64 c d)) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 1 (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (neg.f64 (+.f64 b (+.f64 c d))) -1) |
(+.f64 c (+.f64 d b)) |
(*.f64 (neg.f64 (+.f64 b (+.f64 c d))) (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(*.f64 -1 (neg.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (+.f64 b (+.f64 c d)))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (neg.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) (neg.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(*.f64 (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (*.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) (+.f64 b (+.f64 c d))) |
(+.f64 c (+.f64 d b)) |
(/.f64 (+.f64 b (+.f64 c d)) 1) |
(+.f64 c (+.f64 d b)) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))) (/.f64 (+.f64 b (+.f64 c d)) (+.f64 b (+.f64 c d))))) |
(+.f64 c (+.f64 d b)) |
(/.f64 (+.f64 b (+.f64 c d)) (/.f64 (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))) (*.f64 (+.f64 b (+.f64 c d)) (/.f64 1 (+.f64 b (+.f64 c d)))))) |
(+.f64 c (+.f64 d b)) |
(neg.f64 (neg.f64 (+.f64 b (+.f64 c d)))) |
(+.f64 c (+.f64 d b)) |
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.2b | (+.f64 c (+.f64 b d)) |
| ✓ | 2.6b | (+.f64 a (+.f64 c (+.f64 b d))) |
Compiled 33 to 10 computations (69.7% saved)
21 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | a | @ | 0 | (+.f64 a (+.f64 c (+.f64 b d))) |
| 0.0ms | b | @ | -inf | (+.f64 a (+.f64 c (+.f64 b d))) |
| 0.0ms | b | @ | inf | (+.f64 a (+.f64 c (+.f64 b d))) |
| 0.0ms | c | @ | 0 | (+.f64 a (+.f64 c (+.f64 b d))) |
| 0.0ms | d | @ | -inf | (+.f64 a (+.f64 c (+.f64 b d))) |
| 1× | batch-egg-rewrite |
| 1692× | rational_best_oopsla_all_46_json_45_simplify-13 |
| 1208× | rational_best_oopsla_all_46_json-2 |
| 1208× | rational_best_oopsla_all_46_json-1 |
| 1208× | rational_best_oopsla_all_46_json-4 |
| 1208× | rational_best_oopsla_all_46_json-3 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 32 |
| 1 | 54 | 32 |
| 2 | 138 | 32 |
| 3 | 454 | 32 |
| 4 | 2069 | 32 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 a (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 b d)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 a (+.f64 b d))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 0 (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 b d)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 0 (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c (+.f64 b d)) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 c (+.f64 b d))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 c (+.f64 b d))) (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 b d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 c (+.f64 b d)))))))) |
| 1× | egg-herbie |
| 1292× | rational_best_oopsla_all_46_json_45_simplify-72 |
| 1214× | rational_best_oopsla_all_46_json_45_simplify-35 |
| 932× | rational_best_oopsla_all_46_json_45_simplify-37 |
| 852× | rational_best_oopsla_all_46_json_45_simplify-23 |
| 602× | rational_best_oopsla_all_46_json_45_simplify-89 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 170 | 2402 |
| 1 | 679 | 2402 |
| 2 | 4707 | 2402 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 a (+.f64 d b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 c (+.f64 d b)) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) 0) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 0 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(-.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) -1) |
(*.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(*.f64 -1 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))) |
(neg.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(-.f64 (+.f64 c (+.f64 b d)) 0) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 0 (+.f64 c (+.f64 b d))))) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) 0)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0)) |
(-.f64 0 (neg.f64 (+.f64 c (+.f64 b d)))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))) |
(*.f64 (+.f64 c (+.f64 b d)) 1) |
(*.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))))) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))))) |
(*.f64 1 (+.f64 c (+.f64 b d))) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d))) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(*.f64 (neg.f64 (+.f64 c (+.f64 b d))) -1) |
(*.f64 (neg.f64 (+.f64 c (+.f64 b d))) (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(*.f64 -1 (neg.f64 (+.f64 c (+.f64 b d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d))) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d))) |
(/.f64 (+.f64 c (+.f64 b d)) 1) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))))) |
(neg.f64 (neg.f64 (+.f64 c (+.f64 b d)))) |
| Outputs |
|---|
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
a |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 a (+.f64 d b)) |
(+.f64 d (+.f64 b a)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
c |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 a (+.f64 c d)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
b |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a b)) |
(+.f64 c (+.f64 b a)) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
d |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 c (+.f64 a (+.f64 d b))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(+.f64 d b) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
c |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c d) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
b |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c b) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
d |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) 0) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 0 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) 0)) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) -1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d)))) (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 -1 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (+.f64 c (+.f64 a (+.f64 b d))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (*.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) (+.f64 c (+.f64 a (+.f64 b d)))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) 1) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (+.f64 c (+.f64 a (+.f64 b d)))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(/.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))) (*.f64 (+.f64 c (+.f64 a (+.f64 b d))) (/.f64 1 (+.f64 c (+.f64 a (+.f64 b d))))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(neg.f64 (neg.f64 (+.f64 c (+.f64 a (+.f64 b d))))) |
(+.f64 c (+.f64 d (+.f64 b a))) |
(-.f64 (+.f64 c (+.f64 b d)) 0) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 0 (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (+.f64 c (+.f64 b d)) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) 0)) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 0 (neg.f64 (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (*.f64 0 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (*.f64 0 (neg.f64 (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(-.f64 (*.f64 0 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) 1) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (+.f64 c (+.f64 b d)) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 1 (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (neg.f64 (+.f64 c (+.f64 b d))) -1) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (neg.f64 (+.f64 c (+.f64 b d))) (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 -1 (neg.f64 (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (+.f64 c (+.f64 b d)))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (neg.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) (neg.f64 (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(*.f64 (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (*.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) (+.f64 c (+.f64 b d))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(/.f64 (+.f64 c (+.f64 b d)) 1) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))) (/.f64 (+.f64 c (+.f64 b d)) (+.f64 c (+.f64 b d))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(/.f64 (+.f64 c (+.f64 b d)) (/.f64 (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))) (*.f64 (+.f64 c (+.f64 b d)) (/.f64 1 (+.f64 c (+.f64 b d)))))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
(neg.f64 (neg.f64 (+.f64 c (+.f64 b d)))) |
(+.f64 c (+.f64 d b)) |
(+.f64 d (+.f64 c b)) |
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 1.3b | (+.f64 a (+.f64 c d)) |
Compiled 33 to 10 computations (69.7% saved)
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | a | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | d | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | c | @ | 0 | (+.f64 a (+.f64 c d)) |
| 0.0ms | d | @ | -inf | (+.f64 a (+.f64 c d)) |
| 0.0ms | a | @ | inf | (+.f64 a (+.f64 c d)) |
| 1× | batch-egg-rewrite |
| 1190× | rational_best_oopsla_all_46_json_45_simplify-13 |
| 1168× | rational_best_oopsla_all_46_json_45_simplify-23 |
| 838× | rational_best_oopsla_all_46_json-2 |
| 838× | rational_best_oopsla_all_46_json-1 |
| 838× | rational_best_oopsla_all_46_json-4 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 41 | 13 |
| 2 | 99 | 13 |
| 3 | 310 | 13 |
| 4 | 1456 | 13 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 a (+.f64 c d)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x -.f64 a (neg.f64 (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 c d) (neg.f64 a))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a (+.f64 c d)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 0 (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a d) (neg.f64 c))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 a c) (neg.f64 d))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 -1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 (/.f64 0 (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (neg.f64 a) (neg.f64 (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (neg.f64 c) (neg.f64 (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (neg.f64 d) (neg.f64 (+.f64 a c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (neg.f64 (+.f64 c d)) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 a (+.f64 c d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 a (+.f64 c d)))))))) |
| 1× | egg-herbie |
| 1290× | rational_best_oopsla_all_46_json_45_simplify-49 |
| 970× | rational_best_oopsla_all_46_json_45_simplify-72 |
| 826× | rational_best_oopsla_all_46_json_45_simplify-35 |
| 720× | rational_best_oopsla_all_46_json_45_simplify-23 |
| 588× | rational_best_oopsla_all_46_json_45_simplify-37 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 130 | 1215 |
| 1 | 554 | 1211 |
| 2 | 3805 | 1203 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 a d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 a d)) |
(-.f64 a (neg.f64 (+.f64 c d))) |
(-.f64 (+.f64 c d) (neg.f64 a)) |
(-.f64 (+.f64 a (+.f64 c d)) 0) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) 0)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 0 (+.f64 a (+.f64 c d))))) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0)) |
(-.f64 0 (neg.f64 (+.f64 a (+.f64 c d)))) |
(-.f64 (+.f64 a d) (neg.f64 c)) |
(-.f64 (+.f64 a c) (neg.f64 d)) |
(-.f64 (*.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d))))) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) 1) |
(*.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 1 (+.f64 a (+.f64 c d))) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d))) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) -1) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 -1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 (/.f64 0 (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(*.f64 -1 (neg.f64 (+.f64 a (+.f64 c d)))) |
(*.f64 -1 (+.f64 (neg.f64 a) (neg.f64 (+.f64 c d)))) |
(*.f64 -1 (+.f64 (neg.f64 c) (neg.f64 (+.f64 a d)))) |
(*.f64 -1 (+.f64 (neg.f64 d) (neg.f64 (+.f64 a c)))) |
(*.f64 -1 (+.f64 (neg.f64 (+.f64 c d)) (neg.f64 a))) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(*.f64 (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(*.f64 (neg.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(*.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(*.f64 (neg.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(/.f64 (+.f64 a (+.f64 c d)) 1) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(neg.f64 (neg.f64 (+.f64 a (+.f64 c d)))) |
| Outputs |
|---|
(+.f64 c d) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
a |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 a d) |
(+.f64 d a) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
c |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c a) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
d |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(+.f64 c (+.f64 a d)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 a (neg.f64 (+.f64 c d))) |
(+.f64 c (-.f64 d (neg.f64 a))) |
(+.f64 c (-.f64 a (neg.f64 d))) |
(-.f64 (+.f64 c d) (neg.f64 a)) |
(-.f64 a (neg.f64 (+.f64 c d))) |
(+.f64 c (-.f64 d (neg.f64 a))) |
(+.f64 c (-.f64 a (neg.f64 d))) |
(-.f64 (+.f64 a (+.f64 c d)) 0) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 0 (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (+.f64 a (+.f64 c d)) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) 0)) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 0 (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (+.f64 a d) (neg.f64 c)) |
(-.f64 a (neg.f64 (+.f64 c d))) |
(+.f64 c (-.f64 d (neg.f64 a))) |
(+.f64 c (-.f64 a (neg.f64 d))) |
(-.f64 (+.f64 a c) (neg.f64 d)) |
(-.f64 a (neg.f64 (+.f64 c d))) |
(+.f64 c (-.f64 d (neg.f64 a))) |
(+.f64 c (-.f64 a (neg.f64 d))) |
(-.f64 (*.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(-.f64 (*.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) 1) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (+.f64 a (+.f64 c d)) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 1 (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) -1) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 -1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 (/.f64 0 (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (-.f64 0 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 -1 (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 -1 (+.f64 (neg.f64 a) (neg.f64 (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 -1 (+.f64 (neg.f64 c) (neg.f64 (+.f64 a d)))) |
(*.f64 -1 (+.f64 (neg.f64 c) (neg.f64 (+.f64 d a)))) |
(neg.f64 (+.f64 (neg.f64 c) (neg.f64 (+.f64 d a)))) |
(+.f64 (+.f64 d a) (neg.f64 (neg.f64 c))) |
(*.f64 -1 (+.f64 (neg.f64 d) (neg.f64 (+.f64 a c)))) |
(*.f64 -1 (+.f64 (neg.f64 d) (neg.f64 (+.f64 c a)))) |
(neg.f64 (+.f64 (neg.f64 d) (neg.f64 (+.f64 c a)))) |
(+.f64 (+.f64 c a) (neg.f64 (neg.f64 d))) |
(*.f64 -1 (+.f64 (neg.f64 (+.f64 c d)) (neg.f64 a))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (+.f64 a (+.f64 c d)))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) (*.f64 (neg.f64 (+.f64 a (+.f64 c d))) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (*.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (neg.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) (+.f64 a (+.f64 c d))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(*.f64 (neg.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d))))) (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(/.f64 (+.f64 a (+.f64 c d)) 1) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))) (/.f64 (+.f64 a (+.f64 c d)) (+.f64 a (+.f64 c d))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(/.f64 (+.f64 a (+.f64 c d)) (/.f64 (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))) (*.f64 (+.f64 a (+.f64 c d)) (/.f64 1 (+.f64 a (+.f64 c d)))))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
(neg.f64 (neg.f64 (+.f64 a (+.f64 c d)))) |
(+.f64 c (+.f64 d a)) |
(+.f64 (+.f64 c d) a) |
(+.f64 d (+.f64 c a)) |
Compiled 7317 to 1439 computations (80.3% saved)
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 271 | 4 | 275 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 2 | 0 | 2 |
| Total | 274 | 4 | 278 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0b | (*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
| ▶ | 55.1b | (*.f64 (+.f64 b c) 2) |
| ▶ | 56.5b | (*.f64 c 2) |
| ▶ | 60.0b | (*.f64 b 2) |
Compiled 36 to 28 computations (22.2% saved)
Compiled 9 to 7 computations (22.2% saved)
Compiled 9 to 7 computations (22.2% saved)
Compiled 15 to 8 computations (46.7% saved)
Compiled 33 to 10 computations (69.7% saved)
Compiled 4 to 4 computations (0% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0b | (*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
| ✓ | 55.1b | (*.f64 (+.f64 b c) 2) |
| ✓ | 56.5b | (*.f64 c 2) |
| ✓ | 60.0b | (*.f64 b 2) |
Compiled 36 to 28 computations (22.2% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 b c) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
(*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
8 calls:
| 7.0ms | (+.f64 a (+.f64 b (+.f64 c d))) |
| 6.0ms | a |
| 6.0ms | d |
| 5.0ms | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 5.0ms | (+.f64 c d) |
| Error | Segments | Branch |
|---|---|---|
| 0b | 1 | a |
| 0b | 1 | b |
| 0b | 1 | c |
| 0b | 1 | d |
| 0b | 1 | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 0b | 1 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0b | 1 | (+.f64 b (+.f64 c d)) |
| 0b | 1 | (+.f64 c d) |
Compiled 111 to 73 computations (34.2% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 b c) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 b (+.f64 a (+.f64 c d))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
8 calls:
| 30.0ms | c |
| 6.0ms | (+.f64 a (+.f64 b (+.f64 c d))) |
| 5.0ms | a |
| 5.0ms | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 5.0ms | (+.f64 b (+.f64 c d)) |
| Error | Segments | Branch |
|---|---|---|
| 3.0b | 1 | a |
| 3.0b | 1 | b |
| 3.0b | 1 | c |
| 3.0b | 1 | d |
| 3.0b | 1 | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 3.0b | 1 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 3.0b | 1 | (+.f64 b (+.f64 c d)) |
| 3.0b | 1 | (+.f64 c d) |
Compiled 102 to 68 computations (33.3% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 b c) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
8 calls:
| 64.0ms | (+.f64 a (+.f64 b (+.f64 c d))) |
| 6.0ms | b |
| 4.0ms | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 4.0ms | c |
| 4.0ms | d |
| Error | Segments | Branch |
|---|---|---|
| 3.5b | 1 | a |
| 3.5b | 1 | b |
| 3.5b | 1 | c |
| 3.5b | 1 | d |
| 3.5b | 1 | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
| 3.5b | 1 | (+.f64 a (+.f64 b (+.f64 c d))) |
| 3.5b | 1 | (+.f64 b (+.f64 c d)) |
| 3.5b | 1 | (+.f64 c d) |
Compiled 84 to 59 computations (29.8% saved)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
(*.f64 (+.f64 b c) 2) |
| Outputs |
|---|
(*.f64 (+.f64 b c) 2) |
4 calls:
| 6.0ms | c |
| 3.0ms | d |
| 3.0ms | b |
| 3.0ms | a |
| Error | Segments | Branch |
|---|---|---|
| 55.1b | 1 | a |
| 55.1b | 1 | b |
| 55.1b | 1 | c |
| 55.1b | 1 | d |
Compiled 35 to 27 computations (22.9% saved)
Total -6.5b remaining (-11.4%)
Threshold costs -6.5b (-11.4%)
| Inputs |
|---|
(*.f64 b 2) |
(*.f64 c 2) |
| Outputs |
|---|
(*.f64 c 2) |
4 calls:
| 6.0ms | d |
| 3.0ms | b |
| 3.0ms | c |
| 3.0ms | a |
| Error | Segments | Branch |
|---|---|---|
| 56.5b | 1 | a |
| 56.5b | 1 | b |
| 56.5b | 1 | c |
| 56.5b | 1 | d |
Compiled 30 to 24 computations (20% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 102 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b c) 2) |
(*.f64 c 2) |
(*.f64 b 2) |
| Outputs |
|---|
(*.f64 (+.f64 b (+.f64 c (+.f64 d a))) 2) |
(*.f64 (+.f64 a (+.f64 c (+.f64 b d))) 2) |
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2) |
(*.f64 (+.f64 b c) 2) |
(*.f64 c 2) |
(*.f64 b 2) |
Compiled 62 to 46 computations (25.8% saved)
| 2× | egg-herbie |
| 1290× | rational_best_oopsla_all_46_json_45_simplify-49 |
| 1266× | rational_best_oopsla_all_46_json_45_simplify-82 |
| 1162× | rational_best_oopsla_all_46_json_45_simplify-89 |
| 1128× | rational_best_oopsla_all_46_json_45_simplify-72 |
| 1036× | rational_best_oopsla_all_46_json_45_simplify-24 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 25 |
| 1 | 23 | 25 |
| 2 | 70 | 25 |
| 3 | 256 | 25 |
| 4 | 1428 | 25 |
| 5 | 6172 | 25 |
| 6 | 7922 | 25 |
| 0 | 130 | 1215 |
| 1 | 554 | 1211 |
| 2 | 3805 | 1203 |
| 1× | node limit |
| 1× | node limit |
Compiled 44 to 27 computations (38.6% saved)
(sort a b c d)
Compiled 68 to 44 computations (35.3% saved)
Loading profile data...