Details

analyze75.0ms (2.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.1s (37.9%)

Results

1.0s	8256×	body	128	valid
7.0ms	69×	body	128	invalid

Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess36.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

712×	`fma-def_binary64`
374×	`times-frac_binary64`
345×	`div-sub_binary64`
304×	`distribute-rgt-in_binary64`
242×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	32	38
2	82	34
3	245	34
4	953	34
5	4892	34
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(.f64 (-.f64 (/.f64 (.f64 v (-.f64 1 v)) m) 1) (-.f64 1 v))

Outputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(.f64 (-.f64 1 m) (+.f64 (.f64 (/.f64 m v) (-.f64 1 m)) -1))
(*.f64 (-.f64 1 m) (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(.f64 (-.f64 (/.f64 (.f64 v (-.f64 1 v)) m) 1) (-.f64 1 v))
(*.f64 (-.f64 1 v) (+.f64 (/.f64 v (/.f64 m (-.f64 1 v))) -1))
(.f64 (-.f64 1 v) (+.f64 (.f64 (/.f64 v m) (-.f64 1 v)) -1))
(*.f64 (-.f64 1 v) (fma.f64 (/.f64 v m) (-.f64 1 v) -1))
(*.f64 (-.f64 1 v) (fma.f64 (-.f64 1 v) (/.f64 v m) -1))
(*.f64 (-.f64 1 v) (fma.f64 v (/.f64 (-.f64 1 v) m) -1))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify20.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

560×	`fma-neg_binary64`
442×	`distribute-rgt-in_binary64`
376×	`unsub-neg_binary64`
325×	`fma-def_binary64`
302×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	46	17
3	131	17
4	464	17
5	2012	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

Outputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 (-.f64 1 m) (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(.f64 (-.f64 1 m) (+.f64 (.f64 (/.f64 m v) (-.f64 1 m)) -1))
(*.f64 (-.f64 1 m) (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))

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.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.1b	(*.f64 (-.f64 1 m) (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
▶	0.0b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

Compiler

Compiled 85 to 61 computations (28.2% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
✓	0.0b	(/.f64 (*.f64 m (-.f64 1 m)) v)

series21.0ms (0.7%)

Counts

3 → 56

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	v	@	-inf	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
2.0ms	v	@	inf	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
2.0ms	v	@	0	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
2.0ms	v	@	-inf	(/.f64 (*.f64 m (-.f64 1 m)) v)
2.0ms	m	@	-inf	(/.f64 (*.f64 m (-.f64 1 m)) v)

rewrite58.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

501×	`prod-diff_binary64`
188×	`fma-def_binary64`
179×	`expm1-udef_binary64`
178×	`log1p-udef_binary64`
174×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
1	201	36
2	2941	34

Stop Event

1×	node limit

Counts

3 → 133

Calls

Call 1

Inputs
(/.f64 (*.f64 m (-.f64 1 m)) v)
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
(*.f64 m (-.f64 1 m))

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

Outputs

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

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

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

simplify37.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

307×	`fma-def_binary64`
259×	`sub-neg_binary64`
206×	`unsub-neg_binary64`
165×	`distribute-rgt-neg-out_binary64`
162×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	809
1	97	783
2	252	771
3	723	707
4	2850	707

Stop Event

1×	node limit

Counts

189 → 160

Calls

Call 1

Inputs
(/.f64 m v)
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(*.f64 -1 (-.f64 1 m))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(*.f64 -1 (-.f64 1 m))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
m
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(*.f64 -1 (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(*.f64 -1 (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))
(-.f64 m (pow.f64 m 2))

Outputs
(/.f64 m v)
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(/.f64 m (/.f64 v (neg.f64 m)))
(*.f64 (/.f64 m v) (neg.f64 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(/.f64 m (/.f64 v (neg.f64 m)))
(*.f64 (/.f64 m v) (neg.f64 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(+.f64 (/.f64 m v) (-.f64 m 1))
(+.f64 m (-.f64 (/.f64 m v) 1))
(+.f64 m (+.f64 (/.f64 m v) -1))
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))))
(+.f64 m (-.f64 (/.f64 m v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (/.f64 m v) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (-.f64 (/.f64 m v) (fma.f64 (/.f64 2 v) (*.f64 m m) 1)))
(+.f64 m (+.f64 -1 (fma.f64 (/.f64 m (/.f64 v m)) -2 (/.f64 m v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (/.f64 m (/.f64 v m)) -2))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 m 2))
(*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (+.f64 m (/.f64 m v)) (+.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (/.f64 m (/.f64 v m)) -2)))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (+.f64 m (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v))))
(+.f64 m (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2))))
(+.f64 (/.f64 m v) (+.f64 m (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (/.f64 m (/.f64 v m)) -2))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 m 2))
(*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (+.f64 m (/.f64 m v)) (+.f64 (/.f64 (pow.f64 m 3) v) (*.f64 (/.f64 m (/.f64 v m)) -2)))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (+.f64 m (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v))))
(+.f64 m (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2))))
(+.f64 (/.f64 m v) (+.f64 m (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) (/.f64 v (-.f64 1 m)))
(.f64 (/.f64 (-.f64 m (.f64 m m)) v) (-.f64 1 m))
(.f64 (/.f64 (-.f64 1 m) v) (-.f64 m (.f64 m m)))
(.f64 (-.f64 m (.f64 m m)) (/.f64 (-.f64 1 m) v))
(.f64 (/.f64 (-.f64 (.f64 m m) m) v) (+.f64 m -1))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(*.f64 -1 (-.f64 1 m))
(neg.f64 (-.f64 1 m))
(-.f64 m 1)
(+.f64 m -1)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(*.f64 -1 (-.f64 1 m))
(neg.f64 (-.f64 1 m))
(-.f64 m 1)
(+.f64 m -1)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 -1 (+.f64 (/.f64 m v) (.f64 (.f64 m (/.f64 m v)) (-.f64 m 2)))))
(+.f64 (+.f64 m (+.f64 (/.f64 m v) -1)) (*.f64 (/.f64 m (/.f64 v m)) (+.f64 m -2)))
m
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(*.f64 -1 (pow.f64 m 2))
(neg.f64 (*.f64 m m))
(*.f64 m (neg.f64 m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(*.f64 -1 (pow.f64 m 2))
(neg.f64 (*.f64 m m))
(*.f64 m (neg.f64 m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))
(-.f64 m (pow.f64 m 2))
(-.f64 m (*.f64 m m))

prune139.0ms (4.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	157	3	160
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	159	3	162

Error

Counts

162 → 3

Alt Table

Status	Error	Program
	3.3b	(/.f64 (.f64 (-.f64 1 (.f64 m m)) (fma.f64 (/.f64 m v) (-.f64 1 m) -1)) (+.f64 m 1))
	0.4b	(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))
▶	0.1b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Status

Error

Program

3.3b

(/.f64 (*.f64 (-.f64 1 (*.f64 m m)) (fma.f64 (/.f64 m v) (-.f64 1 m) -1)) (+.f64 m 1))

0.4b

(*.f64 (-.f64 (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))

▶

0.1b

(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 3192 to 2030 computations (36.4% saved)

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 m v) m)
✓	0.0b	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
✓	8.2b	(/.f64 (pow.f64 m 3) v)
✓	12.1b	(/.f64 (pow.f64 m 2) v)

series42.0ms (1.5%)

Counts

4 → 27

Calls

24 calls:

Time	Variable		Point	Expression
4.0ms	v	@	0	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
3.0ms	v	@	-inf	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
3.0ms	v	@	inf	(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
3.0ms	v	@	-inf	(/.f64 (pow.f64 m 3) v)
3.0ms	m	@	0	(+.f64 (/.f64 m v) m)

rewrite45.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

192×	`add-sqr-sqrt_binary64`
188×	`pow1_binary64`
186×	`*-un-lft-identity_binary64`
181×	`add-log-exp_binary64`
181×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	384	50

Stop Event

1×	node limit

Counts

4 → 140

Calls

Call 1

Inputs
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 3) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 m v) m)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 m m) v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 m m) (/.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 m m) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (pow.f64 m 4) (.f64 v v))) (cbrt.f64 (/.f64 (.f64 m m) v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m (sqrt.f64 v)) (/.f64 m (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (.f64 m m)) (/.f64 1 (neg.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m 1) (/.f64 m v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m (cbrt.f64 (.f64 v v))) (/.f64 m (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 v v))) (/.f64 (.f64 m m) (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 v)) (/.f64 (.f64 m m) (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 m 4)) 1) (/.f64 (pow.f64 (cbrt.f64 m) 2) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 m 4)) (cbrt.f64 (.f64 v v))) (cbrt.f64 (/.f64 (.f64 m m) v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 m 4)) (sqrt.f64 v)) (/.f64 (pow.f64 (cbrt.f64 m) 2) (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 m m) v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (.f64 m m) v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (.f64 m m) v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 m (sqrt.f64 v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 v (.f64 m m)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 m 4) (.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (.f64 m m) v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (.f64 m m) v))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (.f64 m m) v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 m 6) (pow.f64 v 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (.f64 m m) v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (.f64 m m) v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (.f64 m m) v)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 m m) v)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (pow.f64 m 3) v))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 m 3) (/.f64 1 v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (pow.f64 m 3) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (/.f64 m (cbrt.f64 v)) 2) (/.f64 m (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)) (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m (sqrt.f64 v)) (/.f64 (.f64 m m) (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 m 3)) (/.f64 1 (neg.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 m m) (sqrt.f64 v)) (/.f64 m (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m 1) (/.f64 (.f64 m m) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 m m) 1) (/.f64 m v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 m 3/2) 1) (/.f64 (pow.f64 m 3/2) v))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 m (cbrt.f64 (.f64 v v))) (/.f64 (.f64 m m) (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 m m) (cbrt.f64 (.f64 v v))) (/.f64 m (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (.f64 v v))) (/.f64 (pow.f64 m 3) (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 m 3/2) (cbrt.f64 (.f64 v v))) (/.f64 (pow.f64 m 3/2) (cbrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 v)) (/.f64 (pow.f64 m 3) (sqrt.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 m 3) v) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 m (cbrt.f64 v)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (pow.f64 m 3) v) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 v (pow.f64 m 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 m 6) (.f64 v v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (pow.f64 m 3) v)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (pow.f64 m 3) v))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (pow.f64 m 3) v) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (pow.f64 m 3) v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (pow.f64 m 3) v)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (pow.f64 m 3) v)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (pow.f64 m 3) v)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (fma.f64 (neg.f64 (sqrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (sqrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) (neg.f64 (.f64 2 (/.f64 (.f64 m m) v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1))) (fma.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) 1 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1))) (fma.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) 1 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1))) (fma.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) 1 (.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)) (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)) (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2))))) (fma.f64 (neg.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)) (.f64 (cbrt.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (cbrt.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) 2) (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 3) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 3)) (/.f64 1 (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (+.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2) (.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)) (/.f64 1 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (+.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2) (.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 3) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 3) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 3)) (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (+.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2) (.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2)) (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 3) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (+.f64 (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2) (.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (pow.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1) 2))) (neg.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 m 3) v) 3) (pow.f64 (+.f64 m (/.f64 m v)) 3)) (+.f64 1 (-.f64 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2) (.f64 2 (/.f64 (.f64 m m) v))))) (.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (-.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2) (.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))))) (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 m m) v) 3) 8)))) (.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (-.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2) (.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))))) (+.f64 1 (-.f64 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2) (.f64 2 (/.f64 (.f64 m m) v))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (-.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (+.f64 m (/.f64 m v)) 2)) (+.f64 1 (-.f64 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2) (.f64 2 (/.f64 (.f64 m m) v))))) (.f64 (-.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (+.f64 1 (.f64 (pow.f64 (/.f64 (.f64 m m) v) 3) 8)))) (.f64 (-.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (+.f64 1 (-.f64 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2) (.f64 2 (/.f64 (.f64 m m) v))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 m 3) v) 3) (pow.f64 (+.f64 m (/.f64 m v)) 3)) (-.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))) (.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (-.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2) (.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))))) (-.f64 1 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2)))) (.f64 (+.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (-.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2) (.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))))) (-.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (-.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (pow.f64 (+.f64 m (/.f64 m v)) 2)) (-.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))) (.f64 (-.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (-.f64 1 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2)))) (.f64 (-.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (-.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) 3) (.f64 (pow.f64 (/.f64 (.f64 m m) v) 3) 8)) (+.f64 (.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1)) (+.f64 (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2) (.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) (.f64 2 (/.f64 (.f64 m m) v))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 m 3) v) 3) (pow.f64 (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)) 3)) (+.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (-.f64 (.f64 (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 3) (pow.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) 3)) (+.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (-.f64 (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))) (.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1)) (pow.f64 (.f64 2 (/.f64 (.f64 m m) v)) 2)) (+.f64 (+.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) -1) (.f64 2 (/.f64 (.f64 m m) v))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 (pow.f64 m 6) (.f64 v v)) (.f64 (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) (-.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2) (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) (-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 m 3) (/.f64 1 v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v))) 2)) (cbrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (/.f64 m (cbrt.f64 v)) 2) (/.f64 m (cbrt.f64 v)) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (sqrt.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (/.f64 m v)))) (neg.f64 (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)) (/.f64 (pow.f64 m 3/2) (sqrt.f64 v)) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (.f64 m m) v) 1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 m (/.f64 m v)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (/.f64 m v) 2) (-.f64 (/.f64 m v) m)) (/.f64 (.f64 m m) (-.f64 (/.f64 m v) m)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 m (/.f64 m v)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2)) (cbrt.f64 (+.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 m (/.f64 m v))) (sqrt.f64 (+.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (/.f64 m v) 3) (pow.f64 m 3)) (/.f64 1 (+.f64 (pow.f64 (/.f64 m v) 2) (-.f64 (.f64 m m) (.f64 (/.f64 m v) m)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (/.f64 m v) 2) (.f64 m m)) (/.f64 1 (-.f64 (/.f64 m v) m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (/.f64 m v) 2) (-.f64 (.f64 m m) (.f64 (/.f64 m v) m))) (+.f64 (pow.f64 (/.f64 m v) 3) (pow.f64 m 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (/.f64 m v) m) (-.f64 (pow.f64 (/.f64 m v) 2) (.f64 m m))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (/.f64 m v) 3) (pow.f64 m 3)) (+.f64 (pow.f64 (/.f64 m v) 2) (-.f64 (.f64 m m) (.f64 (/.f64 m v) m))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (/.f64 m v) 2) (.f64 m m)) (-.f64 (/.f64 m v) m))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 m v) 3) (pow.f64 m 3))) (neg.f64 (+.f64 (pow.f64 (/.f64 m v) 2) (-.f64 (.f64 m m) (.f64 (/.f64 m v) m)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 m v) 2) (.f64 m m))) (neg.f64 (-.f64 (/.f64 m v) m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 m 3) (pow.f64 (/.f64 m v) 3)) (+.f64 (.f64 m m) (-.f64 (pow.f64 (/.f64 m v) 2) (.f64 m (/.f64 m v)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 m m) (pow.f64 (/.f64 m v) 2)) (-.f64 m (/.f64 m v)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 m (/.f64 m v)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 m (/.f64 m v))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 m (/.f64 m v))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 m (/.f64 m v)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 m (/.f64 m v)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 m (/.f64 m v)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 m (/.f64 m v)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 m (/.f64 m v))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 m (/.f64 1 v) m)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 m (/.f64 m v))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 m v) m)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 m) 2) (cbrt.f64 m) (/.f64 m v))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 m v)) 2) (cbrt.f64 (/.f64 m v)) m)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 m) (sqrt.f64 m) (/.f64 m v))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 m v)) (sqrt.f64 (/.f64 m v)) m)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 m (/.f64 m v))))))))

simplify25.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

610×	`fma-neg_binary64`
470×	`cancel-sign-sub-inv_binary64`
323×	`fma-def_binary64`
291×	`associate-/l*_binary64`
172×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	294
1	80	292
2	201	245
3	535	227
4	1866	214

Stop Event

1×	node limit

Counts

167 → 158

Calls

Call 1

Inputs
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(/.f64 (-.f64 (+.f64 (pow.f64 m 3) m) (*.f64 2 (pow.f64 m 2))) v)
(-.f64 m 1)
(-.f64 m 1)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(/.f64 m v)
m
m

Outputs
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(+.f64 (/.f64 m v) (+.f64 m -1))
(+.f64 m (+.f64 (/.f64 m v) -1))
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 m (/.f64 m v)) (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))
(-.f64 (+.f64 m (/.f64 m v)) (fma.f64 2 (/.f64 (*.f64 m m) v) 1))
(+.f64 (+.f64 m (/.f64 m v)) (fma.f64 (*.f64 (/.f64 m v) m) -2 -1))
(+.f64 m (+.f64 (/.f64 m v) (fma.f64 (/.f64 (*.f64 m m) v) -2 -1)))
(+.f64 m (+.f64 -1 (*.f64 (/.f64 m v) (fma.f64 m -2 1))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 (/.f64 (.f64 m m) v) -2))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(.f64 (/.f64 (.f64 m m) v) (+.f64 m -2))
(.f64 (/.f64 m v) (.f64 m (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (-.f64 (/.f64 m v) (.f64 2 (/.f64 (.f64 m m) v)))))
(+.f64 m (+.f64 (/.f64 m v) (fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))))
(+.f64 m (-.f64 (/.f64 m v) (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))
(+.f64 m (/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 (/.f64 (.f64 m m) v) -2))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(.f64 (/.f64 (.f64 m m) v) (+.f64 m -2))
(.f64 (/.f64 m v) (.f64 m (+.f64 m -2)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 m (-.f64 (/.f64 m v) (.f64 2 (/.f64 (.f64 m m) v)))))
(+.f64 m (+.f64 (/.f64 m v) (fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))))
(+.f64 m (-.f64 (/.f64 m v) (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))
(+.f64 m (/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v))
(/.f64 (-.f64 (+.f64 (pow.f64 m 3) m) (*.f64 2 (pow.f64 m 2))) v)
(/.f64 (+.f64 (+.f64 m (pow.f64 m 3)) (.f64 -2 (.f64 m m))) v)
(/.f64 (+.f64 (pow.f64 m 3) (+.f64 m (.f64 (.f64 m m) -2))) v)
(/.f64 (+.f64 m (.f64 (.f64 m m) (-.f64 m 2))) v)
(/.f64 (fma.f64 (*.f64 m m) (+.f64 m -2) m) v)
(-.f64 m 1)
(+.f64 m -1)
(-.f64 m 1)
(+.f64 m -1)
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(*.f64 (+.f64 1 (/.f64 1 v)) m)
(*.f64 m (+.f64 1 (/.f64 1 v)))
(+.f64 m (/.f64 m v))
(/.f64 m v)
m
m

prune136.0ms (4.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	158	3	161

Error

Counts

161 → 3

Alt Table

Status

Error

Program

3.3b

(/.f64 (*.f64 (-.f64 1 (*.f64 m m)) (fma.f64 (/.f64 m v) (-.f64 1 m) -1)) (+.f64 m 1))

▶

0.4b

(*.f64 (-.f64 (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))

✓

0.1b

(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 5087 to 2638 computations (48.1% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 m (-.f64 1 m))
✓	0.0b	(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))
✓	0.5b	(.f64 (.f64 m (-.f64 1 m)) (/.f64 1 v))

series20.0ms (0.7%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	v	@	0	(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))
2.0ms	v	@	inf	(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))
2.0ms	v	@	-inf	(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))
2.0ms	v	@	-inf	(.f64 (.f64 m (-.f64 1 m)) (/.f64 1 v))
2.0ms	m	@	-inf	(.f64 (.f64 m (-.f64 1 m)) (/.f64 1 v))

rewrite48.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

847×	`prod-diff_binary64`
190×	`log1p-udef_binary64`
114×	`add-sqr-sqrt_binary64`
111×	`*-un-lft-identity_binary64`
111×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	29
1	223	27
2	3128	27

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(.f64 (.f64 m (-.f64 1 m)) (/.f64 1 v))
(.f64 (-.f64 (.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))

Outputs

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

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

simplify36.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

391×	`fma-def_binary64`
262×	`sub-neg_binary64`
239×	`unsub-neg_binary64`
218×	`cancel-sign-sub_binary64`
175×	`distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	34	773
1	100	747
2	258	735
3	742	671
4	3051	671

Stop Event

1×	node limit

Counts

108 → 83

Calls

Call 1

Inputs
(/.f64 m v)
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(*.f64 -1 (-.f64 1 m))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(*.f64 -1 (-.f64 1 m))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Outputs
(/.f64 m v)
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(neg.f64 (/.f64 (*.f64 m m) v))
(neg.f64 (/.f64 m (/.f64 v m)))
(/.f64 (neg.f64 m) (/.f64 v m))
(*.f64 (/.f64 m v) (neg.f64 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(neg.f64 (/.f64 (*.f64 m m) v))
(neg.f64 (/.f64 m (/.f64 v m)))
(/.f64 (neg.f64 m) (/.f64 v m))
(*.f64 (/.f64 m v) (neg.f64 m))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (/.f64 m v) (/.f64 (pow.f64 m 2) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (-.f64 m (pow.f64 m 2)) v)
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (-.f64 (pow.f64 m 2) m) v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(/.f64 (fma.f64 m (neg.f64 m) m) v)
(*.f64 m (/.f64 (-.f64 1 m) v))
-1
(-.f64 (+.f64 (/.f64 m v) m) 1)
(+.f64 (/.f64 m v) (-.f64 m 1))
(+.f64 m (-.f64 (/.f64 m v) 1))
(+.f64 m (+.f64 (/.f64 m v) -1))
(+.f64 -1 (+.f64 m (/.f64 m v)))
(+.f64 (/.f64 m v) (+.f64 m -1))
(-.f64 (+.f64 (/.f64 m v) m) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v)))))
(+.f64 m (-.f64 (/.f64 m v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (+.f64 (/.f64 m v) (fma.f64 (*.f64 (/.f64 m v) m) -2 -1)))
(+.f64 (/.f64 m v) (+.f64 -1 (fma.f64 (/.f64 (*.f64 m m) v) -2 m)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 (.f64 -2 (.f64 m m)) v))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(*.f64 (/.f64 m (/.f64 v m)) (-.f64 m 2))
(.f64 (/.f64 (.f64 m m) v) (-.f64 m 2))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (+.f64 m (/.f64 m v)) (/.f64 (.f64 -2 (.f64 m m)) v)))
(+.f64 (+.f64 m (/.f64 m v)) (fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v)))
(+.f64 m (-.f64 (/.f64 m v) (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m))))
(-.f64 (+.f64 m (/.f64 m v)) (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (.f64 -2 (/.f64 (.f64 m m) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 (.f64 -2 (.f64 m m)) v))
(fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v))
(*.f64 (/.f64 m (/.f64 v m)) (-.f64 m 2))
(.f64 (/.f64 (.f64 m m) v) (-.f64 m 2))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (+.f64 m (/.f64 m v)) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (+.f64 m (/.f64 m v)) (/.f64 (.f64 -2 (.f64 m m)) v)))
(+.f64 (+.f64 m (/.f64 m v)) (fma.f64 (*.f64 (/.f64 m v) m) -2 (/.f64 (pow.f64 m 3) v)))
(+.f64 m (-.f64 (/.f64 m v) (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m))))
(-.f64 (+.f64 m (/.f64 m v)) (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(/.f64 (*.f64 (-.f64 m (pow.f64 m 2)) (-.f64 1 m)) v)
(/.f64 (-.f64 m (*.f64 m m)) (/.f64 v (-.f64 1 m)))
(.f64 (/.f64 (-.f64 m (.f64 m m)) v) (-.f64 1 m))
(.f64 (-.f64 1 m) (/.f64 (-.f64 m (.f64 m m)) v))
(*.f64 (-.f64 1 m) (/.f64 (fma.f64 m (neg.f64 m) m) v))
(.f64 (/.f64 m v) (.f64 (-.f64 1 m) (-.f64 1 m)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(*.f64 -1 (-.f64 1 m))
(neg.f64 (-.f64 1 m))
(+.f64 m -1)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(*.f64 -1 (-.f64 1 m))
(neg.f64 (-.f64 1 m))
(+.f64 m -1)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) (-.f64 m (+.f64 1 (.f64 2 (/.f64 (.f64 m m) v))))))
(+.f64 (+.f64 m (/.f64 m v)) (-.f64 (/.f64 (pow.f64 m 3) v) (fma.f64 2 (/.f64 m (/.f64 v m)) 1)))
(+.f64 m (-.f64 (+.f64 (/.f64 m v) (/.f64 (pow.f64 m 3) v)) (fma.f64 2 (*.f64 (/.f64 m v) m) 1)))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 m (/.f64 v m)) (-.f64 2 m)))))
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m)))))

prune97.0ms (3.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	119	3	122

Error

Counts

122 → 3

Alt Table

Status

Error

Program

▶

0.0b

(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 (*.f64 m m) v) (-.f64 2 m)))))

✓

0.4b

(*.f64 (-.f64 (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))

✓

0.1b

(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 2188 to 1489 computations (31.9% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))
✓	0.0b	(.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))
✓	12.1b	(/.f64 (*.f64 m m) v)

series37.0ms (1.3%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	v	@	-inf	(.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))
4.0ms	v	@	inf	(.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))
3.0ms	v	@	0	(+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))
3.0ms	v	@	inf	(+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))
3.0ms	v	@	-inf	(+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))

rewrite69.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

254×	`expm1-udef_binary64`
254×	`log1p-udef_binary64`
148×	`add-sqr-sqrt_binary64`
144×	`*-un-lft-identity_binary64`
144×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	42
1	283	42
2	4330	42

Stop Event

1×	node limit

Counts

3 → 133

Calls

Call 1

Inputs
(/.f64 (*.f64 m m) v)
(.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))
(+.f64 (/.f64 m v) (-.f64 -1 (.f64 (/.f64 (.f64 m m) v) (-.f64 2 m))))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (*.f64 m (/.f64 m v))) (*.f64 (neg.f64 m) (*.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 m (/.f64 m v)) 2) (*.f64 (*.f64 m (/.f64 m v)) (neg.f64 m)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 2 m) (/.f64 v (*.f64 m m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 v (*.f64 m (*.f64 m (-.f64 2 m)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 8 (pow.f64 m 3)) (*.f64 (/.f64 v (*.f64 m m)) (+.f64 4 (*.f64 m (+.f64 m 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 4 (*.f64 m m)) (*.f64 (/.f64 v (*.f64 m m)) (+.f64 m 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 m (*.f64 m (-.f64 2 m))) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 m (*.f64 m (-.f64 2 m)))) (neg.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 m (-.f64 8 (pow.f64 m 3))) (*.f64 (/.f64 v m) (+.f64 4 (*.f64 m (+.f64 m 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m m) (-.f64 8 (pow.f64 m 3))) (*.f64 v (+.f64 4 (*.f64 m (+.f64 m 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m (neg.f64 m)) (-.f64 8 (pow.f64 m 3))) (*.f64 (neg.f64 v) (+.f64 4 (*.f64 m (+.f64 m 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 m (-.f64 4 (*.f64 m m))) (*.f64 (/.f64 v m) (+.f64 m 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m m) (-.f64 4 (*.f64 m m))) (*.f64 v (+.f64 m 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m (neg.f64 m)) (-.f64 4 (*.f64 m m))) (*.f64 (neg.f64 v) (+.f64 m 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 8 (pow.f64 m 3)) m) (*.f64 (+.f64 4 (*.f64 m (+.f64 m 2))) (/.f64 v m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 m m)) m) (*.f64 (+.f64 m 2) (/.f64 v m)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 8 (pow.f64 m 3)) (*.f64 m m)) (*.f64 (+.f64 4 (*.f64 m (+.f64 m 2))) v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 m m)) (*.f64 m m)) (*.f64 (+.f64 m 2) v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 8 (pow.f64 m 3)) 1) (*.f64 (+.f64 4 (*.f64 m (+.f64 m 2))) (/.f64 v (*.f64 m m))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 m m)) 1) (*.f64 (+.f64 m 2) (/.f64 v (*.f64 m m))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 8 (pow.f64 m 3)) (*.f64 m (neg.f64 m))) (*.f64 (+.f64 4 (*.f64 m (+.f64 m 2))) (neg.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 m m)) (*.f64 m (neg.f64 m))) (*.f64 (+.f64 m 2) (neg.f64 v)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 m (*.f64 m (-.f64 2 m))) 1) v)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 m (*.f64 m (-.f64 2 m))) (pow.f64 (cbrt.f64 v) 2)) (cbrt.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 m (*.f64 m (-.f64 2 m))) (sqrt.f64 v)) (sqrt.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 m (-.f64 2 m)) (/.f64 v m))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m (neg.f64 m)) (-.f64 2 m)) (neg.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 8 (pow.f64 m 3)) (*.f64 m (/.f64 m v))) (+.f64 4 (*.f64 m (+.f64 m 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 m m)) (*.f64 m (/.f64 m v))) (+.f64 m 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m (/.f64 m v)) (-.f64 8 (pow.f64 m 3))) (+.f64 4 (*.f64 m (+.f64 m 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 m (/.f64 m v)) (-.f64 4 (*.f64 m m))) (+.f64 m 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 2 m) m) (/.f64 v m))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 2 m) (*.f64 m (neg.f64 m))) (neg.f64 v))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 m (sqrt.f64 v)) (sqrt.f64 (-.f64 2 m))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (-.f64 2 m)) (*.f64 m (/.f64 m v))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 m m) (/.f64 v (-.f64 2 m)))))))))

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

simplify40.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

869×	`fma-neg_binary64`
249×	`fma-def_binary64`
231×	`distribute-rgt-neg-in_binary64`
191×	`cancel-sign-sub-inv_binary64`
187×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	34	1018
1	103	857
2	266	857
3	715	782
4	2406	782

Stop Event

1×	node limit

Counts

205 → 156

Calls

Call 1

Inputs
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(/.f64 (pow.f64 m 2) v)
(*.f64 2 (/.f64 (pow.f64 m 2) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
-1
(-.f64 (/.f64 m v) 1)
(-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(/.f64 (-.f64 (+.f64 (pow.f64 m 3) m) (*.f64 2 (pow.f64 m 2))) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
-1
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
-1
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Outputs
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(/.f64 (pow.f64 m 2) v)
(/.f64 (*.f64 m m) v)
(*.f64 (/.f64 m v) m)
(*.f64 m (/.f64 m v))
(*.f64 2 (/.f64 (pow.f64 m 2) v))
(.f64 2 (/.f64 (.f64 m m) v))
(.f64 2 (.f64 (/.f64 m v) m))
(.f64 2 (.f64 m (/.f64 m v)))
(/.f64 m (/.f64 (/.f64 v m) 2))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(neg.f64 (/.f64 (pow.f64 m 3) v))
(/.f64 (neg.f64 (pow.f64 m 3)) v)
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(neg.f64 (/.f64 (pow.f64 m 3) v))
(/.f64 (neg.f64 (pow.f64 m 3)) v)
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(-.f64 (*.f64 2 (/.f64 (pow.f64 m 2) v)) (/.f64 (pow.f64 m 3) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (*.f64 (-.f64 2 m) (pow.f64 m 2)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v)
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
(.f64 -1 (/.f64 (-.f64 (pow.f64 m 3) (.f64 2 (pow.f64 m 2))) v))
(/.f64 (-.f64 (.f64 2 (.f64 m m)) (pow.f64 m 3)) v)
(.f64 (/.f64 (-.f64 2 m) v) (.f64 m m))
(.f64 (.f64 m m) (/.f64 (-.f64 2 m) v))
(.f64 (.f64 m (/.f64 m v)) (-.f64 2 m))
(*.f64 m (/.f64 (-.f64 2 m) (/.f64 v m)))
-1
(-.f64 (/.f64 m v) 1)
(+.f64 (/.f64 m v) -1)
(+.f64 -1 (/.f64 m v))
(-.f64 (/.f64 m v) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1))
(-.f64 (/.f64 m v) (fma.f64 2 (/.f64 (*.f64 m m) v) 1))
(+.f64 (/.f64 m v) (fma.f64 (*.f64 (/.f64 m v) m) -2 -1))
(+.f64 (/.f64 m v) (fma.f64 (*.f64 m (/.f64 m v)) -2 -1))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(/.f64 (+.f64 (pow.f64 m 3) (.f64 -2 (.f64 m m))) v)
(/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)
(/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2)))
(.f64 (.f64 m (/.f64 m v)) (+.f64 m -2))
(.f64 (.f64 m m) (/.f64 (-.f64 m 2) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v))
(+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) (/.f64 m v))
(/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v)
(/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(/.f64 (pow.f64 m 3) v)
(-.f64 (/.f64 (pow.f64 m 3) v) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(/.f64 (+.f64 (pow.f64 m 3) (.f64 -2 (.f64 m m))) v)
(/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)
(/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2)))
(.f64 (.f64 m (/.f64 m v)) (+.f64 m -2))
(.f64 (.f64 m m) (/.f64 (-.f64 m 2) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (*.f64 2 (/.f64 (pow.f64 m 2) v)))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v))
(+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) (/.f64 m v))
(/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v)
(/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(/.f64 (-.f64 (+.f64 (pow.f64 m 3) m) (*.f64 2 (pow.f64 m 2))) v)
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (.f64 2 (/.f64 (.f64 m m) v))))
(+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v))
(+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) (/.f64 m v))
(/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v)
(/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v)
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
-1
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
-1
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))
(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (/.f64 m v)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))
(+.f64 (/.f64 (pow.f64 m 3) v) (-.f64 (/.f64 m v) (+.f64 (.f64 2 (/.f64 (.f64 m m) v)) 1)))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (.f64 (.f64 m m) (-.f64 m 2)) v)) 1)
(+.f64 (/.f64 m v) (+.f64 (/.f64 (*.f64 m m) (/.f64 v (+.f64 m -2))) -1))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (+.f64 m -2)) m) v))
(+.f64 -1 (/.f64 (fma.f64 m (*.f64 m (-.f64 m 2)) m) v))

prune145.0ms (5.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	156	3	159

Error

Counts

159 → 3

Alt Table

Status

Error

Program

✓

0.0b

(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (*.f64 (/.f64 (*.f64 m m) v) (-.f64 2 m)))))

✓

0.4b

(*.f64 (-.f64 (*.f64 (*.f64 m (-.f64 1 m)) (/.f64 1 v)) 1) (-.f64 1 m))

✓

0.1b

(-.f64 (+.f64 (/.f64 (pow.f64 m 3) v) (+.f64 (/.f64 m v) m)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 m 2) v))))

Compiler

Compiled 4091 to 2190 computations (46.5% saved)

regimes520.0ms (18.5%)

Accuracy

Total 0.0b remaining (68.9%)

Threshold costs 0.0b (68.9%)

Counts

185 → 1

Compiler

Compiled 9675 to 6813 computations (29.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`*-commutative_binary64`
6×	`distribute-neg-in_binary64`
6×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	22	28
2	31	28
3	41	28
4	68	28
5	84	28
6	87	28
7	88	28

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v))))

Outputs
(+.f64 m (+.f64 (/.f64 m v) (-.f64 -1 (/.f64 (-.f64 (*.f64 2 (pow.f64 m 2)) (pow.f64 m 3)) v))))
(+.f64 m (+.f64 (/.f64 m v) (+.f64 -1 (/.f64 (+.f64 (pow.f64 m 3) (*.f64 (pow.f64 m 2) -2)) v))))

end62.0ms (2.2%)

Stop Event

1×

done

Compiler

Compiled 101 to 71 computations (29.7% saved)

Details

analyze75.0ms (2.7%)

sample1.1s (37.9%)

preprocess36.0ms (1.3%)

simplify20.0ms (0.7%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series21.0ms (0.7%)

rewrite58.0ms (2.1%)

simplify37.0ms (1.3%)

prune139.0ms (4.9%)

localize11.0ms (0.4%)

series42.0ms (1.5%)

rewrite45.0ms (1.6%)

simplify25.0ms (0.9%)

prune136.0ms (4.8%)

localize7.0ms (0.3%)

series20.0ms (0.7%)

rewrite48.0ms (1.7%)

simplify36.0ms (1.3%)

prune97.0ms (3.4%)

localize9.0ms (0.3%)

series37.0ms (1.3%)

rewrite69.0ms (2.4%)

simplify40.0ms (1.4%)

prune145.0ms (5.1%)

regimes520.0ms (18.5%)

simplify3.0ms (0.1%)

end62.0ms (2.2%)

Profiling