Details

analyze64.0ms (2.8%)

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 24 to 17 computations (29.2% saved)

sample933.0ms (40.3%)

Results

909.0ms	8256×	body	128	valid
8.0ms	73×	body	128	invalid

Compiler

Compiled 48 to 34 computations (29.2% saved)

preprocess35.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

820×	`fma-neg_binary64`
648×	`times-frac_binary64`
255×	`associate-/l*_binary64`
195×	`fma-def_binary64`
182×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	32
1	32	32
2	68	28
3	159	28
4	592	28
5	1906	28
6	4511	28
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) m)
(.f64 (-.f64 (/.f64 (.f64 v (-.f64 1 v)) m) 1) v)

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify40.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

913×	`fma-neg_binary64`
812×	`fma-def_binary64`
281×	`div-sub_binary64`
243×	`cancel-sign-sub-inv_binary64`
198×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	20	16
2	39	14
3	85	14
4	280	14
5	726	14
6	1858	14
7	3236	14
8	4027	14
9	4373	14
10	4984	14

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

Outputs
(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)
(*.f64 m (+.f64 (/.f64 m (/.f64 v (-.f64 1 m))) -1))
(.f64 m (+.f64 (.f64 (/.f64 m v) (-.f64 1 m)) -1))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 m (fma.f64 (-.f64 1 m) (/.f64 m v) -1))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 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.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 73 to 49 computations (32.9% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.7%)

Counts

4 → 63

Calls

21 calls:

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

rewrite59.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	46
1	201	46
2	2901	42

Stop Event

1×	node limit

Counts

4 → 163

Calls

Call 1

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

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

simplify34.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-def_binary64`
399×	`fma-neg_binary64`
339×	`associate-/l*_binary64`
315×	`cancel-sign-sub-inv_binary64`
225×	`associate-/r*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	29	809
1	78	748
2	165	748
3	402	640
4	1389	598

Stop Event

1×	node limit

Counts

226 → 191

Calls

Call 1

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

Outputs
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (*.f64 -1 m) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) m)
(-.f64 (*.f64 (/.f64 m v) m) m)
(-.f64 (*.f64 m (/.f64 m v)) m)
(*.f64 m (+.f64 -1 (/.f64 m v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(-.f64 (.f64 m (.f64 m (/.f64 (-.f64 1 m) v))) m)
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(/.f64 m v)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(neg.f64 (*.f64 (/.f64 m v) m))
(*.f64 (neg.f64 m) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(neg.f64 (*.f64 (/.f64 m v) m))
(*.f64 (neg.f64 m) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
m
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(*.f64 -1 (pow.f64 m 2))
(neg.f64 (*.f64 m m))
(*.f64 m (neg.f64 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(*.f64 -1 (pow.f64 m 2))
(neg.f64 (*.f64 m m))
(*.f64 m (neg.f64 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
(+.f64 (*.f64 -1 (pow.f64 m 2)) m)
(fma.f64 -1 (*.f64 m m) m)
(-.f64 m (*.f64 m m))
(*.f64 m (-.f64 1 m))
-1
(-.f64 (/.f64 m v) 1)
(+.f64 (/.f64 m v) -1)
(+.f64 -1 (/.f64 m v))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(neg.f64 (*.f64 (/.f64 m v) m))
(*.f64 (neg.f64 m) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(/.f64 (neg.f64 (*.f64 m m)) v)
(/.f64 (*.f64 m (neg.f64 m)) v)
(neg.f64 (*.f64 (/.f64 m v) m))
(*.f64 (neg.f64 m) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 -1 (/.f64 m v)) (*.f64 (/.f64 m v) m))
(+.f64 -1 (*.f64 m (/.f64 (-.f64 1 m) v)))
(fma.f64 m (/.f64 (-.f64 1 m) v) -1)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 m (/.f64 (-.f64 1 m) v))
-1
-1

prune178.0ms (7.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	184	7	191
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	185	8	193

Error

0.0b

Counts

193 → 8

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)
	16.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
	9.7b	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
	32.8b	(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
	0.2b	(*.f64 (fma.f64 m (/.f64 1 (/.f64 v (-.f64 1 m))) -1) m)
▶	0.2b	(fma.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) m (neg.f64 m))
	1.5b	(pow.f64 (cbrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 3)
	20.4b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 3) -1) m) (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) (fma.f64 (/.f64 m v) (-.f64 1 m) 1)))

Compiler

Compiled 3261 to 2028 computations (37.8% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.4%)

Counts

2 → 48

Calls

12 calls:

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

rewrite47.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

870×	`log1p-expm1-u_binary64`
870×	`expm1-log1p-u_binary64`
97×	`add-sqr-sqrt_binary64`
94×	`*-un-lft-identity_binary64`
94×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	191	20
2	2689	20

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

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

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

Outputs

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

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

simplify46.0ms (2%)

Algorithm

1×	egg-herbie

Rules

397×	`fma-def_binary64`
335×	`fma-neg_binary64`
333×	`associate-/l*_binary64`
286×	`cancel-sign-sub-inv_binary64`
210×	`associate-/r*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	25	720
1	67	665
2	144	665
3	350	548
4	1261	518
5	4661	518

Stop Event

1×	node limit

Counts

116 → 86

Calls

Call 1

Inputs
(*.f64 -1 m)
(+.f64 (*.f64 -1 m) (/.f64 (pow.f64 m 2) v))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(*.f64 -1 (/.f64 (pow.f64 m 3) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(*.f64 -1 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(*.f64 -1 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(/.f64 m v)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 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 (-.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 (-.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 (-.f64 1 m)) v)

Outputs
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (*.f64 -1 m) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) m)
(-.f64 (*.f64 m (/.f64 m v)) m)
(fma.f64 m (/.f64 m v) (neg.f64 m))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))
(.f64 m (.f64 m (/.f64 (-.f64 1 m) v)))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (/.f64 (*.f64 m m) v) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(fma.f64 (*.f64 m (/.f64 m v)) (-.f64 1 m) (neg.f64 m))
(*.f64 m (fma.f64 m (/.f64 (-.f64 1 m) v) -1))
(/.f64 m v)
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.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))
(/.f64 (*.f64 (neg.f64 m) m) v)
(/.f64 (neg.f64 m) (/.f64 v m))
(*.f64 (neg.f64 m) (/.f64 m v))
(*.f64 m (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.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))
(/.f64 (*.f64 (neg.f64 m) m) v)
(/.f64 (neg.f64 m) (/.f64 v m))
(*.f64 (neg.f64 m) (/.f64 m v))
(*.f64 m (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 (*.f64 m m) v))
(*.f64 m (/.f64 (-.f64 1 m) v))

prune67.0ms (2.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	86	8	94

Error

0.0b

Counts

94 → 8

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) m)
	16.2b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 2) -1) m) (fma.f64 (/.f64 m v) (-.f64 1 m) 1))
	9.7b	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
	32.8b	(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
▶	0.2b	(*.f64 (fma.f64 m (/.f64 1 (/.f64 v (-.f64 1 m))) -1) m)
✓	0.2b	(fma.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) m (neg.f64 m))
	1.5b	(pow.f64 (cbrt.f64 (*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))) 3)
	20.4b	(/.f64 (.f64 (+.f64 (pow.f64 (.f64 (/.f64 m v) (-.f64 1 m)) 3) -1) m) (+.f64 (pow.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) 2) (fma.f64 (/.f64 m v) (-.f64 1 m) 1)))

Compiler

Compiled 1463 to 601 computations (58.9% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series21.0ms (0.9%)

Counts

4 → 84

Calls

24 calls:

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

rewrite55.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

512×	`log-prod_binary64`
183×	`expm1-udef_binary64`
182×	`log1p-udef_binary64`
153×	`log-pow_binary64`
150×	`prod-diff_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	211	39
2	2769	39

Stop Event

1×	node limit

Counts

4 → 138

Calls

Call 1

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

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

simplify38.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

679×	`fma-def_binary64`
411×	`fma-neg_binary64`
250×	`times-frac_binary64`
198×	`associate-l_binary64`
193×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	57	1101
1	166	1032
2	439	1012
3	1297	831

Stop Event

1×	node limit

Counts

222 → 181

Calls

Call 1

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

Outputs
-1
(-.f64 (/.f64 m v) 1)
(+.f64 (/.f64 m v) -1)
(+.f64 -1 (/.f64 m v))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(neg.f64 (/.f64 (*.f64 m m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (/.f64 (neg.f64 m) v) m)
(*.f64 m (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 m (/.f64 v m)))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(*.f64 -1 (/.f64 (pow.f64 m 2) v))
(neg.f64 (/.f64 (*.f64 m m) v))
(/.f64 (*.f64 (neg.f64 m) m) v)
(*.f64 (/.f64 (neg.f64 m) v) m)
(*.f64 m (/.f64 (neg.f64 m) v))
(+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v))
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 m (/.f64 v m)))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (pow.f64 m 2) v)) (/.f64 m v)) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v))
(-.f64 (/.f64 m v) (/.f64 m (/.f64 v m)))
(-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m))
(*.f64 (/.f64 m v) (-.f64 1 m))
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (fma.f64 -1 (/.f64 (*.f64 m m) v) (/.f64 m v)) -1)
(+.f64 -1 (-.f64 (/.f64 m v) (/.f64 m (/.f64 v m))))
(+.f64 -1 (-.f64 (/.f64 m v) (*.f64 (/.f64 m v) m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (*.f64 -1 m) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m (/.f64 v m)) m)
(-.f64 (*.f64 (/.f64 m v) m) m)
(-.f64 (*.f64 m (/.f64 m v)) m)
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(/.f64 m (/.f64 (/.f64 v m) (-.f64 1 m)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.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 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v))
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(/.f64 m (/.f64 (/.f64 v m) (-.f64 1 m)))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (+.f64 (.f64 -1 (/.f64 (pow.f64 m 3) v)) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v))
(-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v))
(-.f64 (*.f64 (/.f64 m v) m) (/.f64 (pow.f64 m 3) v))
(/.f64 m (/.f64 (/.f64 v m) (-.f64 1 m)))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (fma.f64 -1 (/.f64 (pow.f64 m 3) v) (/.f64 (*.f64 m m) v)))
(-.f64 (-.f64 (/.f64 m (/.f64 v m)) (/.f64 (pow.f64 m 3) v)) m)
(-.f64 (*.f64 (/.f64 m v) m) (+.f64 m (/.f64 (pow.f64 m 3) v)))
(*.f64 m (fma.f64 (/.f64 m v) (-.f64 1 m) -1))
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 (-.f64 1 m) v)
(/.f64 1 v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(*.f64 -1 (/.f64 m v))
(/.f64 (neg.f64 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(*.f64 -1 (/.f64 m v))
(/.f64 (neg.f64 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
(+.f64 (*.f64 -1 (/.f64 m v)) (/.f64 1 v))
(/.f64 (-.f64 1 m) v)
v
(+.f64 v (*.f64 v m))
(+.f64 v (*.f64 m v))
(fma.f64 m v v)
(+.f64 v (+.f64 (.f64 v m) (.f64 v (pow.f64 m 2))))
(+.f64 v (.f64 v (+.f64 m (.f64 m m))))
(fma.f64 v (+.f64 m (*.f64 m m)) v)
(fma.f64 v (fma.f64 m m m) v)
(+.f64 v (+.f64 (.f64 v m) (+.f64 (.f64 v (pow.f64 m 3)) (*.f64 v (pow.f64 m 2)))))
(+.f64 v (fma.f64 v m (.f64 v (+.f64 (pow.f64 m 3) (.f64 m m)))))
(+.f64 v (.f64 v (+.f64 m (+.f64 (.f64 m m) (pow.f64 m 3)))))
(fma.f64 v (fma.f64 m (fma.f64 m m m) m) v)
(*.f64 (fma.f64 m m 1) (fma.f64 m v v))
(*.f64 -1 (/.f64 v m))
(neg.f64 (/.f64 v m))
(/.f64 (neg.f64 v) m)
(+.f64 (.f64 -1 (/.f64 v m)) (.f64 -1 (/.f64 v (pow.f64 m 2))))
(.f64 -1 (+.f64 (/.f64 v m) (/.f64 v (.f64 m m))))
(-.f64 (/.f64 (neg.f64 v) m) (/.f64 v (*.f64 m m)))
(*.f64 (/.f64 v m) (+.f64 (/.f64 -1 m) -1))
(*.f64 (/.f64 v m) (+.f64 -1 (/.f64 -1 m)))
(+.f64 (.f64 -1 (/.f64 v m)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 2))) (*.f64 -1 (/.f64 v (pow.f64 m 3)))))
(fma.f64 -1 (/.f64 v m) (.f64 -1 (+.f64 (/.f64 v (.f64 m m)) (/.f64 v (pow.f64 m 3)))))
(-.f64 (-.f64 (/.f64 (/.f64 (neg.f64 v) m) m) (/.f64 v (pow.f64 m 3))) (/.f64 v m))
(-.f64 (.f64 (/.f64 v (.f64 m m)) (+.f64 -1 (/.f64 -1 m))) (/.f64 v m))
(-.f64 (*.f64 (/.f64 (/.f64 -1 m) m) (+.f64 v (/.f64 v m))) (/.f64 v m))
(+.f64 (.f64 -1 (/.f64 v m)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 2))) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 3))) (.f64 -1 (/.f64 v (pow.f64 m 4))))))
(fma.f64 -1 (/.f64 v m) (fma.f64 -1 (/.f64 v (*.f64 m m)) (fma.f64 -1 (/.f64 v (pow.f64 m 3)) (neg.f64 (/.f64 v (pow.f64 m 4))))))
(-.f64 (-.f64 (-.f64 (/.f64 (/.f64 (neg.f64 v) m) m) (/.f64 v (pow.f64 m 3))) (/.f64 v (pow.f64 m 4))) (/.f64 v m))
(-.f64 (.f64 (/.f64 v (.f64 m m)) (+.f64 -1 (/.f64 -1 m))) (+.f64 (/.f64 v (pow.f64 m 4)) (/.f64 v m)))
(.f64 (+.f64 (/.f64 v m) (/.f64 v (.f64 m m))) (+.f64 (/.f64 (/.f64 -1 m) m) -1))
(*.f64 -1 (/.f64 v m))
(neg.f64 (/.f64 v m))
(/.f64 (neg.f64 v) m)
(+.f64 (.f64 -1 (/.f64 v m)) (.f64 -1 (/.f64 v (pow.f64 m 2))))
(.f64 -1 (+.f64 (/.f64 v m) (/.f64 v (.f64 m m))))
(-.f64 (/.f64 (neg.f64 v) m) (/.f64 v (*.f64 m m)))
(*.f64 (/.f64 v m) (+.f64 (/.f64 -1 m) -1))
(*.f64 (/.f64 v m) (+.f64 -1 (/.f64 -1 m)))
(+.f64 (.f64 -1 (/.f64 v m)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 2))) (*.f64 -1 (/.f64 v (pow.f64 m 3)))))
(fma.f64 -1 (/.f64 v m) (.f64 -1 (+.f64 (/.f64 v (.f64 m m)) (/.f64 v (pow.f64 m 3)))))
(-.f64 (-.f64 (/.f64 (/.f64 (neg.f64 v) m) m) (/.f64 v (pow.f64 m 3))) (/.f64 v m))
(-.f64 (.f64 (/.f64 v (.f64 m m)) (+.f64 -1 (/.f64 -1 m))) (/.f64 v m))
(-.f64 (*.f64 (/.f64 (/.f64 -1 m) m) (+.f64 v (/.f64 v m))) (/.f64 v m))
(+.f64 (.f64 -1 (/.f64 v m)) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 2))) (+.f64 (.f64 -1 (/.f64 v (pow.f64 m 3))) (.f64 -1 (/.f64 v (pow.f64 m 4))))))
(fma.f64 -1 (/.f64 v m) (fma.f64 -1 (/.f64 v (*.f64 m m)) (fma.f64 -1 (/.f64 v (pow.f64 m 3)) (neg.f64 (/.f64 v (pow.f64 m 4))))))
(-.f64 (-.f64 (-.f64 (/.f64 (/.f64 (neg.f64 v) m) m) (/.f64 v (pow.f64 m 3))) (/.f64 v (pow.f64 m 4))) (/.f64 v m))
(-.f64 (.f64 (/.f64 v (.f64 m m)) (+.f64 -1 (/.f64 -1 m))) (+.f64 (/.f64 v (pow.f64 m 4)) (/.f64 v m)))
(.f64 (+.f64 (/.f64 v m) (/.f64 v (.f64 m m))) (+.f64 (/.f64 (/.f64 -1 m) m) -1))

prune117.0ms (5.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	3	2	5
Picked	0	1	1
Done	1	1	2
Total	184	5	189

Error

Counts

189 → 5

Alt Table

Status	Error	Program
▶	9.7b	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
	32.8b	(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
✓	0.2b	(*.f64 (fma.f64 m (/.f64 1 (/.f64 v (-.f64 1 m))) -1) m)
✓	0.2b	(fma.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) m (neg.f64 m))
	25.9b	(/.f64 m (/.f64 (/.f64 v m) (-.f64 1 m)))

Compiler

Compiled 2938 to 1950 computations (33.6% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series35.0ms (1.5%)

Counts

3 → 62

Calls

18 calls:

Time	Variable		Point	Expression
5.0ms	m	@	0	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
4.0ms	m	@	-inf	(fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) v) -1)
3.0ms	m	@	inf	(fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) v) -1)
3.0ms	m	@	-inf	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
3.0ms	m	@	-inf	(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)

rewrite54.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

577×	`log-prod_binary64`
196×	`expm1-udef_binary64`
195×	`log1p-udef_binary64`
166×	`log-pow_binary64`
156×	`prod-diff_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	63
1	254	41
2	3009	41

Stop Event

1×	node limit

Counts

3 → 90

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

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

simplify48.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

656×	`fma-neg_binary64`
413×	`associate-/r*_binary64`
244×	`unswap-sqr_binary64`
222×	`associate-l_binary64`
206×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	1377
1	303	1127
2	1022	1062
3	3849	1054

Stop Event

1×	node limit

Counts

152 → 134

Calls

Call 1

Inputs
(/.f64 (*.f64 (sqrt.f64 -1) m) v)
(+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (*.f64 (sqrt.f64 -1) m) v))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 3) m)))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 v (pow.f64 m 2))))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (.f64 (sqrt.f64 -1) m) v))) (.f64 1/8 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 3) m)))))
(.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v))
(-.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))))
(-.f64 (+.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 v m))))) (.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) v))))
(-.f64 (+.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 v m))))) (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 v (pow.f64 m 2))))) (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v)))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
-1
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)
(+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)) 1)
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 6) (pow.f64 m 2))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v (pow.f64 m 2)))) (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v (pow.f64 m 2))))) (+.f64 (/.f64 m v) (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))))) 1)
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)
(+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)) 1)
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 6) (pow.f64 m 2))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v (pow.f64 m 2)))) (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v (pow.f64 m 2))))) (+.f64 (/.f64 m v) (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))))) 1)
(/.f64 (*.f64 m (-.f64 1 m)) v)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(*.f64 -1 m)
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v)
(+.f64 (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v))
(+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v)))
(+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v m)))) (+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (+.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v m))) (.f64 1/16 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 6) m)))))))))
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v)
(+.f64 (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v))
(+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v)))
(+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v m)))) (+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (+.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v m))) (.f64 1/16 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 6) m)))))))))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(*.f64 -1 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(*.f64 -1 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))

Outputs
(/.f64 (*.f64 (sqrt.f64 -1) m) v)
(/.f64 (sqrt.f64 -1) (/.f64 v m))
(*.f64 (/.f64 (sqrt.f64 -1) v) m)
(*.f64 m (/.f64 (sqrt.f64 -1) v))
(+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (*.f64 (sqrt.f64 -1) m) v))
(+.f64 (/.f64 (sqrt.f64 -1) (/.f64 v m)) (/.f64 1/2 (*.f64 (sqrt.f64 -1) v)))
(+.f64 (.f64 (/.f64 (sqrt.f64 -1) v) m) (/.f64 1/2 (.f64 (sqrt.f64 -1) v)))
(fma.f64 (/.f64 (sqrt.f64 -1) v) m (/.f64 1/2 (*.f64 (sqrt.f64 -1) v)))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 3) m)))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (-.f64 (/.f64 (sqrt.f64 -1) (/.f64 v m)) (/.f64 1/8 (.f64 v (*.f64 m (pow.f64 (sqrt.f64 -1) 3))))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (-.f64 (.f64 (/.f64 (sqrt.f64 -1) v) m) (/.f64 (/.f64 1/8 v) (*.f64 (sqrt.f64 -1) (neg.f64 m)))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (fma.f64 (/.f64 (sqrt.f64 -1) v) m (/.f64 1/8 (.f64 (sqrt.f64 -1) (*.f64 m v)))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (fma.f64 m (/.f64 (sqrt.f64 -1) v) (/.f64 1/8 (.f64 (sqrt.f64 -1) (*.f64 m v)))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 v (pow.f64 m 2))))) (+.f64 (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))) (/.f64 (.f64 (sqrt.f64 -1) m) v))) (.f64 1/8 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 3) m)))))
(-.f64 (+.f64 (+.f64 (/.f64 (sqrt.f64 -1) (/.f64 v m)) (/.f64 1/2 (.f64 (sqrt.f64 -1) v))) (/.f64 1/16 (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 5) v) (.f64 m m)))) (/.f64 1/8 (.f64 v (.f64 m (pow.f64 (sqrt.f64 -1) 3)))))
(+.f64 (+.f64 (.f64 (/.f64 (sqrt.f64 -1) v) m) (/.f64 1/2 (.f64 (sqrt.f64 -1) v))) (-.f64 (/.f64 1/16 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 m (.f64 m v)))) (/.f64 (/.f64 1/8 v) (.f64 (sqrt.f64 -1) (neg.f64 m)))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (+.f64 (fma.f64 (/.f64 (sqrt.f64 -1) v) m (/.f64 1/16 (.f64 m (.f64 (.f64 m v) (pow.f64 (sqrt.f64 -1) 5))))) (/.f64 1/8 (.f64 (sqrt.f64 -1) (.f64 m v)))))
(+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (+.f64 (/.f64 1/16 (.f64 m (.f64 (.f64 m v) (pow.f64 (sqrt.f64 -1) 5)))) (fma.f64 m (/.f64 (sqrt.f64 -1) v) (/.f64 1/8 (.f64 (sqrt.f64 -1) (.f64 m v))))))
(.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v))
(neg.f64 (/.f64 (sqrt.f64 -1) (/.f64 v m)))
(/.f64 (*.f64 (sqrt.f64 -1) (neg.f64 m)) v)
(/.f64 (neg.f64 (sqrt.f64 -1)) (/.f64 v m))
(-.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v))))
(-.f64 (neg.f64 (/.f64 (sqrt.f64 -1) (/.f64 v m))) (/.f64 1/2 (*.f64 (sqrt.f64 -1) v)))
(fma.f64 -1 (.f64 (/.f64 (sqrt.f64 -1) v) m) (/.f64 -1/2 (.f64 (sqrt.f64 -1) v)))
(-.f64 (/.f64 -1/2 (.f64 (sqrt.f64 -1) v)) (.f64 m (/.f64 (sqrt.f64 -1) v)))
(-.f64 (+.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 v m))))) (.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 -1) v))))
(-.f64 (fma.f64 -1 (/.f64 (sqrt.f64 -1) (/.f64 v m)) (/.f64 1/8 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 m v)))) (/.f64 1/2 (*.f64 (sqrt.f64 -1) v)))
(+.f64 (-.f64 (/.f64 (/.f64 1/8 v) (.f64 (sqrt.f64 -1) (neg.f64 m))) (.f64 (/.f64 (sqrt.f64 -1) v) m)) (/.f64 -1/2 (*.f64 (sqrt.f64 -1) v)))
(-.f64 (/.f64 -1/8 (.f64 (sqrt.f64 -1) (.f64 m v))) (fma.f64 (/.f64 (sqrt.f64 -1) v) m (/.f64 1/2 (*.f64 (sqrt.f64 -1) v))))
(-.f64 (+.f64 (.f64 -1 (/.f64 (.f64 (sqrt.f64 -1) m) v)) (.f64 1/8 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 v m))))) (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 v (pow.f64 m 2))))) (.f64 1/2 (/.f64 1 (.f64 (sqrt.f64 -1) v)))))
(-.f64 (fma.f64 -1 (/.f64 (sqrt.f64 -1) (/.f64 v m)) (/.f64 1/8 (.f64 (pow.f64 (sqrt.f64 -1) 3) (.f64 m v)))) (+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (/.f64 1/16 (.f64 (.f64 (pow.f64 (sqrt.f64 -1) 5) v) (.f64 m m)))))
(-.f64 (-.f64 (/.f64 (/.f64 1/8 v) (.f64 (sqrt.f64 -1) (neg.f64 m))) (.f64 (/.f64 (sqrt.f64 -1) v) m)) (+.f64 (/.f64 1/2 (.f64 (sqrt.f64 -1) v)) (/.f64 1/16 (.f64 (pow.f64 (sqrt.f64 -1) 5) (.f64 m (.f64 m v))))))
(+.f64 (/.f64 (/.f64 -1/16 (.f64 m (.f64 m v))) (pow.f64 (sqrt.f64 -1) 5)) (-.f64 (/.f64 -1/8 (.f64 (sqrt.f64 -1) (.f64 m v))) (fma.f64 (/.f64 (sqrt.f64 -1) v) m (/.f64 1/2 (*.f64 (sqrt.f64 -1) v)))))
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
(.f64 (/.f64 1 v) (sqrt.f64 (.f64 m (-.f64 1 m))))
(/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v)
(/.f64 (sqrt.f64 (-.f64 m (*.f64 m m))) v)
-1
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)
(/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m)))
(/.f64 (*.f64 m (neg.f64 m)) v)
(/.f64 (neg.f64 (*.f64 m m)) v)
(+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))
(+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m))) (/.f64 m v))
(+.f64 (/.f64 (*.f64 m (neg.f64 m)) v) (/.f64 m v))
(fma.f64 (/.f64 -1 v) (*.f64 m m) (/.f64 m v))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)) 1)
(+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m))) (/.f64 m v)) -1)
(+.f64 -1 (+.f64 (/.f64 (*.f64 m (neg.f64 m)) v) (/.f64 m v)))
(+.f64 -1 (fma.f64 (/.f64 -1 v) (*.f64 m m) (/.f64 m v)))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 6) (pow.f64 m 2))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v (pow.f64 m 2)))) (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v (pow.f64 m 2))))) (+.f64 (/.f64 m v) (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))))) 1)
(+.f64 (/.f64 1/16 (.f64 v (.f64 (.f64 m m) (pow.f64 (sqrt.f64 -1) 6)))) (-.f64 (fma.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (/.f64 1/16 (pow.f64 (sqrt.f64 -1) 6))) (.f64 v (.f64 m m))) (+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (.f64 m m))) (/.f64 m v)) (/.f64 1/64 (.f64 (.f64 v (*.f64 m m)) (pow.f64 (sqrt.f64 -1) 6))))) 1))
(+.f64 -1 (fma.f64 1/16 (/.f64 -1 (.f64 m (.f64 m v))) (-.f64 (+.f64 (/.f64 (.f64 m (neg.f64 m)) v) (+.f64 (/.f64 m v) (/.f64 -1/64 (.f64 m (.f64 m v))))) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m (*.f64 m v))))))
(+.f64 -1 (+.f64 (/.f64 -1/16 (.f64 m (.f64 m v))) (+.f64 (+.f64 (/.f64 m v) (/.f64 (/.f64 -1/64 v) (.f64 m m))) (.f64 (/.f64 -1 v) (+.f64 (.f64 m m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m m)))))))
(+.f64 (/.f64 -1/16 (.f64 m (.f64 m v))) (+.f64 (+.f64 (/.f64 m v) (/.f64 (/.f64 -1/64 v) (.f64 m m))) (fma.f64 (/.f64 -1 v) (+.f64 (.f64 m m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (*.f64 m m))) -1)))
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)
(/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m)))
(/.f64 (*.f64 m (neg.f64 m)) v)
(/.f64 (neg.f64 (*.f64 m m)) v)
(+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))
(+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m))) (/.f64 m v))
(+.f64 (/.f64 (*.f64 m (neg.f64 m)) v) (/.f64 m v))
(fma.f64 (/.f64 -1 v) (*.f64 m m) (/.f64 m v))
(-.f64 (+.f64 (/.f64 m v) (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v)) 1)
(+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (*.f64 m m))) (/.f64 m v)) -1)
(+.f64 -1 (+.f64 (/.f64 (*.f64 m (neg.f64 m)) v) (/.f64 m v)))
(+.f64 -1 (fma.f64 (/.f64 -1 v) (*.f64 m m) (/.f64 m v)))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (.f64 v (.f64 (pow.f64 (sqrt.f64 -1) 6) (pow.f64 m 2))))) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v (pow.f64 m 2)))) (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v (pow.f64 m 2))))) (+.f64 (/.f64 m v) (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 2)) v))))) 1)
(+.f64 (/.f64 1/16 (.f64 v (.f64 (.f64 m m) (pow.f64 (sqrt.f64 -1) 6)))) (-.f64 (fma.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (/.f64 1/16 (pow.f64 (sqrt.f64 -1) 6))) (.f64 v (.f64 m m))) (+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (.f64 m m))) (/.f64 m v)) (/.f64 1/64 (.f64 (.f64 v (*.f64 m m)) (pow.f64 (sqrt.f64 -1) 6))))) 1))
(+.f64 -1 (fma.f64 1/16 (/.f64 -1 (.f64 m (.f64 m v))) (-.f64 (+.f64 (/.f64 (.f64 m (neg.f64 m)) v) (+.f64 (/.f64 m v) (/.f64 -1/64 (.f64 m (.f64 m v))))) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m (*.f64 m v))))))
(+.f64 -1 (+.f64 (/.f64 -1/16 (.f64 m (.f64 m v))) (+.f64 (+.f64 (/.f64 m v) (/.f64 (/.f64 -1/64 v) (.f64 m m))) (.f64 (/.f64 -1 v) (+.f64 (.f64 m m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m m)))))))
(+.f64 (/.f64 -1/16 (.f64 m (.f64 m v))) (+.f64 (+.f64 (/.f64 m v) (/.f64 (/.f64 -1/64 v) (.f64 m m))) (fma.f64 (/.f64 -1 v) (+.f64 (.f64 m m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (*.f64 m m))) -1)))
(/.f64 (*.f64 m (-.f64 1 m)) v)
(*.f64 (/.f64 m v) (-.f64 1 m))
(*.f64 (-.f64 1 m) (/.f64 m v))
(/.f64 (-.f64 m (*.f64 m m)) v)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
-1
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
(+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) -1)
(+.f64 -1 (*.f64 (/.f64 m v) (-.f64 1 m)))
(fma.f64 (/.f64 m v) (-.f64 1 m) -1)
(fma.f64 (-.f64 1 m) (/.f64 m v) -1)
(*.f64 -1 m)
(neg.f64 m)
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v)
(/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3)))
(*.f64 (/.f64 -1 v) (pow.f64 m 3))
(/.f64 (neg.f64 (pow.f64 m 3)) v)
(+.f64 (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v))
(+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (*.f64 m m) v))
(+.f64 (.f64 (/.f64 -1 v) (pow.f64 m 3)) (/.f64 (.f64 m m) v))
(fma.f64 (/.f64 -1 v) (pow.f64 m 3) (*.f64 (/.f64 m v) m))
(+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 (.f64 (/.f64 -1 v) (pow.f64 m 3)) (/.f64 (.f64 m m) v)) m)
(-.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (*.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v m)))) (+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (+.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v m))) (.f64 1/16 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 6) m)))))))))
(+.f64 (/.f64 1/64 (.f64 (.f64 m v) (pow.f64 (sqrt.f64 -1) 6))) (fma.f64 -1 m (+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (.f64 m m) v)) (fma.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (/.f64 1/16 (pow.f64 (sqrt.f64 -1) 6))) (.f64 m v)) (/.f64 1/16 (.f64 v (.f64 m (pow.f64 (sqrt.f64 -1) 6))))))))
(+.f64 (+.f64 (-.f64 (/.f64 (.f64 m m) v) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m v))) (+.f64 (/.f64 (/.f64 1/16 v) (neg.f64 m)) (.f64 (/.f64 -1 v) (pow.f64 m 3)))) (-.f64 (/.f64 -1/64 (.f64 m v)) m))
(+.f64 (-.f64 (-.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (.f64 (/.f64 m v) m)) m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m v))) (+.f64 (/.f64 -1/16 (*.f64 m v)) (/.f64 (/.f64 -1/64 v) m)))
(+.f64 (/.f64 (/.f64 -1/64 v) m) (+.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (fma.f64 (/.f64 m v) m (/.f64 (-.f64 1/16 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2)) (.f64 m v)))) (-.f64 (/.f64 -1/16 (.f64 m v)) m)))
(/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v)
(/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3)))
(*.f64 (/.f64 -1 v) (pow.f64 m 3))
(/.f64 (neg.f64 (pow.f64 m 3)) v)
(+.f64 (/.f64 (*.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v))
(+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (*.f64 m m) v))
(+.f64 (.f64 (/.f64 -1 v) (pow.f64 m 3)) (/.f64 (.f64 m m) v))
(fma.f64 (/.f64 -1 v) (pow.f64 m 3) (*.f64 (/.f64 m v) m))
(+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (/.f64 (pow.f64 m 2) v)))
(fma.f64 -1 m (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (*.f64 m m) v)))
(-.f64 (+.f64 (.f64 (/.f64 -1 v) (pow.f64 m 3)) (/.f64 (.f64 m m) v)) m)
(-.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (*.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 (sqrt.f64 -1) 6) (.f64 v m)))) (+.f64 (.f64 -1 m) (+.f64 (/.f64 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 m 3)) v) (+.f64 (/.f64 (pow.f64 m 2) v) (+.f64 (.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (.f64 1/16 (/.f64 1 (pow.f64 (sqrt.f64 -1) 6)))) (.f64 v m))) (.f64 1/16 (/.f64 1 (.f64 v (*.f64 (pow.f64 (sqrt.f64 -1) 6) m)))))))))
(+.f64 (/.f64 1/64 (.f64 (.f64 m v) (pow.f64 (sqrt.f64 -1) 6))) (fma.f64 -1 m (+.f64 (+.f64 (/.f64 (pow.f64 (sqrt.f64 -1) 2) (/.f64 v (pow.f64 m 3))) (/.f64 (.f64 m m) v)) (fma.f64 -1 (/.f64 (+.f64 (pow.f64 (/.f64 -1/8 (pow.f64 (sqrt.f64 -1) 3)) 2) (/.f64 1/16 (pow.f64 (sqrt.f64 -1) 6))) (.f64 m v)) (/.f64 1/16 (.f64 v (.f64 m (pow.f64 (sqrt.f64 -1) 6))))))))
(+.f64 (+.f64 (-.f64 (/.f64 (.f64 m m) v) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m v))) (+.f64 (/.f64 (/.f64 1/16 v) (neg.f64 m)) (.f64 (/.f64 -1 v) (pow.f64 m 3)))) (-.f64 (/.f64 -1/64 (.f64 m v)) m))
(+.f64 (-.f64 (-.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (.f64 (/.f64 m v) m)) m) (/.f64 (+.f64 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2) -1/16) (.f64 m v))) (+.f64 (/.f64 -1/16 (*.f64 m v)) (/.f64 (/.f64 -1/64 v) m)))
(+.f64 (/.f64 (/.f64 -1/64 v) m) (+.f64 (fma.f64 (/.f64 -1 v) (pow.f64 m 3) (fma.f64 (/.f64 m v) m (/.f64 (-.f64 1/16 (pow.f64 (/.f64 1/8 (sqrt.f64 -1)) 2)) (.f64 m v)))) (-.f64 (/.f64 -1/16 (.f64 m v)) m)))
(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
(/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m)))
(.f64 (/.f64 (.f64 m m) v) (-.f64 1 m))
(.f64 (-.f64 1 m) (.f64 (/.f64 m v) m))
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(*.f64 -1 m)
(neg.f64 m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)
(+.f64 (.f64 -1 m) (/.f64 (.f64 (pow.f64 m 2) (-.f64 1 m)) v))
(fma.f64 -1 m (/.f64 (*.f64 m m) (/.f64 v (-.f64 1 m))))
(-.f64 (.f64 (/.f64 (.f64 m m) v) (-.f64 1 m)) m)
(-.f64 (.f64 (-.f64 1 m) (.f64 (/.f64 m v) m)) m)

prune140.0ms (6.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	206	5	211

Error

Counts

211 → 5

Alt Table

Status	Error	Program
✓	9.7b	(.f64 (fma.f64 (/.f64 (sqrt.f64 (.f64 m (-.f64 1 m))) 1) (/.f64 (sqrt.f64 (*.f64 m (-.f64 1 m))) v) -1) m)
	32.8b	(/.f64 (*.f64 (pow.f64 m 2) (-.f64 1 m)) v)
✓	0.2b	(*.f64 (fma.f64 m (/.f64 1 (/.f64 v (-.f64 1 m))) -1) m)
✓	0.2b	(fma.f64 (*.f64 (/.f64 m v) (-.f64 1 m)) m (neg.f64 m))
	25.9b	(/.f64 m (/.f64 (/.f64 v m) (-.f64 1 m)))

Compiler

Compiled 4680 to 3233 computations (30.9% saved)

regimes174.0ms (7.5%)

Accuracy

Total 0.2b remaining (85.2%)

Threshold costs 0.2b (85.2%)

Counts

100 → 1

Compiler

Compiled 1275 to 701 computations (45% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	16	16
2	19	16
3	20	16

Stop Event

1×

saturated

Calls

Call 1

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

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

end68.0ms (2.9%)

Stop Event

1×

fuel

Compiler

Compiled 97 to 65 computations (33% saved)

Details

analyze64.0ms (2.8%)

sample933.0ms (40.3%)

preprocess35.0ms (1.5%)

simplify40.0ms (1.7%)

prune3.0ms (0.1%)

localize6.0ms (0.3%)

series17.0ms (0.7%)

rewrite59.0ms (2.6%)

simplify34.0ms (1.5%)

prune178.0ms (7.7%)

localize7.0ms (0.3%)

series9.0ms (0.4%)

rewrite47.0ms (2%)

simplify46.0ms (2%)

prune67.0ms (2.9%)

localize7.0ms (0.3%)

series21.0ms (0.9%)

rewrite55.0ms (2.4%)

simplify38.0ms (1.6%)

prune117.0ms (5.1%)

localize9.0ms (0.4%)

series35.0ms (1.5%)

rewrite54.0ms (2.3%)

simplify48.0ms (2.1%)

prune140.0ms (6.1%)

regimes174.0ms (7.5%)

simplify3.0ms (0.1%)

end68.0ms (2.9%)

Profiling