Details

analyze6.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50.1%	13
49.9%	0%	50.1%	14

Compiler

Compiled 21 to 16 computations (23.8% saved)

sample1.0s (53.2%)

Results

1.0s	8256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 42 to 32 computations (23.8% saved)

preprocess28.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

598×	`fma-def_binary64`
423×	`distribute-rgt-in_binary64`
403×	`associate-/l*_binary64`
348×	`distribute-lft-in_binary64`
224×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	37	29
2	89	27
3	238	27
4	710	27
5	1695	25
6	2919	25
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Outputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 v v) -3))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (.f64 (/.f64 (sqrt.f64 2) 4) (-.f64 1 (.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))

Compiler

Compiled 20 to 15 computations (25% saved)

simplify26.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-def_binary64`
423×	`distribute-rgt-in_binary64`
403×	`associate-/l*_binary64`
348×	`distribute-lft-in_binary64`
224×	`fma-neg_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	37	29
2	89	27
3	238	27
4	710	27
5	1695	25
6	2919	25

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Outputs
(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 (.f64 v v) -3))) (-.f64 1 (*.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 (fma.f64 (.f64 v v) -3 1)) (.f64 (/.f64 (sqrt.f64 2) 4) (-.f64 1 (.f64 v v))))
(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (-.f64 1 (.f64 v v))))
(.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (/.f64 -4 (fma.f64 v v -1))))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.0b	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
▶	0.0b	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))

Compiler

Compiled 113 to 86 computations (23.9% saved)

localize10.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))
✓	0.0b	(.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1)))
✓	0.0b	(sqrt.f64 (fma.f64 v (*.f64 v -3) 1))

series17.0ms (0.9%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	v	@	-inf	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))
4.0ms	v	@	inf	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))
2.0ms	v	@	-inf	(.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1)))
1.0ms	v	@	inf	(.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1)))
1.0ms	v	@	0	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))

rewrite50.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

629×	`log-prod_binary64`
233×	`expm1-udef_binary64`
233×	`log1p-udef_binary64`
193×	`log-pow_binary64`
137×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	48
1	294	46
2	3187	46

Stop Event

1×	node limit

Counts

3 → 68

Calls

Call 1

Inputs
(sqrt.f64 (fma.f64 v (*.f64 v -3) 1))
(.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1)))
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (.f64 (sqrt.f64 2) (.f64 -1/4 (fma.f64 v v -1))))

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

Outputs

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

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

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

simplify40.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

513×	`fma-def_binary64`
405×	`cancel-sign-sub-inv_binary64`
351×	`associate-l_binary64`
331×	`associate-r_binary64`
287×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	105	1065
1	343	1009
2	1273	897

Stop Event

1×	node limit

Counts

104 → 117

Calls

Call 1

Inputs
1
(-.f64 1 (*.f64 3/2 (pow.f64 v 2)))
(-.f64 1 (+.f64 (.f64 9/8 (pow.f64 v 4)) (.f64 3/2 (pow.f64 v 2))))
(-.f64 1 (+.f64 (.f64 9/8 (pow.f64 v 4)) (+.f64 (.f64 3/2 (pow.f64 v 2)) (*.f64 27/16 (pow.f64 v 6)))))
(*.f64 v (sqrt.f64 -3))
(+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(-.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(.f64 -1 (.f64 v (sqrt.f64 -3)))
(neg.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3))))))
(-.f64 (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3))))))
(-.f64 (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 v (sqrt.f64 -3)) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))))
(*.f64 1/4 (sqrt.f64 2))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(*.f64 1/4 (sqrt.f64 2))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (+.f64 (.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (.f64 1/4 (sqrt.f64 2))) (.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(-.f64 (+.f64 (.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (.f64 1/4 (sqrt.f64 2))) (+.f64 (.f64 5/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (.f64 9/64 (*.f64 (pow.f64 v 6) (sqrt.f64 2)))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(-.f64 (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))))

Outputs
1
(-.f64 1 (*.f64 3/2 (pow.f64 v 2)))
(+.f64 1 (.f64 -3/2 (.f64 v v)))
(+.f64 1 (.f64 (.f64 v v) -3/2))
(fma.f64 (*.f64 v v) -3/2 1)
(-.f64 1 (+.f64 (.f64 9/8 (pow.f64 v 4)) (.f64 3/2 (pow.f64 v 2))))
(-.f64 1 (fma.f64 9/8 (pow.f64 v 4) (.f64 3/2 (.f64 v v))))
(-.f64 1 (fma.f64 3/2 (.f64 v v) (.f64 9/8 (pow.f64 v 4))))
(+.f64 1 (fma.f64 (.f64 v v) -3/2 (.f64 (pow.f64 v 4) -9/8)))
(-.f64 1 (+.f64 (.f64 9/8 (pow.f64 v 4)) (+.f64 (.f64 3/2 (pow.f64 v 2)) (*.f64 27/16 (pow.f64 v 6)))))
(-.f64 1 (fma.f64 9/8 (pow.f64 v 4) (fma.f64 3/2 (.f64 v v) (.f64 27/16 (pow.f64 v 6)))))
(-.f64 1 (fma.f64 3/2 (.f64 v v) (fma.f64 9/8 (pow.f64 v 4) (.f64 27/16 (pow.f64 v 6)))))
(*.f64 v (sqrt.f64 -3))
(+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3)))))
(fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (*.f64 v (sqrt.f64 -3))))
(fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3)))
(-.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(-.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))
(+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))) (/.f64 -1/8 (.f64 (sqrt.f64 -3) (.f64 -3 (pow.f64 v 3)))))
(+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))) (/.f64 1/24 (*.f64 (sqrt.f64 -3) (pow.f64 v 3))))
(-.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))) (.f64 1/8 (/.f64 1 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))))
(-.f64 (+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))) (/.f64 1/8 (*.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))
(fma.f64 v (sqrt.f64 -3) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (/.f64 (/.f64 1/2 v) (sqrt.f64 -3)) (/.f64 -1/8 (.f64 (sqrt.f64 -3) (*.f64 -3 (pow.f64 v 3)))))))
(+.f64 (/.f64 1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))) (/.f64 1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3)))))
(.f64 -1 (.f64 v (sqrt.f64 -3)))
(neg.f64 (*.f64 v (sqrt.f64 -3)))
(*.f64 v (neg.f64 (sqrt.f64 -3)))
(*.f64 (sqrt.f64 -3) (neg.f64 v))
(neg.f64 (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3))))))
(neg.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (*.f64 v (sqrt.f64 -3)))))
(-.f64 (/.f64 -1/2 (.f64 v (sqrt.f64 -3))) (.f64 v (sqrt.f64 -3)))
(-.f64 (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 v (sqrt.f64 -3)) (.f64 1/2 (/.f64 1 (*.f64 v (sqrt.f64 -3))))))
(-.f64 (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))))
(-.f64 (/.f64 1/8 (.f64 (sqrt.f64 -3) (.f64 -3 (pow.f64 v 3)))) (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))))
(-.f64 (/.f64 -1/24 (*.f64 (sqrt.f64 -3) (pow.f64 v 3))) (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))))
(-.f64 (.f64 1/8 (/.f64 1 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3)))) (+.f64 (.f64 v (sqrt.f64 -3)) (+.f64 (.f64 1/2 (/.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))))
(-.f64 (/.f64 1/8 (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 1/2 (.f64 v (sqrt.f64 -3)))) (/.f64 1/16 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))
(-.f64 (/.f64 1/8 (.f64 (sqrt.f64 -3) (.f64 -3 (pow.f64 v 3)))) (+.f64 (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3))) (/.f64 1/16 (*.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5)))))
(+.f64 (-.f64 (/.f64 -1/24 (.f64 (sqrt.f64 -3) (pow.f64 v 3))) (fma.f64 v (sqrt.f64 -3) (/.f64 (/.f64 1/2 v) (sqrt.f64 -3)))) (/.f64 -1/16 (.f64 (pow.f64 v 5) (pow.f64 (sqrt.f64 -3) 5))))
(*.f64 1/4 (sqrt.f64 2))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (.f64 (*.f64 v v) (sqrt.f64 2)) -1/4)
(.f64 (.f64 v v) (*.f64 (sqrt.f64 2) -1/4))
(.f64 v (.f64 (*.f64 v (sqrt.f64 2)) -1/4))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(.f64 -1/4 (.f64 (pow.f64 v 2) (sqrt.f64 2)))
(.f64 (.f64 (*.f64 v v) (sqrt.f64 2)) -1/4)
(.f64 (.f64 v v) (*.f64 (sqrt.f64 2) -1/4))
(.f64 v (.f64 (*.f64 v (sqrt.f64 2)) -1/4))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(.f64 1/4 (-.f64 (sqrt.f64 2) (.f64 (*.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 v v) 1/4)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 v (*.f64 v -1/4))))
(*.f64 1/4 (sqrt.f64 2))
(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 -5/8 (.f64 (.f64 v v) (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (*.f64 5/8 v) v)))
(.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (*.f64 v v) -5/8)))
(-.f64 (+.f64 (.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (.f64 1/4 (sqrt.f64 2))) (.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
(+.f64 (fma.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2))) (.f64 -5/8 (.f64 (*.f64 v v) (sqrt.f64 2))))
(fma.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2)) (.f64 (sqrt.f64 2) (-.f64 1/4 (.f64 (.f64 5/8 v) v))))
(.f64 (sqrt.f64 2) (-.f64 (fma.f64 (pow.f64 v 4) 3/32 1/4) (.f64 v (*.f64 v 5/8))))
(-.f64 (+.f64 (.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2))) (.f64 1/4 (sqrt.f64 2))) (+.f64 (.f64 5/8 (.f64 (pow.f64 v 2) (sqrt.f64 2))) (.f64 9/64 (*.f64 (pow.f64 v 6) (sqrt.f64 2)))))
(-.f64 (fma.f64 3/32 (.f64 (pow.f64 v 4) (sqrt.f64 2)) (.f64 1/4 (sqrt.f64 2))) (fma.f64 5/8 (.f64 (.f64 v v) (sqrt.f64 2)) (.f64 9/64 (.f64 (pow.f64 v 6) (sqrt.f64 2)))))
(-.f64 (.f64 (sqrt.f64 2) (+.f64 1/4 (.f64 (pow.f64 v 4) 3/32))) (.f64 (sqrt.f64 2) (+.f64 (.f64 (.f64 5/8 v) v) (.f64 (pow.f64 v 6) 9/64))))
(.f64 (sqrt.f64 2) (-.f64 (fma.f64 (pow.f64 v 4) 3/32 1/4) (fma.f64 (.f64 v v) 5/8 (*.f64 (pow.f64 v 6) 9/64))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 -1/4 (.f64 (sqrt.f64 -3) (*.f64 (pow.f64 v 3) (sqrt.f64 2))))
(.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (*.f64 (sqrt.f64 2) -1/4)))
(-.f64 (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))))
(-.f64 (.f64 1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))) (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
(+.f64 (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 (.f64 v 1/4) (.f64 (pow.f64 v 3) 1/4))) (*.f64 -1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(fma.f64 1/4 (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 v (pow.f64 v 3))) (*.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) -1/8))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))))
(-.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))))) (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))))))
(+.f64 (+.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 (/.f64 1/32 (.f64 (sqrt.f64 -3) -3)) (/.f64 (sqrt.f64 2) v))) (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 (.f64 v 1/4) (.f64 (pow.f64 v 3) 1/4)))) (.f64 -1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2)))))
(+.f64 (.f64 (/.f64 (sqrt.f64 2) v) (+.f64 (/.f64 1/8 (sqrt.f64 -3)) (/.f64 -1/96 (sqrt.f64 -3)))) (fma.f64 1/4 (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 v (pow.f64 v 3))) (.f64 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) -1/8)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))))
(-.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))))) (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (fma.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))))
(-.f64 (+.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (.f64 (/.f64 1/32 (.f64 (sqrt.f64 -3) -3)) (/.f64 (sqrt.f64 2) v))) (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 (.f64 v 1/4) (.f64 (pow.f64 v 3) 1/4)))) (fma.f64 1/64 (/.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (pow.f64 (sqrt.f64 -3) 5)) (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (sqrt.f64 -3) (.f64 -3 (pow.f64 v 3))))))))
(+.f64 (.f64 (/.f64 (sqrt.f64 2) v) (+.f64 (/.f64 1/8 (sqrt.f64 -3)) (/.f64 -1/96 (sqrt.f64 -3)))) (-.f64 (.f64 1/4 (.f64 (.f64 (sqrt.f64 -3) (sqrt.f64 2)) (-.f64 v (pow.f64 v 3)))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) (*.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (+.f64 (/.f64 -1/96 (sqrt.f64 -3)) (/.f64 1/64 (pow.f64 (sqrt.f64 -3) 5)))))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 (.f64 (pow.f64 v 3) (sqrt.f64 2)) (*.f64 (sqrt.f64 -3) 1/4))
(.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (*.f64 1/4 (sqrt.f64 2))))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))
(+.f64 (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (.f64 -1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))))
(fma.f64 1/4 (.f64 (sqrt.f64 -3) (.f64 (pow.f64 v 3) (sqrt.f64 2))) (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 -1/4 (.f64 (sqrt.f64 -3) (*.f64 v (sqrt.f64 2))))))
(fma.f64 1/8 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) (.f64 (.f64 (sqrt.f64 -3) (*.f64 1/4 (sqrt.f64 2))) (-.f64 (pow.f64 v 3) v)))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3)))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))))
(-.f64 (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))))))
(-.f64 (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 (.f64 (pow.f64 v 3) (sqrt.f64 2)) (.f64 (sqrt.f64 -3) 1/4))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/4 (.f64 (sqrt.f64 -3) (.f64 v (sqrt.f64 2))) (.f64 (/.f64 1/32 (.f64 (sqrt.f64 -3) -3)) (/.f64 (sqrt.f64 2) v)))))
(-.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (.f64 1/4 (sqrt.f64 2))))) (fma.f64 v (.f64 (sqrt.f64 -3) (.f64 1/4 (sqrt.f64 2))) (.f64 (/.f64 (sqrt.f64 2) v) (+.f64 (/.f64 1/8 (sqrt.f64 -3)) (/.f64 -1/96 (sqrt.f64 -3))))))
(-.f64 (+.f64 (.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (+.f64 (.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5)))) (+.f64 (.f64 1/8 (/.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))) (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3)))) (+.f64 (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3)))) (.f64 1/4 (.f64 v (.f64 (sqrt.f64 2) (sqrt.f64 -3)))))))
(-.f64 (fma.f64 1/4 (.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (fma.f64 1/64 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (pow.f64 v 3) (pow.f64 (sqrt.f64 -3) 3))))))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 v (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/4 (.f64 (.f64 v (sqrt.f64 2)) (sqrt.f64 -3))))))
(-.f64 (fma.f64 1/4 (.f64 (sqrt.f64 -3) (.f64 (pow.f64 v 3) (sqrt.f64 2))) (fma.f64 1/64 (/.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (pow.f64 (sqrt.f64 -3) 5)) (fma.f64 1/8 (/.f64 v (/.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/32 (/.f64 (sqrt.f64 2) (.f64 (sqrt.f64 -3) (.f64 -3 (pow.f64 v 3)))))))) (fma.f64 1/8 (/.f64 (sqrt.f64 2) (.f64 v (sqrt.f64 -3))) (fma.f64 1/4 (.f64 (sqrt.f64 -3) (.f64 v (sqrt.f64 2))) (.f64 (/.f64 1/32 (.f64 (sqrt.f64 -3) -3)) (/.f64 (sqrt.f64 2) v)))))
(fma.f64 (pow.f64 v 3) (.f64 (sqrt.f64 -3) (.f64 1/4 (sqrt.f64 2))) (-.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (/.f64 (sqrt.f64 -3) v)) (.f64 (/.f64 (sqrt.f64 2) (pow.f64 v 3)) (+.f64 (/.f64 -1/96 (sqrt.f64 -3)) (/.f64 1/64 (pow.f64 (sqrt.f64 -3) 5))))) (fma.f64 v (.f64 (sqrt.f64 -3) (.f64 1/4 (sqrt.f64 2))) (.f64 (/.f64 (sqrt.f64 2) v) (+.f64 (/.f64 1/8 (sqrt.f64 -3)) (/.f64 -1/96 (sqrt.f64 -3)))))))

prune111.0ms (5.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	114	3	117
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	116	3	119

Error

Counts

119 → 3

Alt Table

Status	Error	Program
	0.1b	(-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))
	0.0b	(+.f64 0 (.f64 (.f64 -1/4 (fma.f64 v v -1)) (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 2))))
▶	0.0b	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

Status

Error

Program

0.1b

(-.f64 (*.f64 1/4 (sqrt.f64 2)) (*.f64 5/8 (*.f64 (pow.f64 v 2) (sqrt.f64 2))))

0.0b

(+.f64 0 (*.f64 (*.f64 -1/4 (fma.f64 v v -1)) (sqrt.f64 (*.f64 (fma.f64 v (*.f64 v -3) 1) 2))))

▶

0.0b

(*.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

Compiler

Compiled 3013 to 2490 computations (17.4% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16)))
✓	0.0b	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
✓	0.0b	(pow.f64 (fma.f64 v v -1) 2)
	0.0b	(sqrt.f64 (fma.f64 v (*.f64 v -3) 1))

series14.0ms (0.8%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	v	@	inf	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
3.0ms	v	@	-inf	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
1.0ms	v	@	0	(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
1.0ms	v	@	-inf	(sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16)))
1.0ms	v	@	inf	(sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16)))

rewrite52.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

654×	`log-prod_binary64`
242×	`expm1-udef_binary64`
242×	`log1p-udef_binary64`
205×	`log-pow_binary64`
143×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	319	44
2	3390	44

Stop Event

1×	node limit

Counts

3 → 74

Calls

Call 1

Inputs
(pow.f64 (fma.f64 v v -1) 2)
(.f64 (sqrt.f64 (fma.f64 v (.f64 v -3) 1)) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
(sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16)))

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

Outputs

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

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

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

simplify41.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

903×	`times-frac_binary64`
408×	`fma-def_binary64`
316×	`cancel-sign-sub-inv_binary64`
225×	`associate-l_binary64`
222×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	83	862
1	282	822
2	977	669
3	4565	669

Stop Event

1×	node limit

Counts

110 → 111

Calls

Call 1

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

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

prune139.0ms (7.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	162	2	164

Error

Counts

164 → 2

Alt Table

Status

Error

Program

▶

0.1b

(*.f64 (fma.f64 (*.f64 v v) -3/2 1) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

✓

0.0b

(*.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

Compiler

Compiled 4008 to 3266 computations (18.5% saved)

localize10.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16)))
✓	0.0b	(.f64 (fma.f64 (.f64 v v) -3/2 1) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))
	0.0b	(pow.f64 (fma.f64 v v -1) 2)

series5.0ms (0.3%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

inf

(*.f64 (fma.f64 (*.f64 v v) -3/2 1) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

2.0ms

-inf

(*.f64 (fma.f64 (*.f64 v v) -3/2 1) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

2.0ms

(*.f64 (fma.f64 (*.f64 v v) -3/2 1) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

rewrite42.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

582×	`log-prod_binary64`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`
186×	`log-pow_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	297	23
2	3117	23

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(.f64 (fma.f64 (.f64 v v) -3/2 1) (sqrt.f64 (.f64 2 (.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

Outputs

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

simplify25.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

664×	`cancel-sign-sub-inv_binary64`
621×	`fma-neg_binary64`
442×	`distribute-rgt-neg-in_binary64`
405×	`distribute-lft-neg-in_binary64`
340×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	272
1	55	242
2	141	212
3	472	200
4	2216	200

Stop Event

1×	node limit

Counts

34 → 32

Calls

Call 1

Inputs
(*.f64 -1 (sqrt.f64 1/8))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (sqrt.f64 1/8))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(.f64 -3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(.f64 -3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))

Outputs
(*.f64 -1 (sqrt.f64 1/8))
(neg.f64 (sqrt.f64 1/8))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (sqrt.f64 1/8))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (*.f64 v v))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (+.f64 (.f64 (*.f64 5/2 v) v) -1))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) -1))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))
(.f64 -3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8)))
(.f64 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) -3/2)
(.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 4) -3/2))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))))
(+.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 v 4)) -3/2))
(.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (*.f64 (pow.f64 v 4) -3/2)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))
(.f64 -3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8)))
(.f64 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) -3/2)
(.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 4) -3/2))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))))
(+.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (.f64 (*.f64 (sqrt.f64 1/8) (pow.f64 v 4)) -3/2))
(.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (*.f64 (pow.f64 v 4) -3/2)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))
(-.f64 (.f64 5/2 (.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (+.f64 (.f64 3/2 (.f64 (pow.f64 v 4) (sqrt.f64 1/8))) (sqrt.f64 1/8)))
(-.f64 (.f64 5/2 (.f64 (sqrt.f64 1/8) (.f64 v v))) (fma.f64 3/2 (.f64 (sqrt.f64 1/8) (pow.f64 v 4)) (sqrt.f64 1/8)))
(-.f64 (.f64 (sqrt.f64 1/8) (+.f64 (.f64 (.f64 5/2 v) v) (.f64 (pow.f64 v 4) -3/2))) (sqrt.f64 1/8))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 5/2 (*.f64 v v)) (fma.f64 3/2 (pow.f64 v 4) 1)))
(.f64 (sqrt.f64 1/8) (fma.f64 5/2 (.f64 v v) (fma.f64 (pow.f64 v 4) -3/2 -1)))

prune67.0ms (3.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	100	2	102

Error

Counts

102 → 2

Alt Table

Status

Error

Program

✓

0.1b

(*.f64 (fma.f64 (*.f64 v v) -3/2 1) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

✓

0.0b

(*.f64 (sqrt.f64 (fma.f64 v (*.f64 v -3) 1)) (sqrt.f64 (*.f64 2 (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/16))))

Compiler

Compiled 2131 to 1594 computations (25.2% saved)

regimes121.0ms (6.4%)

Accuracy

Total 0.0b remaining (13.8%)

Threshold costs 0.0b (13.8%)

Counts

42 → 1

Compiler

Compiled 2448 to 1957 computations (20.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	27
1	21	27

Stop Event

1×

saturated

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/8)))))

Outputs
(expm1.f64 (log1p.f64 (sqrt.f64 (.f64 (fma.f64 v (.f64 v -3) 1) (*.f64 (pow.f64 (fma.f64 v v -1) 2) 1/8)))))

end71.0ms (3.7%)

Stop Event

1×

done

Compiler

Compiled 77 to 61 computations (20.8% saved)

Details

analyze6.0ms (0.3%)

sample1.0s (53.2%)

preprocess28.0ms (1.5%)

simplify26.0ms (1.4%)

prune4.0ms (0.2%)

localize10.0ms (0.5%)

series17.0ms (0.9%)

rewrite50.0ms (2.6%)

simplify40.0ms (2.1%)

prune111.0ms (5.8%)

localize11.0ms (0.6%)

series14.0ms (0.8%)

rewrite52.0ms (2.7%)

simplify41.0ms (2.2%)

prune139.0ms (7.3%)

localize10.0ms (0.5%)

series5.0ms (0.3%)

rewrite42.0ms (2.2%)

simplify25.0ms (1.3%)

prune67.0ms (3.5%)

regimes121.0ms (6.4%)

simplify2.0ms (0.1%)

end71.0ms (3.7%)

Profiling