Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 53 to 38 computations (28.3% saved)

sample1.1s (39.9%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

preprocess32.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

164×	`associate-+l+_binary64`
66×	`associate-+r+_binary64`
47×	`+-commutative_binary64`
1×	`swap-a-e`
1×	`swap-a-d`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	143
1	127	143
2	304	143
3	350	143
0	5	5
1	5	5

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3
4

Outputs
0
1
0
2
0
3
0
4
0

Call 2

Inputs
(+.f64 (+.f64 (+.f64 (+.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 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) a) b)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) a) b) c)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e a) c) b) d)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 a d) c) b) e)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e d) b) c) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e b) c) d) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 b d) c) e) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 e c) d) b) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 c d) e) b) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))
(+.f64 (+.f64 (+.f64 (+.f64 d e) c) b) a)
(+.f64 a (+.f64 (+.f64 e d) (+.f64 c b)))
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
(+.f64 e (+.f64 b (+.f64 d (+.f64 c a))))

Symmetry

(sort a b c d e)

Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

125×	`associate-+l+_binary64`
97×	`associate-+r+_binary64`
51×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	13
2	59	13
3	188	13
4	339	13
5	339	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (+.f64 e d) 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 (+.f64 d c) (+.f64 b a)))
(+.f64 (+.f64 e d) (+.f64 b (+.f64 c a)))
(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Compiler

Compiled 79 to 49 computations (38% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 c (+.f64 a (+.f64 d b)))
✓	0.3b	(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))
✓	0.3b	(+.f64 a (+.f64 d b))

series15.0ms (0.5%)

Counts

3 → 81

Calls

36 calls:

Time	Variable		Point	Expression
3.0ms	a	@	inf	(+.f64 c (+.f64 a (+.f64 d b)))
1.0ms	d	@	0	(+.f64 c (+.f64 a (+.f64 d b)))
0.0ms	a	@	inf	(+.f64 a (+.f64 d b))
0.0ms	d	@	inf	(+.f64 a (+.f64 d b))
0.0ms	e	@	inf	(+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))

rewrite61.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

426×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
136×	`add-sqr-sqrt_binary64`
135×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	242	30
2	3999	30

Stop Event

1×	node limit

Counts

3 → 111

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 d (+.f64 b a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 a a) (-.f64 (-.f64 a d) b)) (/.f64 (pow.f64 (+.f64 d b) 2) (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d (+.f64 b a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 d (+.f64 b a))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2) (cbrt.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 d (+.f64 b a))) (sqrt.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (/.f64 1 (fma.f64 a a (.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 a a (.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (-.f64 a d) b) (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (fma.f64 a a (.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (-.f64 (.f64 a a) (.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2)) (-.f64 (-.f64 a d) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3))) (neg.f64 (fma.f64 a a (.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 d b) 2))) (neg.f64 (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 b 3)) (+.f64 (.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (.f64 b b) (.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (.f64 a a)) (-.f64 (+.f64 d b) a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 a d) (+.f64 a d)) (.f64 b b)) (-.f64 (+.f64 a d) b))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 d (+.f64 b a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 d (+.f64 b a)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 d (+.f64 b a)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 d (+.f64 b a)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 d b) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 d b) 2)) (cbrt.f64 (+.f64 d b)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 a a)) (cbrt.f64 a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 d b)) (sqrt.f64 (+.f64 d b)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 d (+.f64 b a))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 d (+.f64 b a))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 e e) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))) (/.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2) (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (/.f64 1 (fma.f64 e e (.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2)) (/.f64 1 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 e e (.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)) (-.f64 (.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (fma.f64 e e (.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (+.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (-.f64 (.f64 e e) (.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2)) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))) (neg.f64 (fma.f64 e e (.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))) (neg.f64 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (.f64 (+.f64 e c) (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (.f64 e e)) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 e c) (+.f64 e c)) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (-.f64 (+.f64 e c) (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 e (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (+.f64 c (+.f64 a d)) b) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2) (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 e) 2) (cbrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 c (+.f64 a d)) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 c c) (-.f64 (-.f64 c (+.f64 a d)) b)) (/.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 c (+.f64 a d)) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2) (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (/.f64 1 (fma.f64 c c (.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (/.f64 1 (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 c c (.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c))) (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (-.f64 c (+.f64 a d)) b) (-.f64 (.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (fma.f64 c c (.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (-.f64 (.f64 c c) (.f64 (+.f64 d (+.f64 b a)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (-.f64 (-.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))) (neg.f64 (fma.f64 c c (.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2))) (neg.f64 (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (.f64 (+.f64 a c) (+.f64 a c)) (-.f64 (pow.f64 (+.f64 d b) 2) (.f64 (+.f64 a c) (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (.f64 c c)) (-.f64 (+.f64 d (+.f64 b a)) c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 (+.f64 d b) 2)) (-.f64 (+.f64 a c) (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 d (+.f64 b a)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 c c)) (cbrt.f64 c) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2) (cbrt.f64 (+.f64 d (+.f64 b a))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) (sqrt.f64 (+.f64 d (+.f64 b a))) c)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 d (+.f64 b a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 a a) (-.f64 (-.f64 a d) b)) (/.f64 (pow.f64 (+.f64 d b) 2) (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 d (+.f64 b a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2) (cbrt.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) (sqrt.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (/.f64 1 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)) (/.f64 1 (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (-.f64 a d) b) (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (-.f64 (*.f64 a a) (*.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)) (-.f64 (-.f64 a d) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3))) (neg.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2))) (neg.f64 (-.f64 (-.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 a d) 3) (pow.f64 b 3)) (+.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (-.f64 (*.f64 b b) (*.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 a a)) (-.f64 (+.f64 d b) a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 b b)) (-.f64 (+.f64 a d) b))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 d (+.f64 b a)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 d (+.f64 b a)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 d (+.f64 b a)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 d (+.f64 b a)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 d b) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 d b) 2)) (cbrt.f64 (+.f64 d b)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 a a)) (cbrt.f64 a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 d b)) (sqrt.f64 (+.f64 d b)) a)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 d (+.f64 b a))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 d (+.f64 b a))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 e e) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))) (/.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) (pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2) (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (/.f64 1 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2)) (/.f64 1 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)) (-.f64 (*.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3)) (+.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (-.f64 (*.f64 e e) (*.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2)) (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))) (neg.f64 (fma.f64 e e (*.f64 (+.f64 (+.f64 c (+.f64 a d)) b) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))) (neg.f64 (-.f64 e (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (*.f64 (+.f64 e c) (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2) (*.f64 e e)) (-.f64 (+.f64 (+.f64 c (+.f64 a d)) b) e))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (-.f64 (+.f64 e c) (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 e (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (+.f64 c (+.f64 a d)) b) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2) (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 e) 2) (cbrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (+.f64 c (+.f64 a d)) b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 c c) (-.f64 (-.f64 c (+.f64 a d)) b)) (/.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (+.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2) (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (/.f64 1 (fma.f64 c c (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (/.f64 1 (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 c c (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c))) (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (-.f64 c (+.f64 a d)) b) (-.f64 (*.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (fma.f64 c c (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (-.f64 (*.f64 c c) (*.f64 (+.f64 d (+.f64 b a)) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (-.f64 (-.f64 c (+.f64 a d)) b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))) (neg.f64 (fma.f64 c c (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 d (+.f64 b a)) 2))) (neg.f64 (-.f64 (-.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 a c) 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 (+.f64 a c) (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (*.f64 c c)) (-.f64 (+.f64 d (+.f64 b a)) c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 a c) (+.f64 a c)) (pow.f64 (+.f64 d b) 2)) (-.f64 (+.f64 a c) (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (+.f64 c (+.f64 a d)) b) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 d (+.f64 b a)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 c c)) (cbrt.f64 c) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2) (cbrt.f64 (+.f64 d (+.f64 b a))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) (sqrt.f64 (+.f64 d (+.f64 b a))) c)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (+.f64 c (+.f64 a d)) b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (+.f64 c (+.f64 a d)) b)))))))

simplify21.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

130×	`associate-+l+_binary64`
56×	`associate-+r+_binary64`
40×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	699
1	57	699
2	139	699
3	259	699
4	270	699

Stop Event

1×

saturated

Counts

192 → 141

Calls

Call 1

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

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

prune125.0ms (4.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	137	4	141
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	138	5	143

Error

Counts

143 → 5

Alt Table

Status	Error	Program
	0.3b	(+.f64 e (+.f64 c (/.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (pow.f64 (+.f64 d b) 2) (-.f64 (.f64 a a) (.f64 a (+.f64 d b)))))))
	0.4b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
▶	0.3b	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
	0.3b	(+.f64 d (+.f64 b (+.f64 a (+.f64 c e))))
	0.4b	(+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 d (+.f64 b a))))))

Compiler

Compiled 2416 to 753 computations (68.8% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 c (+.f64 a d))
✓	0.2b	(+.f64 (+.f64 c (+.f64 a d)) b)
✓	0.3b	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))

series12.0ms (0.4%)

Counts

3 → 106

Calls

36 calls:

Time	Variable		Point	Expression
1.0ms	e	@	0	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
1.0ms	e	@	inf	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
1.0ms	e	@	-inf	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
0.0ms	c	@	0	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
0.0ms	d	@	0	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))

rewrite61.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

717×	`fma-def_binary64`
346×	`fma-neg_binary64`
235×	`expm1-udef_binary64`
235×	`log1p-udef_binary64`
136×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	250	30
2	3755	30

Stop Event

1×	node limit

Counts

3 → 148

Calls

Call 1

Inputs
(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
(+.f64 (+.f64 c (+.f64 a d)) b)
(+.f64 c (+.f64 a d))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c (+.f64 a (+.f64 d b))) e)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2) (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3)) (fma.f64 e e (-.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2) (.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 e e) (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2)) (-.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 a (+.f64 d b))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (+.f64 c (-.f64 (+.f64 a d) b))) (/.f64 (.f64 b b) (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 c (+.f64 a (+.f64 d b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2) (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (/.f64 1 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (.f64 b b)) (/.f64 1 (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 c (-.f64 (+.f64 a d) b)) (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (fma.f64 b b (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (.f64 b b)) (+.f64 c (-.f64 (+.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3))) (neg.f64 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (.f64 b b))) (neg.f64 (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (fma.f64 c c (-.f64 (.f64 (+.f64 a (+.f64 d b)) (+.f64 a (+.f64 d b))) (.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 c c) (.f64 (+.f64 a (+.f64 d b)) (+.f64 a (+.f64 d b)))) (-.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 b b) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (-.f64 b (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a d) 1 (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c (+.f64 a d)) 1 b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b 1 (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a d) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c (+.f64 a d)) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a (+.f64 d b)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) (cbrt.f64 (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 b) (cbrt.f64 (.f64 b b)) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 b b)) (cbrt.f64 b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a d)) (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (cbrt.f64 (+.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) (sqrt.f64 (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b) (sqrt.f64 b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a d)) (sqrt.f64 (+.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 a 3) (pow.f64 d 3)) (/.f64 1 (fma.f64 a a (.f64 d (-.f64 d a)))) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (/.f64 1 (fma.f64 c c (.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (+.f64 a d) (-.f64 a d)) (/.f64 1 (-.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 a d) 2)) (/.f64 1 (-.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (+.f64 c a))) (cbrt.f64 (+.f64 c a)) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 a (+.f64 d b))) (cbrt.f64 (+.f64 a (+.f64 d b)))) (cbrt.f64 (+.f64 a (+.f64 d b))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c a)) (sqrt.f64 (+.f64 c a)) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a (+.f64 d b))) (sqrt.f64 (+.f64 a (+.f64 d b))) c)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 a d)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 c c) (-.f64 c (+.f64 a d))) (/.f64 (pow.f64 (+.f64 a d) 2) (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 c (+.f64 a d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 c (+.f64 a d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) (cbrt.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 c (+.f64 a d))) (sqrt.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (/.f64 1 (fma.f64 c c (.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 a d) 2)) (/.f64 1 (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 c c (.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 c (+.f64 a d)) (-.f64 (.f64 c c) (pow.f64 (+.f64 a d) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (.f64 c c) (.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 a d) 2)) (-.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3))) (neg.f64 (fma.f64 c c (.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 a d) 2))) (neg.f64 (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 (+.f64 c a) (+.f64 c a) (-.f64 (.f64 d d) (.f64 (+.f64 c a) d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 a d) 2) (.f64 c c)) (-.f64 (+.f64 a d) c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 c a) (+.f64 c a)) (.f64 d d)) (-.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 c (+.f64 a d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a 1 (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d 1 (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a d) 1 c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 d (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a d) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c a) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 a) (pow.f64 (cbrt.f64 a) 2) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d) (cbrt.f64 (.f64 d d)) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d d)) (cbrt.f64 d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a d)) (pow.f64 (cbrt.f64 (+.f64 a d)) 2) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (cbrt.f64 (+.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 d) (sqrt.f64 d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a d)) (sqrt.f64 (+.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 a 3) (pow.f64 d 3)) (/.f64 1 (fma.f64 a a (.f64 d (-.f64 d a)))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (+.f64 a d) (-.f64 a d)) (/.f64 1 (-.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c a) 1 d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (+.f64 c a))) (cbrt.f64 (+.f64 c a)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c a)) (sqrt.f64 (+.f64 c a)) d)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 a d))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 c (+.f64 a d))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 c (+.f64 a (+.f64 d b))) e)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 e b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2) (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3)) (fma.f64 e e (-.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2) (*.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2)) (-.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 e (+.f64 c (+.f64 a (+.f64 d b))))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 a (+.f64 d b))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (+.f64 c (-.f64 (+.f64 a d) b))) (/.f64 (*.f64 b b) (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a (+.f64 d b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2) (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (/.f64 1 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b)) (/.f64 1 (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 c (-.f64 (+.f64 a d) b)) (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3)) (fma.f64 b b (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 (+.f64 c (+.f64 a d)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b)) (+.f64 c (-.f64 (+.f64 a d) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) (pow.f64 b 3))) (neg.f64 (fma.f64 b (-.f64 b (+.f64 c (+.f64 a d))) (pow.f64 (+.f64 c (+.f64 a d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 b b))) (neg.f64 (+.f64 c (-.f64 (+.f64 a d) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a (+.f64 d b)) 3)) (fma.f64 c c (-.f64 (*.f64 (+.f64 a (+.f64 d b)) (+.f64 a (+.f64 d b))) (*.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 c c) (*.f64 (+.f64 a (+.f64 d b)) (+.f64 a (+.f64 d b)))) (-.f64 c (+.f64 a (+.f64 d b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 b b) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (-.f64 b (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 a (+.f64 d b))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 c (+.f64 a (+.f64 d b))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (*.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a d) 1 (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c (+.f64 a d)) 1 b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b 1 (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (*.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a d) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c (+.f64 a d)) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a (+.f64 d b)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c a) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) (cbrt.f64 (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 b) (cbrt.f64 (*.f64 b b)) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 b b)) (cbrt.f64 b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a d)) (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (cbrt.f64 (+.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (*.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (*.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) (sqrt.f64 (+.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b) (sqrt.f64 b) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a d)) (sqrt.f64 (+.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 a (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (*.f64 (+.f64 a (+.f64 d b)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 a 3) (pow.f64 d 3)) (/.f64 1 (fma.f64 a a (*.f64 d (-.f64 d a)))) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (/.f64 1 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 a d) (-.f64 a d)) (/.f64 1 (-.f64 a d)) (+.f64 c b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 a d) 2)) (/.f64 1 (-.f64 c (+.f64 a d))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (+.f64 c a))) (cbrt.f64 (+.f64 c a)) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (+.f64 a (+.f64 d b))) (cbrt.f64 (+.f64 a (+.f64 d b)))) (cbrt.f64 (+.f64 a (+.f64 d b))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c a)) (sqrt.f64 (+.f64 c a)) (+.f64 d b))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a (+.f64 d b))) (sqrt.f64 (+.f64 a (+.f64 d b))) c)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 a (+.f64 d b)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 c (+.f64 a (+.f64 d b)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 a d)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 c c) (-.f64 c (+.f64 a d))) (/.f64 (pow.f64 (+.f64 a d) 2) (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 a d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) (cbrt.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) (sqrt.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (/.f64 1 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 a d) 2)) (/.f64 1 (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))) (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 c (+.f64 a d)) (-.f64 (*.f64 c c) (pow.f64 (+.f64 a d) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (pow.f64 (+.f64 a d) 2) (-.f64 (*.f64 c c) (*.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 a d) 2)) (-.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 c 3) (pow.f64 (+.f64 a d) 3))) (neg.f64 (fma.f64 c c (*.f64 (+.f64 a d) (-.f64 (+.f64 a d) c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 a d) 2))) (neg.f64 (-.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c a) 3) (pow.f64 d 3)) (fma.f64 (+.f64 c a) (+.f64 c a) (-.f64 (*.f64 d d) (*.f64 (+.f64 c a) d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 a d) 2) (*.f64 c c)) (-.f64 (+.f64 a d) c))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 c a) (+.f64 c a)) (*.f64 d d)) (-.f64 (+.f64 c a) d))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 c (+.f64 a d)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 c (+.f64 a d)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 c 1 (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 a 1 (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d 1 (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 a d) 1 c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 c (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 a (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 d (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 a d) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c a) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 a) (pow.f64 (cbrt.f64 a) 2) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 a) 2) (cbrt.f64 a) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d) (cbrt.f64 (*.f64 d d)) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 d d)) (cbrt.f64 d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (+.f64 a d)) (pow.f64 (cbrt.f64 (+.f64 a d)) 2) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 a d)) 2) (cbrt.f64 (+.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 c) (pow.f64 (cbrt.f64 c) 2) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 c) 2) (cbrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 a) (sqrt.f64 a) (+.f64 d c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 d) (sqrt.f64 d) (+.f64 c a))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 a d)) (sqrt.f64 (+.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 c) (sqrt.f64 c) (+.f64 a d))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 (pow.f64 a 3) (pow.f64 d 3)) (/.f64 1 (fma.f64 a a (*.f64 d (-.f64 d a)))) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (+.f64 a d) (-.f64 a d)) (/.f64 1 (-.f64 a d)) c)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 c a) 1 d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (+.f64 c a)) (cbrt.f64 (+.f64 c a))) (cbrt.f64 (+.f64 c a)) d)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c a)) (sqrt.f64 (+.f64 c a)) d)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 a d))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 c (+.f64 a d))))))))

simplify25.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

128×	`associate-+l+_binary64`
56×	`associate-+r+_binary64`
30×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	940
1	59	940
2	135	940
3	248	940
4	258	940

Stop Event

1×

saturated

Counts

254 → 172

Calls

Call 1

Inputs
(+.f64 c (+.f64 a (+.f64 d b)))
(+.f64 a (+.f64 d (+.f64 b e)))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
c
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
c
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 d (+.f64 b e)))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
a
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
a
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 b e)))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
d
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
d
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d e)))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
b
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
b
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.f64 c (+.f64 a (+.f64 d (+.f64 b e))))
(+.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 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 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 (+.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 d)
c
c
(+.f64 c d)
a
a
(+.f64 c a)
d
d

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

prune94.0ms (3.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	173	4	177

Error

Counts

177 → 4

Alt Table

Status	Error	Program
✓	0.3b	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
	0.3b	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)
▶	0.2b	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
	0.4b	(+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 d (+.f64 b a))))))

Compiler

Compiled 2995 to 828 computations (72.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
	0.3b	(+.f64 a (+.f64 d b))

series4.0ms (0.2%)

Counts

1 → 60

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	e	@	0	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
0.0ms	e	@	inf	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
0.0ms	c	@	inf	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
0.0ms	b	@	inf	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
0.0ms	d	@	inf	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))

rewrite52.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

433×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
136×	`add-sqr-sqrt_binary64`
135×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	242	13
2	4042	13

Stop Event

1×	node limit

Counts

1 → 50

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 e c) 2) (+.f64 e (-.f64 c (+.f64 d (+.f64 b a))))) (/.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (+.f64 e (-.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) 2) (cbrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) (sqrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (/.f64 1 (+.f64 (pow.f64 (+.f64 e c) 2) (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 e c) 2) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (/.f64 1 (+.f64 e (-.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 e c) 2) (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))) (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 e (-.f64 c (+.f64 d (+.f64 b a)))) (-.f64 (pow.f64 (+.f64 e c) 2) (pow.f64 (+.f64 d (+.f64 b a)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (pow.f64 (+.f64 e c) 2) (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3)) (+.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (-.f64 (pow.f64 (+.f64 e c) 2) (*.f64 (+.f64 e c) (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 e c) 2) (pow.f64 (+.f64 d (+.f64 b a)) 2)) (+.f64 e (-.f64 c (+.f64 d (+.f64 b a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 d (+.f64 b a)) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 e c) 2) (*.f64 (+.f64 d (+.f64 b a)) (-.f64 (+.f64 d (+.f64 b a)) (+.f64 e c))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 e c) 2) (pow.f64 (+.f64 d (+.f64 b a)) 2))) (neg.f64 (+.f64 e (-.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 e 3) (pow.f64 c 3)) (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))) (*.f64 (fma.f64 e e (*.f64 c (-.f64 c e))) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)))) (*.f64 (fma.f64 e e (*.f64 c (-.f64 c e))) (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 e e) (*.f64 c c)) (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))) (*.f64 (-.f64 e c) (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)))) (*.f64 (-.f64 e c) (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 e 3) (pow.f64 c 3)) (-.f64 (-.f64 a b) d)) (*.f64 (fma.f64 e e (*.f64 c (-.f64 c e))) (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)))) (*.f64 (fma.f64 e e (*.f64 c (-.f64 c e))) (-.f64 (-.f64 a b) d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 e e) (*.f64 c c)) (-.f64 (-.f64 a b) d)) (*.f64 (-.f64 e c) (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)))) (*.f64 (-.f64 e c) (-.f64 (-.f64 a b) d)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (fma.f64 e e (*.f64 c (-.f64 c e)))) (*.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (+.f64 (pow.f64 e 3) (pow.f64 c 3)))) (*.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (fma.f64 e e (*.f64 c (-.f64 c e)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)) (fma.f64 e e (*.f64 c (-.f64 c e)))) (*.f64 (-.f64 (-.f64 a b) d) (+.f64 (pow.f64 e 3) (pow.f64 c 3)))) (*.f64 (-.f64 (-.f64 a b) d) (fma.f64 e e (*.f64 c (-.f64 c e)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (pow.f64 a 3) (pow.f64 (+.f64 d b) 3)) (-.f64 e c)) (*.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (-.f64 (*.f64 e e) (*.f64 c c)))) (*.f64 (fma.f64 a a (*.f64 (+.f64 d b) (-.f64 (+.f64 d b) a))) (-.f64 e c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 d b) 2)) (-.f64 e c)) (*.f64 (-.f64 (-.f64 a b) d) (-.f64 (*.f64 e e) (*.f64 c c)))) (*.f64 (-.f64 (-.f64 a b) d) (-.f64 e c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 d (+.f64 b a))) 3)) (+.f64 (*.f64 e e) (-.f64 (*.f64 (+.f64 c (+.f64 d (+.f64 b a))) (+.f64 c (+.f64 d (+.f64 b a)))) (*.f64 e (+.f64 c (+.f64 d (+.f64 b a)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e (+.f64 c a)) 3) (pow.f64 (+.f64 d b) 3)) (+.f64 (*.f64 (+.f64 e (+.f64 c a)) (+.f64 e (+.f64 c a))) (-.f64 (pow.f64 (+.f64 d b) 2) (*.f64 (+.f64 e (+.f64 c a)) (+.f64 d b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 e e) (*.f64 (+.f64 c (+.f64 d (+.f64 b a))) (+.f64 c (+.f64 d (+.f64 b a))))) (-.f64 e (+.f64 c (+.f64 d (+.f64 b a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 d (+.f64 b a)) 2) (pow.f64 (+.f64 e c) 2)) (-.f64 (+.f64 d (+.f64 b a)) (+.f64 e c)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 e (+.f64 c a)) (+.f64 e (+.f64 c a))) (pow.f64 (+.f64 d b) 2)) (-.f64 (+.f64 e (+.f64 c a)) (+.f64 d b)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 e (+.f64 c (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 e c) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 d (+.f64 b a)) (+.f64 e c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 e e)) (cbrt.f64 e) (+.f64 c (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 d (+.f64 b a))) 2) (cbrt.f64 (+.f64 d (+.f64 b a))) (+.f64 e c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 e c)) 2) (cbrt.f64 (+.f64 e c)) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 c (+.f64 d (+.f64 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 d (+.f64 b a))) (sqrt.f64 (+.f64 d (+.f64 b a))) (+.f64 e c))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 e c)) (sqrt.f64 (+.f64 e c)) (+.f64 d (+.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 e (+.f64 c (+.f64 d (+.f64 b a))))))))))

simplify18.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

118×	`associate-+l+_binary64`
60×	`associate-+r+_binary64`
48×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	645
1	46	645
2	131	645
3	272	645
4	279	645

Stop Event

1×

saturated

Counts

110 → 67

Calls

Call 1

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

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

prune63.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	112	4	116

Error

Counts

116 → 4

Alt Table

Status	Error	Program
✓	0.3b	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
▶	0.3b	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)
✓	0.2b	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
	0.4b	(+.f64 e (+.f64 c (expm1.f64 (log1p.f64 (+.f64 d (+.f64 b a))))))

Compiler

Compiled 2097 to 596 computations (71.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 e (+.f64 c (+.f64 a d)))
	0.2b	(+.f64 c (+.f64 a d))
✓	0.3b	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)

series7.0ms (0.3%)

Counts

2 → 108

Calls

27 calls:

Time	Variable		Point	Expression
0.0ms	e	@	0	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)
0.0ms	c	@	0	(+.f64 e (+.f64 c (+.f64 a d)))
0.0ms	a	@	0	(+.f64 e (+.f64 c (+.f64 a d)))
0.0ms	d	@	0	(+.f64 e (+.f64 c (+.f64 a d)))
0.0ms	e	@	inf	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)

rewrite55.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
136×	`add-sqr-sqrt_binary64`
135×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	242	23
2	3988	23

Stop Event

1×	node limit

Counts

2 → 77

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b))) (/.f64 (*.f64 b b) (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) (pow.f64 (cbrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) 2) (cbrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) (sqrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) (pow.f64 b 3)) (/.f64 1 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 (+.f64 a d) e)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b b)) (/.f64 1 (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 (+.f64 a d) e))))) (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) (pow.f64 b 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b)) (-.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) (pow.f64 b 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 (+.f64 a d) e))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) (pow.f64 b 3)) (+.f64 (*.f64 b b) (-.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 (+.f64 c (+.f64 (+.f64 a d) e)) b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b b)) (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) (pow.f64 b 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b (-.f64 b (+.f64 c (+.f64 (+.f64 a d) e)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2) (*.f64 b b))) (neg.f64 (+.f64 (+.f64 c (+.f64 a d)) (-.f64 e b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 (+.f64 a d) (+.f64 c b)) 3)) (+.f64 (*.f64 e e) (-.f64 (*.f64 (+.f64 (+.f64 a d) (+.f64 c b)) (+.f64 (+.f64 a d) (+.f64 c b))) (*.f64 e (+.f64 (+.f64 a d) (+.f64 c b))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 e e) (*.f64 (+.f64 (+.f64 a d) (+.f64 c b)) (+.f64 (+.f64 a d) (+.f64 c b)))) (-.f64 e (+.f64 (+.f64 a d) (+.f64 c b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 b b) (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2)) (-.f64 b (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 e (+.f64 (+.f64 a d) (+.f64 c b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c (+.f64 (+.f64 a d) e)) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 b (+.f64 c (+.f64 (+.f64 a d) e)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2)) (cbrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 e e)) (cbrt.f64 e) (+.f64 (+.f64 a d) (+.f64 c b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 b) (+.f64 c (+.f64 (+.f64 a d) e)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) (sqrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) b)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 a d) (+.f64 c b)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 b) (sqrt.f64 b) (+.f64 c (+.f64 (+.f64 a d) e)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 e (+.f64 (+.f64 a d) (+.f64 c b)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 c (+.f64 (+.f64 a d) e)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 e e) (-.f64 e (+.f64 c (+.f64 a d)))) (/.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (-.f64 e (+.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 c (+.f64 (+.f64 a d) e)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2)) (cbrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) (sqrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (/.f64 1 (fma.f64 e e (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (/.f64 1 (-.f64 e (+.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 e e (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) e))) (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a d)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 e (+.f64 c (+.f64 a d))) (-.f64 (*.f64 e e) (pow.f64 (+.f64 c (+.f64 a d)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (fma.f64 e e (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) e))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a d)) 3)) (+.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (-.f64 (*.f64 e e) (*.f64 e (+.f64 c (+.f64 a d))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 c (+.f64 a d)) 2)) (-.f64 e (+.f64 c (+.f64 a d))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 e 3) (pow.f64 (+.f64 c (+.f64 a d)) 3))) (neg.f64 (fma.f64 e e (*.f64 (+.f64 c (+.f64 a d)) (-.f64 (+.f64 c (+.f64 a d)) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 e e) (pow.f64 (+.f64 c (+.f64 a d)) 2))) (neg.f64 (-.f64 e (+.f64 c (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 e c) 3) (pow.f64 (+.f64 a d) 3)) (+.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (-.f64 (pow.f64 (+.f64 a d) 2) (*.f64 (+.f64 e c) (+.f64 a d)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 c (+.f64 a d)) 2) (*.f64 e e)) (-.f64 (+.f64 c (+.f64 a d)) e))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 e c) (+.f64 e c)) (pow.f64 (+.f64 a d) 2)) (-.f64 (+.f64 e c) (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 c (+.f64 (+.f64 a d) e))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 c (+.f64 (+.f64 a d) e)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 c (+.f64 (+.f64 a d) e)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 e (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 c (+.f64 a d)) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 e e)) (cbrt.f64 e) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 c (+.f64 a d))) 2) (cbrt.f64 (+.f64 c (+.f64 a d))) e)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 c (+.f64 a d)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 c (+.f64 a d))) (sqrt.f64 (+.f64 c (+.f64 a d))) e)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 c (+.f64 (+.f64 a d) e))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 c (+.f64 (+.f64 a d) e))))))))

simplify29.0ms (1%)

Algorithm

1×	egg-herbie

Rules

113×	`associate-+l+_binary64`
54×	`associate-+r+_binary64`
41×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	1041
1	58	1041
2	142	1041
3	246	1041
4	249	1041

Stop Event

1×

saturated

Counts

185 → 98

Calls

Call 1

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

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

prune89.0ms (3.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	158	4	162

Error

Counts

162 → 4

Alt Table

Status	Error	Program
	0.3b	(fma.f64 1 e (+.f64 (+.f64 a d) (+.f64 c b)))
✓	0.2b	(+.f64 (+.f64 e c) (+.f64 a (+.f64 d b)))
✓	0.3b	(fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 (+.f64 c (+.f64 a d)) b))
✓	0.3b	(+.f64 (+.f64 e (+.f64 c (+.f64 a d))) b)

Compiler

Compiled 2543 to 776 computations (69.5% saved)

regimes795.0ms (28.7%)

Accuracy

Total 0.2b remaining (88.9%)

Threshold costs 0.2b (88.9%)

Counts

128 → 1

Compiler

Compiled 1770 to 551 computations (68.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 e c) (*.f64 (+.f64 d (+.f64 b a)) 1))

Outputs
(+.f64 (+.f64 e c) (*.f64 (+.f64 d (+.f64 b a)) 1))
(+.f64 (+.f64 e c) (+.f64 d (+.f64 b a)))

end67.0ms (2.4%)

Stop Event

1×

fuel

Remove

(sort a b c d e)

Compiler

Compiled 116 to 74 computations (36.2% saved)

Details

analyze3.0ms (0.1%)

sample1.1s (39.9%)

preprocess32.0ms (1.1%)

simplify7.0ms (0.3%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series15.0ms (0.5%)

rewrite61.0ms (2.2%)

simplify21.0ms (0.8%)

prune125.0ms (4.5%)

localize7.0ms (0.3%)

series12.0ms (0.4%)

rewrite61.0ms (2.2%)

simplify25.0ms (0.9%)

prune94.0ms (3.4%)

localize6.0ms (0.2%)

series4.0ms (0.2%)

rewrite52.0ms (1.9%)

simplify18.0ms (0.7%)

prune63.0ms (2.3%)

localize7.0ms (0.2%)

series7.0ms (0.3%)

rewrite55.0ms (2%)

simplify29.0ms (1%)

prune89.0ms (3.2%)

regimes795.0ms (28.7%)

simplify2.0ms (0.1%)

end67.0ms (2.4%)

Profiling