Details

Time bar (total: 3.4s)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 44 to 32 computations (27.3% saved)

sample1.7s (49.5%)

Results
1.7s8256×body256valid
Bogosity

preprocess97.0ms (2.8%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034175
1100175
2192175
3485175
42410175
53852175
65421175
044
144
Stop Event
unsound
node limit
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
0
2
0
3
0
Call 2
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)
Symmetry

(sort a b c d)

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify118.0ms (3.4%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
12325
27025
325625
4142825
5617225
6792225
Stop Event
node limit
Counts
1 → 3
Calls
Call 1
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)

eval1.0ms (0%)

Compiler

Compiled 31 to 18 computations (41.9% saved)

prune2.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New033
Fresh011
Picked000
Done000
Total044
Error
2.3b
Counts
4 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
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)
Compiler

Compiled 39 to 27 computations (30.8% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.4b
(+.f64 b (+.f64 c d))
2.6b
(+.f64 a (+.f64 b (+.f64 c d)))
Compiler

Compiled 33 to 10 computations (69.7% saved)

series3.0ms (0.1%)

Counts
2 → 84
Calls

21 calls:

TimeVariablePointExpression
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)))

rewrite140.0ms (4.1%)

Algorithm
batch-egg-rewrite
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0932
15432
213832
345432
4206932
Stop Event
node limit
Counts
2 → 80
Calls
Call 1
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))))))))

simplify102.0ms (3%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01692402
16812402
248602402
Stop Event
node limit
Counts
164 → 97
Calls
Call 1
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))

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.2b
(+.f64 c (+.f64 b d))
2.6b
(+.f64 a (+.f64 c (+.f64 b d)))
Compiler

Compiled 33 to 10 computations (69.7% saved)

series1.0ms (0%)

Counts
2 → 84
Calls

21 calls:

TimeVariablePointExpression
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)))

rewrite83.0ms (2.4%)

Algorithm
batch-egg-rewrite
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0932
15432
213832
345432
4206932
Stop Event
node limit
Counts
2 → 80
Calls
Call 1
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))))))))

simplify90.0ms (2.6%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01702402
16792402
247072402
Stop Event
node limit
Counts
164 → 98
Calls
Call 1
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))

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
1.3b
(+.f64 a (+.f64 c d))
Compiler

Compiled 33 to 10 computations (69.7% saved)

series1.0ms (0%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
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))

rewrite55.0ms (1.6%)

Algorithm
batch-egg-rewrite
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14113
29913
331013
4145613
Stop Event
node limit
Counts
1 → 61
Calls
Call 1
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))))))))

simplify125.0ms (3.7%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01301215
15541211
238051203
Stop Event
node limit
Counts
97 → 80
Calls
Call 1
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))

eval122.0ms (3.5%)

Compiler

Compiled 7317 to 1439 computations (80.3% saved)

prune156.0ms (4.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2714275
Fresh000
Picked101
Done202
Total2744278
Error
0b
Counts
278 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
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)
Compiler

Compiled 36 to 28 computations (22.2% saved)

localize4.0ms (0.1%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize4.0ms (0.1%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0.2%)

Compiler

Compiled 15 to 8 computations (46.7% saved)

localize9.0ms (0.3%)

Compiler

Compiled 33 to 10 computations (69.7% saved)

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done033
Total044
Error
0b
Counts
4 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
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)
Compiler

Compiled 36 to 28 computations (22.2% saved)

regimes45.0ms (1.3%)

Counts
7 → 1
Calls
Call 1
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)
Calls

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)
Results
ErrorSegmentsBranch
0b1a
0b1b
0b1c
0b1d
0b1(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
0b1(+.f64 a (+.f64 b (+.f64 c d)))
0b1(+.f64 b (+.f64 c d))
0b1(+.f64 c d)
Compiler

Compiled 111 to 73 computations (34.2% saved)

regimes65.0ms (1.9%)

Counts
6 → 1
Calls
Call 1
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)
Calls

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))
Results
ErrorSegmentsBranch
3.0b1a
3.0b1b
3.0b1c
3.0b1d
3.0b1(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
3.0b1(+.f64 a (+.f64 b (+.f64 c d)))
3.0b1(+.f64 b (+.f64 c d))
3.0b1(+.f64 c d)
Compiler

Compiled 102 to 68 computations (33.3% saved)

regimes94.0ms (2.7%)

Counts
4 → 1
Calls
Call 1
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)
Calls

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
Results
ErrorSegmentsBranch
3.5b1a
3.5b1b
3.5b1c
3.5b1d
3.5b1(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) 2)
3.5b1(+.f64 a (+.f64 b (+.f64 c d)))
3.5b1(+.f64 b (+.f64 c d))
3.5b1(+.f64 c d)
Compiler

Compiled 84 to 59 computations (29.8% saved)

regimes17.0ms (0.5%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 b 2)
(*.f64 c 2)
(*.f64 (+.f64 b c) 2)
Outputs
(*.f64 (+.f64 b c) 2)
Calls

4 calls:

6.0ms
c
3.0ms
d
3.0ms
b
3.0ms
a
Results
ErrorSegmentsBranch
55.1b1a
55.1b1b
55.1b1c
55.1b1d
Compiler

Compiled 35 to 27 computations (22.9% saved)

regimes15.0ms (0.5%)

Accuracy

Total -6.5b remaining (-11.4%)

Threshold costs -6.5b (-11.4%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 b 2)
(*.f64 c 2)
Outputs
(*.f64 c 2)
Calls

4 calls:

6.0ms
d
3.0ms
b
3.0ms
c
3.0ms
a
Results
ErrorSegmentsBranch
56.5b1a
56.5b1b
56.5b1c
56.5b1d
Compiler

Compiled 30 to 24 computations (20% saved)

simplify9.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023102
Stop Event
done
saturated
Calls
Call 1
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)
Compiler

Compiled 62 to 46 computations (25.8% saved)

soundness294.0ms (8.6%)

Algorithm
egg-herbie
Rules
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
12325
27025
325625
4142825
5617225
6792225
01301215
15541211
238051203
Stop Event
node limit
node limit
Compiler

Compiled 44 to 27 computations (38.6% saved)

end39.0ms (1.1%)

Remove

(sort a b c d)

Compiler

Compiled 68 to 44 computations (35.3% saved)

Profiling

Loading profile data...