preprocess201.0ms (12.9%)

Algorithm

1×	egg-herbie

Rules

721×	distribute-lft-in
553×	distribute-neg-in
482×	sub-neg
449×	*-commutative
414×	distribute-rgt-in

Problems

256×

No Errors

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	908
1	215	896
2	754	880
3	3292	880
4	6386	880
5	7180	880
6	7861	880
7	7976	880

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a)
(+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a)
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) b) c)
(+.f64 (+.f64 (+.f64 (+.f64 e a) c) b) d)
(+.f64 (+.f64 (+.f64 (+.f64 a d) c) b) e)
(+.f64 (+.f64 (+.f64 (+.f64 e d) b) c) a)
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 (+.f64 (+.f64 (+.f64 b d) c) e) a)
(+.f64 (+.f64 (+.f64 (+.f64 e c) d) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 c d) e) b) a)
(+.f64 (+.f64 (+.f64 (+.f64 d e) c) b) a)

Outputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a))
(-.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
(+.f64 (+.f64 e d) (-.f64 (+.f64 c b) a))
(+.f64 e (+.f64 d (+.f64 c (-.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a)
(+.f64 a (-.f64 (+.f64 e (+.f64 d c)) b))
(+.f64 a (+.f64 (+.f64 e d) (-.f64 c b)))
(+.f64 e (+.f64 (+.f64 d c) (-.f64 a b)))
(+.f64 e (+.f64 (+.f64 d a) (-.f64 c b)))
(+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a)
(+.f64 a (+.f64 b (-.f64 (+.f64 e d) c)))
(+.f64 e (+.f64 (-.f64 d c) (+.f64 b a)))
(+.f64 e (+.f64 (-.f64 d (-.f64 c b)) a))
(+.f64 e (+.f64 d (-.f64 (+.f64 b a) c)))
(+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a)
(+.f64 a (+.f64 b (+.f64 c (-.f64 e d))))
(+.f64 b (+.f64 (-.f64 e (-.f64 d c)) a))
(+.f64 e (+.f64 (+.f64 b (-.f64 c d)) a))
(+.f64 e (+.f64 (+.f64 b a) (-.f64 c d)))
(+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a)
(+.f64 a (+.f64 b (+.f64 c (+.f64 d (neg.f64 e)))))
(+.f64 c (+.f64 (-.f64 d e) (+.f64 b a)))
(+.f64 d (+.f64 (-.f64 c e) (+.f64 b a)))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) (neg.f64 a)))
(neg.f64 (-.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a))
(-.f64 a (+.f64 e (+.f64 d (+.f64 c b))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) (neg.f64 b)) a))
(neg.f64 (+.f64 a (-.f64 (+.f64 e (+.f64 d c)) b)))
(-.f64 (neg.f64 a) (+.f64 (+.f64 e d) (-.f64 c b)))
(-.f64 b (+.f64 e (+.f64 c (+.f64 d a))))
(-.f64 b (+.f64 d (+.f64 a (+.f64 e c))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) (neg.f64 c)) b) a))
(neg.f64 (+.f64 a (+.f64 b (-.f64 (+.f64 e d) c))))
(-.f64 (neg.f64 a) (+.f64 e (+.f64 (-.f64 d c) b)))
(-.f64 (-.f64 (-.f64 (-.f64 c d) e) b) a)
(-.f64 c (+.f64 e (+.f64 d (+.f64 b a))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 e (neg.f64 d)) c) b) a))
(neg.f64 (+.f64 a (+.f64 b (+.f64 c (-.f64 e d)))))
(-.f64 (neg.f64 a) (+.f64 b (-.f64 e (-.f64 d c))))
(-.f64 (-.f64 d e) (+.f64 c (+.f64 b a)))
(-.f64 d (+.f64 b (+.f64 a (+.f64 e c))))
(neg.f64 (+.f64 (+.f64 (+.f64 (+.f64 (neg.f64 e) d) c) b) a))
(neg.f64 (+.f64 a (+.f64 b (+.f64 c (+.f64 d (neg.f64 e))))))
(-.f64 (neg.f64 a) (+.f64 c (+.f64 (-.f64 d e) b)))
(-.f64 (-.f64 e d) (+.f64 c (+.f64 b a)))
(-.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) b) c)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e a) c) b) d)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 a d) c) b) e)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) b) c) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 b d) c) e) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 e c) d) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 c d) e) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
(+.f64 (+.f64 (+.f64 (+.f64 d e) c) b) a)
(+.f64 (+.f64 e (+.f64 d c)) (+.f64 b a))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 c (+.f64 b (+.f64 d a))))
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))

Symmetry

(sort a b c d e)

Compiler

Compiled 35 to 10 computations (71.4% saved)