Metrics for Falkner and Boettcher, Appendix B, 2

analyze7.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
50%	25%	25%	0%	0%	50%	0%	4
75%	37.5%	12.5%	0%	0%	50%	0%	5
87.5%	43.7%	6.2%	0%	0%	50%	0%	6
93.8%	46.9%	3.1%	0%	0%	50%	0%	7
96.9%	48.4%	1.6%	0%	0%	50%	0%	8
98.4%	49.2%	0.8%	0%	0%	50%	0%	9
99.2%	49.6%	0.4%	0%	0%	50%	0%	10
99.6%	49.8%	0.2%	0%	0%	50%	0%	11
99.8%	49.9%	0.1%	0%	0%	50%	0%	12

Compiler

Compiled 21 to 16 computations (23.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 3.0ms

Operation ival-mult, time spent: 1.0ms, 34.0% of total-time

Operation ival-sqrt, time spent: 1.0ms, 34.0% of total-time

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.5s (34.3%)

Results

1.4s	8255×	256	valid
1.0ms	12×	256	invalid
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 642.0ms

Operation ival-mult, time spent: 267.0ms, 42.0% of total-time

Operation ival-sqrt, time spent: 152.0ms, 24.0% of total-time

Operation ival-sub, time spent: 111.0ms, 17.0% of total-time

Operation ival-div, time spent: 80.0ms, 12.0% of total-time

Operation const, time spent: 32.0ms, 5.0% of total-time

Bogosity

preprocess519.0ms (11.6%)

Algorithm

1×	egg-herbie

Rules

3462×	`fma-define`
1018×	`distribute-lft-in`
1004×	`fma-neg`
930×	`distribute-rgt-in`
870×	`unsub-neg`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`1`
-	-	`2`
-	-	`(*.f64 v v)`
-	-	`3`
-	-	`(sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))`
-	-	`4`
-	-	`(.f64 3 (.f64 v v))`
-	-	`(/.f64 (sqrt.f64 2) 4)`
-	-	`(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (*.f64 v v)))))`
-	-	`v`
-	-	`(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))`
-	-	`(sqrt.f64 2)`
-	-	`(-.f64 1 (*.f64 v v))`
-	-	`(-.f64 1 (.f64 3 (.f64 v v)))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	280
1	81	276
2	199	260
3	637	256
4	1910	244
5	4131	244
6	5472	244
7	5803	244
8	5857	244
9	5917	244
10	6013	244
11	7603	244

Stop Event

1×	node limit

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

Symmetry

(abs v)

Compiler

Compiled 186 to 128 computations (31.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 105.0ms

Operation ival-mult, time spent: 40.0ms, 38.0% of total-time

Operation ival-sqrt, time spent: 30.0ms, 29.0% of total-time

Operation ival-sub, time spent: 17.0ms, 16.0% of total-time

Operation ival-div, time spent: 11.0ms, 10.0% of total-time

Operation const, time spent: 7.0ms, 7.0% of total-time

eval2.0ms (0%)

Compiler: Compiled 109 to 79 computations (27.5% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 20 to 15 computations (25% saved)

localize112.0ms (2.5%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
✓	99.7%	(.f64 -3 (.f64 v v))

Compiler

Compiled 74 to 47 computations (36.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 52.0ms

Operation ival-mult, time spent: 20.0ms, 38.0% of total-time

Operation ival-sqrt, time spent: 14.0ms, 27.0% of total-time

Operation ival-add, time spent: 6.0ms, 11.0% of total-time

Operation ival-div, time spent: 5.0ms, 10.0% of total-time

Operation ival-sub, time spent: 4.0ms, 8.0% of total-time

Operation const, time spent: 3.0ms, 6.0% of total-time

series6.0ms (0.1%)

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (.f64 -3 (.f64 v v))>
#<alt (.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))>

Outputs
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 -3 (pow.f64 v 2))>
#<alt (*.f64 1/4 (sqrt.f64 2))>
#<alt (+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2))))))>
#<alt (+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -9/8 (sqrt.f64 2)) (.f64 3/2 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2)))))))>
#<alt (+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (.f64 -1 (sqrt.f64 2)))) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -27/16 (sqrt.f64 2)) (.f64 9/8 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -9/8 (sqrt.f64 2)) (*.f64 3/2 (sqrt.f64 2)))))))))>
#<alt (.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))>
#<alt (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2)))))>
#<alt (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))>
#<alt (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))>
#<alt (.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))>
#<alt (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))))))>
#<alt (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))>
#<alt (.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))))>

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	v	@	inf	(* (/ (sqrt 2) 4) (* (sqrt (+ 1 (* -3 (* v v)))) (- 1 (* v v))))
1.0ms	v	@	0	(* (/ (sqrt 2) 4) (* (sqrt (+ 1 (* -3 (* v v)))) (- 1 (* v v))))
1.0ms	v	@	-inf	(* (/ (sqrt 2) 4) (* (sqrt (+ 1 (* -3 (* v v)))) (- 1 (* v v))))
1.0ms	v	@	0	(* -3 (* v v))
0.0ms	v	@	inf	(* -3 (* v v))

rewrite236.0ms (5.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1228×	`log-prod`
1032×	`prod-diff`
844×	`fma-define`
713×	`log1p-expm1-u`
713×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	79
1	251	67
2	3289	67

Stop Event

1×	node limit

Counts

2 → 68

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 -3 (pow.f64 v 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(-.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1)
(pow.f64 (*.f64 -3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -3 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 6) -27) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -3 (pow.f64 v 2)))))
(cbrt.f64 (*.f64 (pow.f64 v 6) -27))
(expm1.f64 (log1p.f64 (*.f64 -3 (pow.f64 v 2))))
(expm1.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1))
(log1p.f64 (expm1.f64 (*.f64 -3 (pow.f64 v 2))))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(fma.f64 1 (fma.f64 -3 (pow.f64 v 2) 1) -1)
(fma.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1 -1)
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) -1)
(fma.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (fma.f64 (pow.f64 v 6) -27 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 v 4) 9 (*.f64 3 (pow.f64 v 2))))) -1)
(fma.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9)) (/.f64 1 (+.f64 1 (.f64 3 (pow.f64 v 2)))) -1)
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(+.f64 0 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(+.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(+.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1) (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) 1)
(/.f64 1 (/.f64 4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(/.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (/.f64 4 (sqrt.f64 2)))
(/.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 4)
(/.f64 (neg.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) -4)
(/.f64 (.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(/.f64 (.f64 (neg.f64 (sqrt.f64 2)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) -4)
(pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 2)
(sqrt.f64 (.f64 1/8 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 1))
(fma.f64 (sqrt.f64 2) (.f64 1/4 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 1 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 (cbrt.f64 1/8) (.f64 (cbrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))

simplify386.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

1196×	`fma-neg`
1150×	`distribute-lft-in`
1126×	`distribute-rgt-in`
816×	`unsub-neg`
402×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	267	4718
1	669	4654
2	2296	4490
3	5967	4484

Stop Event

1×	node limit

Counts

92 → 146

Calls

Call 1

Inputs
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2))))))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -9/8 (sqrt.f64 2)) (.f64 3/2 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2)))))))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (.f64 -1 (sqrt.f64 2)))) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -27/16 (sqrt.f64 2)) (.f64 9/8 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -9/8 (sqrt.f64 2)) (*.f64 3/2 (sqrt.f64 2)))))))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2)))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))))))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))))
(+.f64 0 (*.f64 -3 (pow.f64 v 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(-.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1)
(pow.f64 (*.f64 -3 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -3 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 6) -27) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -3 (pow.f64 v 2)))))
(cbrt.f64 (*.f64 (pow.f64 v 6) -27))
(expm1.f64 (log1p.f64 (*.f64 -3 (pow.f64 v 2))))
(expm1.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1))
(log1p.f64 (expm1.f64 (*.f64 -3 (pow.f64 v 2))))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(fma.f64 1 (fma.f64 -3 (pow.f64 v 2) 1) -1)
(fma.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1 -1)
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) -1)
(fma.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (fma.f64 (pow.f64 v 6) -27 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 v 4) 9 (*.f64 3 (pow.f64 v 2))))) -1)
(fma.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9)) (/.f64 1 (+.f64 1 (.f64 3 (pow.f64 v 2)))) -1)
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(+.f64 0 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(+.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(+.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1) (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) 1)
(/.f64 1 (/.f64 4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(/.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (/.f64 4 (sqrt.f64 2)))
(/.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 4)
(/.f64 (neg.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) -4)
(/.f64 (.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (neg.f64 (sqrt.f64 2))) -4)
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(/.f64 (.f64 (neg.f64 (sqrt.f64 2)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) -4)
(pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 1)
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 3)
(pow.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 2)
(sqrt.f64 (.f64 1/8 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 1))
(fma.f64 (sqrt.f64 2) (.f64 1/4 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 1 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 (cbrt.f64 1/8) (.f64 (cbrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (sqrt.f64 1/8) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))

Outputs
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 -3 (pow.f64 v 2))
(*.f64 1/4 (sqrt.f64 2))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2))))))
(.f64 1/4 (+.f64 (sqrt.f64 2) (.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 2) -5/2))))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -5/8)))
(fma.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -5/8) (.f64 1/4 (sqrt.f64 2)))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -9/8 (sqrt.f64 2)) (.f64 3/2 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (*.f64 -1 (sqrt.f64 2)))))))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (.f64 1/4 (+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) 3/8)) (*.f64 (sqrt.f64 2) -5/2)))))
(fma.f64 (pow.f64 v 2) (+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) 3/32)) (.f64 (sqrt.f64 2) -5/8)) (.f64 1/4 (sqrt.f64 2)))
(.f64 1/4 (+.f64 (sqrt.f64 2) (.f64 (.f64 (sqrt.f64 2) (+.f64 -5/2 (.f64 3/8 (pow.f64 v 2)))) (pow.f64 v 2))))
(+.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (+.f64 (.f64 -3/2 (sqrt.f64 2)) (.f64 -1 (sqrt.f64 2)))) (.f64 (pow.f64 v 2) (+.f64 (.f64 1/4 (.f64 (pow.f64 v 2) (+.f64 (.f64 -27/16 (sqrt.f64 2)) (.f64 9/8 (sqrt.f64 2))))) (.f64 1/4 (+.f64 (.f64 -9/8 (sqrt.f64 2)) (*.f64 3/2 (sqrt.f64 2)))))))))
(fma.f64 1/4 (sqrt.f64 2) (.f64 (pow.f64 v 2) (fma.f64 1/4 (.f64 (sqrt.f64 2) -5/2) (.f64 (pow.f64 v 2) (.f64 1/4 (+.f64 (.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -9/16)) (*.f64 (sqrt.f64 2) 3/8)))))))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (.f64 1/4 (fma.f64 (pow.f64 v 2) (.f64 (sqrt.f64 2) -9/16) (.f64 (sqrt.f64 2) 3/8))) (.f64 (sqrt.f64 2) -5/8)) (*.f64 1/4 (sqrt.f64 2)))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (.f64 1/4 (.f64 (sqrt.f64 2) (+.f64 3/8 (.f64 -9/16 (pow.f64 v 2))))) (.f64 (sqrt.f64 2) -5/8)) (*.f64 1/4 (sqrt.f64 2)))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 -1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))))
(.f64 (pow.f64 v 3) (.f64 (sqrt.f64 2) (*.f64 -1/4 (sqrt.f64 -3))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2)))))
(.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)))))
(.f64 (pow.f64 v 3) (fma.f64 1/4 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (.f64 (sqrt.f64 2) (.f64 -1/4 (sqrt.f64 -3)))))
(.f64 (pow.f64 v 3) (fma.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (.f64 (sqrt.f64 2) (.f64 -1/4 (sqrt.f64 -3)))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))
(.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (/.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2)) (pow.f64 v 4))))))
(.f64 (pow.f64 v 3) (fma.f64 1/4 (+.f64 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (/.f64 (fma.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2 (.f64 -1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))) (.f64 (sqrt.f64 2) (*.f64 -1/4 (sqrt.f64 -3)))))
(.f64 (pow.f64 v 3) (fma.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (/.f64 (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 11/24) (pow.f64 v 4))) (.f64 (sqrt.f64 2) (*.f64 -1/4 (sqrt.f64 -3)))))
(.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))
(.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (fma.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6)) (/.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2)) (pow.f64 v 4)))))))
(.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (+.f64 (/.f64 (fma.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2 (.f64 -1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)) (/.f64 (fma.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)) (.f64 1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 6)))))))
(.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (+.f64 (/.f64 (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 11/24) (pow.f64 v 4)) (/.f64 (fma.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)) (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/24)) (pow.f64 v 6)))))))
(.f64 1/4 (.f64 (pow.f64 v 3) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))))
(.f64 (.f64 1/4 (pow.f64 v 3)) (*.f64 (sqrt.f64 2) (sqrt.f64 -3)))
(.f64 1/4 (.f64 (sqrt.f64 2) (*.f64 (pow.f64 v 3) (sqrt.f64 -3))))
(.f64 (pow.f64 v 3) (.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/4))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (*.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))))))
(neg.f64 (.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2))))))
(.f64 (fma.f64 1/4 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (.f64 (sqrt.f64 2) (.f64 -1/4 (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 3)))
(.f64 (pow.f64 v 3) (neg.f64 (fma.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (.f64 (sqrt.f64 2) (.f64 -1/4 (sqrt.f64 -3))))))
(.f64 (pow.f64 v 3) (-.f64 (.f64 (.f64 1/4 (sqrt.f64 2)) (sqrt.f64 -3)) (.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (*.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)))))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)))))))
(neg.f64 (.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (/.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2)) (pow.f64 v 4)))))))
(.f64 (fma.f64 1/4 (+.f64 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (/.f64 (fma.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2 (.f64 -1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))) (.f64 (sqrt.f64 2) (*.f64 -1/4 (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 3)))
(.f64 (fma.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (/.f64 (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 11/24) (pow.f64 v 4))) (.f64 (sqrt.f64 2) (*.f64 -1/4 (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 3)))
(.f64 -1 (.f64 (pow.f64 v 3) (+.f64 (.f64 -1/4 (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3))) (.f64 (sqrt.f64 -3) (sqrt.f64 2))) (pow.f64 v 2))) (+.f64 (.f64 1/4 (/.f64 (+.f64 (.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6))) (.f64 1/4 (/.f64 (+.f64 (.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3))) (*.f64 1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4))))))))
(neg.f64 (.f64 (pow.f64 v 3) (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (fma.f64 1/4 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)))) (pow.f64 v 6)) (/.f64 (fma.f64 1/8 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 3)) (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2)) (pow.f64 v 4))))))))
(.f64 (pow.f64 v 3) (neg.f64 (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 (sqrt.f64 2) (sqrt.f64 -3) (.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 2)) (+.f64 (/.f64 (fma.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/2 (.f64 -1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 4)) (/.f64 (fma.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)) (.f64 1/24 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)))) (pow.f64 v 6))))))))
(.f64 (fma.f64 -1/4 (.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (+.f64 (/.f64 (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 11/24) (pow.f64 v 4)) (/.f64 (fma.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)) (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/24)) (pow.f64 v 6)))))) (neg.f64 (pow.f64 v 3)))
(.f64 (pow.f64 v 3) (-.f64 (.f64 (.f64 1/4 (sqrt.f64 2)) (sqrt.f64 -3)) (.f64 1/4 (+.f64 (/.f64 (fma.f64 -1/2 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) (.f64 (sqrt.f64 2) (sqrt.f64 -3))) (pow.f64 v 2)) (+.f64 (/.f64 (.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 11/24) (pow.f64 v 4)) (/.f64 (fma.f64 -1/16 (/.f64 (sqrt.f64 2) (pow.f64 (sqrt.f64 -3) 5)) (*.f64 (/.f64 (sqrt.f64 2) (sqrt.f64 -3)) 1/24)) (pow.f64 v 6)))))))
(+.f64 0 (*.f64 -3 (pow.f64 v 2)))
(*.f64 -3 (pow.f64 v 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))) (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))))
(-.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (*.f64 -3 (pow.f64 v 2)) 1)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (cbrt.f64 (*.f64 -3 (pow.f64 v 2))) 3)
(*.f64 -3 (pow.f64 v 2))
(pow.f64 (*.f64 (pow.f64 v 6) -27) 1/3)
(cbrt.f64 (*.f64 (pow.f64 v 6) -27))
(pow.f64 (*.f64 v (sqrt.f64 -3)) 2)
(*.f64 -3 (pow.f64 v 2))
(sqrt.f64 (*.f64 (pow.f64 v 4) 9))
(log.f64 (pow.f64 (exp.f64 -3) (pow.f64 v 2)))
(*.f64 -3 (pow.f64 v 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -3 (pow.f64 v 2)))))
(*.f64 -3 (pow.f64 v 2))
(cbrt.f64 (*.f64 (pow.f64 v 6) -27))
(expm1.f64 (log1p.f64 (*.f64 -3 (pow.f64 v 2))))
(*.f64 -3 (pow.f64 v 2))
(expm1.f64 (.f64 (log1p.f64 (.f64 -3 (pow.f64 v 2))) 1))
(*.f64 -3 (pow.f64 v 2))
(log1p.f64 (expm1.f64 (*.f64 -3 (pow.f64 v 2))))
(*.f64 -3 (pow.f64 v 2))
(exp.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)))
(*.f64 -3 (pow.f64 v 2))
(exp.f64 (*.f64 (fma.f64 2 (log.f64 v) (log.f64 -3)) 1))
(*.f64 -3 (pow.f64 v 2))
(fma.f64 1 (fma.f64 -3 (pow.f64 v 2) 1) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1 -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))) -1)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 2) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (fma.f64 (pow.f64 v 6) -27 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 v 4) 9 (*.f64 3 (pow.f64 v 2))))) -1)
(fma.f64 (fma.f64 (pow.f64 v 6) -27 1) (/.f64 1 (+.f64 1 (fma.f64 (pow.f64 v 4) 9 (*.f64 (pow.f64 v 2) 3)))) -1)
(+.f64 -1 (/.f64 (fma.f64 (pow.f64 v 6) -27 1) (+.f64 (*.f64 (pow.f64 v 4) 9) (fma.f64 (pow.f64 v 2) 3 1))))
(fma.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9)) (/.f64 1 (+.f64 1 (.f64 3 (pow.f64 v 2)))) -1)
(fma.f64 (-.f64 1 (.f64 (pow.f64 v 4) 9)) (/.f64 1 (+.f64 1 (.f64 (pow.f64 v 2) 3))) -1)
(fma.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)) (/.f64 1 (fma.f64 (pow.f64 v 2) 3 1)) -1)
(+.f64 -1 (/.f64 (-.f64 1 (*.f64 (pow.f64 v 4) 9)) (fma.f64 (pow.f64 v 2) 3 1)))
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) -1)
(*.f64 -3 (pow.f64 v 2))
(fma.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) -1)
(fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))) -1)
(+.f64 0 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(+.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(+.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1) (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))) 1)
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(/.f64 1 (/.f64 4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(/.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (/.f64 4 (sqrt.f64 2)))
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(/.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 4)
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(/.f64 (neg.f64 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) -4)
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(/.f64 (.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) (neg.f64 (sqrt.f64 2))) -4)
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 6))) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))
(.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8)) (/.f64 (-.f64 1 (pow.f64 v 6)) (+.f64 1 (fma.f64 v v (pow.f64 v 4)))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (/.f64 (-.f64 1 (pow.f64 v 6)) (+.f64 1 (fma.f64 v v (pow.f64 v 4))))))
(.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 6))) (/.f64 (sqrt.f64 1/8) (+.f64 (pow.f64 v 4) (fma.f64 v v 1))))
(/.f64 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (-.f64 1 (pow.f64 v 4))) (fma.f64 v v 1))
(.f64 (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8)) (/.f64 (-.f64 1 (pow.f64 v 4)) (fma.f64 v v 1)))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (-.f64 1 (pow.f64 v 4)) (fma.f64 v v 1))))
(/.f64 (.f64 (neg.f64 (sqrt.f64 2)) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) -4)
(.f64 1/4 (.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (-.f64 1 (pow.f64 v 2)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 1/4 (sqrt.f64 2))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1/4 (/.f64 (pow.f64 v 2) 4))))
(.f64 (sqrt.f64 2) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (/.f64 (fma.f64 v v -1) -4)))
(pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 1)
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 3)
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(pow.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3) 1/3)
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 2)
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(sqrt.f64 (.f64 1/8 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))
(sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))
(fabs.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2)))))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 1/8)) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(cbrt.f64 (pow.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2)))) 3))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(cbrt.f64 (.f64 (.f64 (sqrt.f64 1/8) 1/8) (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3)))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(cbrt.f64 (.f64 (pow.f64 (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))) 3) (.f64 (sqrt.f64 1/8) 1/8)))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(expm1.f64 (log1p.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(log1p.f64 (expm1.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(exp.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))) 1))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 2) (.f64 1/4 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (sqrt.f64 2) (.f64 1/4 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (neg.f64 (pow.f64 v 2)))))
(-.f64 (.f64 (.f64 1/4 (sqrt.f64 2)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (pow.f64 v 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 (.f64 1/4 (sqrt.f64 2)) (.f64 (pow.f64 v 2) (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 1 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (cbrt.f64 1/8) (.f64 (cbrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (cbrt.f64 1/8) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (sqrt.f64 1/8))) (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (neg.f64 (pow.f64 v 2)))))
(-.f64 (.f64 (cbrt.f64 1/8) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (cbrt.f64 (sqrt.f64 1/8)))) (.f64 (pow.f64 v 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (-.f64 (.f64 (cbrt.f64 1/8) (cbrt.f64 (sqrt.f64 1/8))) (.f64 (pow.f64 v 2) (sqrt.f64 1/8))))
(fma.f64 (sqrt.f64 (sqrt.f64 1/8)) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) 1 (.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3)))) (neg.f64 (pow.f64 v 2))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3)))))) (cbrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (sqrt.f64 (sqrt.f64 1/8)) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))
(fma.f64 (.f64 (sqrt.f64 1/8) (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1))) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (*.f64 v (sqrt.f64 -3))))))
(fma.f64 (.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (sqrt.f64 1/8)) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (neg.f64 (pow.f64 v 2)))))
(-.f64 (.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (.f64 (sqrt.f64 1/8) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))))) (.f64 (pow.f64 v 2) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (sqrt.f64 1/8))))
(.f64 (sqrt.f64 1/8) (-.f64 (.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (pow.f64 v 2))))
(.f64 (sqrt.f64 1/8) (fma.f64 (cbrt.f64 (fma.f64 -3 (pow.f64 v 2) 1)) (cbrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (neg.f64 (pow.f64 v 2)))))
(fma.f64 (.f64 (sqrt.f64 1/8) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))))) (sqrt.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3)))) (.f64 (neg.f64 (pow.f64 v 2)) (.f64 (sqrt.f64 1/8) (hypot.f64 1 (.f64 v (sqrt.f64 -3))))))
(.f64 (sqrt.f64 1/8) (.f64 (hypot.f64 1 (*.f64 v (sqrt.f64 -3))) (-.f64 1 (pow.f64 v 2))))
(.f64 (hypot.f64 1 (.f64 v (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/8) (-.f64 1 (pow.f64 v 2))))

eval88.0ms (1.9%)

Compiler: Compiled 4139 to 3675 computations (11.2% saved)

prune21.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	144	2	146
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	144	3	147

Accuracy

100.0%

Counts

147 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

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

▶

99.5%

(*.f64 1/4 (sqrt.f64 2))

▶

100.0%

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

Compiler

Compiled 43 to 36 computations (16.3% saved)

localize161.0ms (3.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))

Compiler

Compiled 78 to 68 computations (12.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 101.0ms

Operation ival-pow, time spent: 41.0ms, 41.0% of total-time

Operation ival-mult, time spent: 18.0ms, 18.0% of total-time

Operation composed, time spent: 15.0ms, 15.0% of total-time

Operation ival-sub, time spent: 8.0ms, 8.0% of total-time

Operation ival-add, time spent: 8.0ms, 8.0% of total-time

Operation ival-sqrt, time spent: 6.0ms, 6.0% of total-time

Operation const, time spent: 5.0ms, 5.0% of total-time

series2.0ms (0.1%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))>

Outputs
#<alt 1/8>
#<alt (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2)))>
#<alt (+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 7/8 (pow.f64 v 2)) 5/8)))>
#<alt (+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (+.f64 7/8 (*.f64 -3/8 (pow.f64 v 2)))) 5/8)))>
#<alt (*.f64 -3/8 (pow.f64 v 6))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))>
#<alt (*.f64 -3/8 (pow.f64 v 6))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))>
#<alt (.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))>

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	v	@	0	(* (+ (* -3 (pow v 2)) 1) (* (pow (- 1 (pow v 2)) 2) 1/8))
1.0ms	v	@	inf	(* (+ (* -3 (pow v 2)) 1) (* (pow (- 1 (pow v 2)) 2) 1/8))
0.0ms	v	@	-inf	(* (+ (* -3 (pow v 2)) 1) (* (pow (- 1 (pow v 2)) 2) 1/8))

rewrite83.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1360×	`unpow-prod-down`
782×	`log-prod`
698×	`log1p-expm1-u`
698×	`expm1-log1p-u`
306×	`prod-diff`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	51
1	173	51
2	2005	51

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs
(+.f64 0 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))
(+.f64 (.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2))) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(+.f64 (.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1)
(pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 3)
(pow.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)) 1/3)
(pow.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 2) (pow.f64 (-.f64 1 (pow.f64 v 2)) 4)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(exp.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2)))) 2))
(fma.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2)) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(fma.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))

simplify106.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1588×	`fma-define`
1188×	`exp-prod`
736×	`*-commutative`
618×	`+-commutative`
592×	`exp-sum`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	114	1847
1	230	1789
2	570	1705
3	1924	1681
4	4566	1679
5	7861	1679

Stop Event

1×	node limit

Counts

35 → 59

Calls

Call 1

Inputs
1/8
(+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 7/8 (pow.f64 v 2)) 5/8)))
(+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (+.f64 7/8 (*.f64 -3/8 (pow.f64 v 2)))) 5/8)))
(*.f64 -3/8 (pow.f64 v 6))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 -3/8 (pow.f64 v 6))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(+.f64 0 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))
(+.f64 (.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2))) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(+.f64 (.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1)
(pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 3)
(pow.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)) 1/3)
(pow.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 2) (pow.f64 (-.f64 1 (pow.f64 v 2)) 4)))
(log.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(exp.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2)))) 2))
(fma.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2)) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(fma.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))

Outputs
1/8
(+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2)))
(fma.f64 -5/8 (pow.f64 v 2) 1/8)
(+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 7/8 (pow.f64 v 2)) 5/8)))
(+.f64 1/8 (*.f64 (pow.f64 v 2) (fma.f64 7/8 (pow.f64 v 2) -5/8)))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) 7/8 -5/8) 1/8)
(+.f64 1/8 (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (+.f64 7/8 (*.f64 -3/8 (pow.f64 v 2)))) 5/8)))
(+.f64 1/8 (.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (+.f64 7/8 (.f64 (pow.f64 v 2) -3/8)) -5/8)))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) -3/8 7/8) -5/8) 1/8)
(fma.f64 (fma.f64 (pow.f64 v 2) -3/8 7/8) (pow.f64 v 4) (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(*.f64 -3/8 (pow.f64 v 6))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) -3/8))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (/.f64 7/8 (pow.f64 v 2))))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (-.f64 (+.f64 (/.f64 7/8 (pow.f64 v 2)) -3/8) (/.f64 5/8 (pow.f64 v 4))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 -3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (+.f64 (/.f64 7/8 (pow.f64 v 2)) (/.f64 -5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (+.f64 -3/8 (/.f64 -5/8 (pow.f64 v 4)))))
(.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4))))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 -3/8 (/.f64 5/8 (pow.f64 v 4))))))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (+.f64 (/.f64 -5/8 (pow.f64 v 4)) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (/.f64 1/8 (pow.f64 v 6))))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (+.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 -3/8 (/.f64 -5/8 (pow.f64 v 4))))))
(*.f64 -3/8 (pow.f64 v 6))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) 3/8))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) -3/8))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (/.f64 7/8 (pow.f64 v 2))))
(.f64 (pow.f64 v 6) (-.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (-.f64 (+.f64 (/.f64 7/8 (pow.f64 v 2)) -3/8) (/.f64 5/8 (pow.f64 v 4))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 -3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (+.f64 (/.f64 7/8 (pow.f64 v 2)) (/.f64 -5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (+.f64 -3/8 (/.f64 -5/8 (pow.f64 v 4)))))
(.f64 (pow.f64 v 6) (-.f64 (+.f64 (.f64 7/8 (/.f64 1 (pow.f64 v 2))) (*.f64 1/8 (/.f64 1 (pow.f64 v 6)))) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4)))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 3/8 (/.f64 5/8 (pow.f64 v 4))))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (-.f64 -3/8 (/.f64 5/8 (pow.f64 v 4))))))
(*.f64 (pow.f64 v 6) (+.f64 -3/8 (+.f64 (/.f64 -5/8 (pow.f64 v 4)) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (/.f64 1/8 (pow.f64 v 6))))))
(*.f64 (pow.f64 v 6) (+.f64 (/.f64 7/8 (pow.f64 v 2)) (+.f64 (/.f64 1/8 (pow.f64 v 6)) (+.f64 -3/8 (/.f64 -5/8 (pow.f64 v 4))))))
(+.f64 0 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(+.f64 (.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2))) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(+.f64 (.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) (fma.f64 (pow.f64 v 2) -3/8 1/8))) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) (fma.f64 (pow.f64 v 2) -3/8 1/8))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) (fma.f64 (pow.f64 v 2) -3/8 1/8)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 (pow.f64 v 2) -3 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) (fma.f64 (pow.f64 v 2) -3/8 1/8)))))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1)
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)) 1)
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(pow.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 3)
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(pow.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)) 1/3)
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(pow.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2))) 2)
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(sqrt.f64 (.f64 (pow.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 2) (pow.f64 (-.f64 1 (pow.f64 v 2)) 4)))
(sqrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 4) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 2)))
(sqrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 4) (pow.f64 (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8) 2)))
(sqrt.f64 (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 4) (pow.f64 (fma.f64 (pow.f64 v 2) -3/8 1/8) 2)))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 1 (pow.f64 v 2)) (sqrt.f64 (fma.f64 (pow.f64 v 2) -3/8 1/8))) 4))
(log.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 -3 (pow.f64 v 2) 1)) 1/8) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(cbrt.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 6) (pow.f64 (.f64 1/8 (fma.f64 -3 (pow.f64 v 2) 1)) 3)))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(exp.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))) 1))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 3))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(exp.f64 (.f64 (.f64 3 (log.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))) 1/3))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 (*.f64 (fma.f64 -3 (pow.f64 v 2) 1) 1/8) 1/2) (-.f64 1 (pow.f64 v 2)))) 2))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(fma.f64 (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (.f64 -3 (pow.f64 v 2)) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))
(fma.f64 (.f64 -3 (pow.f64 v 2)) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8) (*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8))
(.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (pow.f64 (-.f64 1 (pow.f64 v 2)) 2)) 1/8)
(.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (+.f64 (.f64 (pow.f64 v 2) -3/8) 1/8))
(*.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) (fma.f64 (pow.f64 v 2) -3/8 1/8))

eval42.0ms (0.9%)

Compiler: Compiled 1232 to 1082 computations (12.2% saved)

prune8.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	0	0	0
Picked	2	0	2
Done	0	1	1
Total	59	3	62

Accuracy

100.0%

Counts

62 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
▶	99.7%	(sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))
▶	99.5%	(sqrt.f64 1/8)

Compiler

Compiled 32 to 26 computations (18.8% saved)

localize74.0ms (1.6%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))
✓	99.8%	(*.f64 -5/8 (pow.f64 v 2))

Compiler

Compiled 32 to 27 computations (15.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 35.0ms

Operation ival-sqrt, time spent: 13.0ms, 38.0% of total-time

Operation ival-pow, time spent: 10.0ms, 29.0% of total-time

Operation ival-mult, time spent: 6.0ms, 17.0% of total-time

Operation ival-add, time spent: 3.0ms, 9.0% of total-time

Operation const, time spent: 2.0ms, 6.0% of total-time

series4.0ms (0.1%)

Counts

2 → 12

Calls

Call 1

Inputs
#<alt (*.f64 -5/8 (pow.f64 v 2))>
#<alt (sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))>

Outputs
#<alt (sqrt.f64 1/8)>
#<alt (+.f64 (sqrt.f64 1/8) (*.f64 -5/16 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8))))>
#<alt (+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 -25/512 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 3))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))>
#<alt (+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (-.f64 (.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5))) (.f64 25/512 (/.f64 1 (pow.f64 (sqrt.f64 1/8) 3))))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))>
#<alt (*.f64 v (sqrt.f64 -5/8))>
#<alt (.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 v 2) (sqrt.f64 -5/8))))))>
#<alt (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))>
#<alt (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))>
#<alt (.f64 -1 (.f64 v (sqrt.f64 -5/8)))>
#<alt (.f64 -1 (.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))))))>
#<alt (.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))>
#<alt (.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))))>

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	v	@	inf	(sqrt (+ 1/8 (* -5/8 (pow v 2))))
1.0ms	v	@	0	(sqrt (+ 1/8 (* -5/8 (pow v 2))))
0.0ms	v	@	-inf	(sqrt (+ 1/8 (* -5/8 (pow v 2))))
0.0ms	v	@	inf	(* -5/8 (pow v 2))
0.0ms	v	@	0	(* -5/8 (pow v 2))

rewrite76.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

974×	`unpow-prod-down`
516×	`log-prod`
507×	`log1p-expm1-u`
507×	`expm1-log1p-u`
452×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	124	38
2	1455	38

Stop Event

1×	node limit

Counts

2 → 65

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(-.f64 (+.f64 1 (*.f64 -5/8 (pow.f64 v 2))) 1)
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(log.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(+.f64 0 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(-.f64 (+.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1)
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (log.f64 (E.f64)))
(*.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 2)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/3))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2))
(.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (pow.f64 (/.f64 1 (+.f64 1/8 (*.f64 5/8 (pow.f64 v 2)))) 1/2))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (pow.f64 (/.f64 1 (fma.f64 (.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)) 1/2))
(*.f64 (pow.f64 1 1/3) (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 2) 3) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(/.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (sqrt.f64 (+.f64 1/8 (.f64 5/8 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (*.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)))
(pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/2)
(pow.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) 3)
(pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 3/2)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 2) 1/4)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3) 1/6)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) 2)
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(pow.f64 (exp.f64 1/2) (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(fabs.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 2))

simplify118.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

890×	`associate-*r/`
756×	`associate-*l/`
730×	`associate-+r+`
684×	`associate-+l+`
530×	`fma-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	250	3046
1	471	3010
2	1055	2844
3	3179	2797
4	7810	2797

Stop Event

1×	node limit

Counts

77 → 149

Calls

Call 1

Inputs
(sqrt.f64 1/8)
(+.f64 (sqrt.f64 1/8) (*.f64 -5/16 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8))))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 -25/512 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 3))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (-.f64 (.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5))) (.f64 25/512 (/.f64 1 (pow.f64 (sqrt.f64 1/8) 3))))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))
(*.f64 v (sqrt.f64 -5/8))
(.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 v 2) (sqrt.f64 -5/8))))))
(.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))
(.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(.f64 -1 (.f64 v (sqrt.f64 -5/8)))
(.f64 -1 (.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))))))
(.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))))
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(-.f64 (+.f64 1 (*.f64 -5/8 (pow.f64 v 2))) 1)
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(log.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(+.f64 0 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(-.f64 (+.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1)
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (log.f64 (E.f64)))
(*.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 2)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/3))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2))
(.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (pow.f64 (/.f64 1 (+.f64 1/8 (*.f64 5/8 (pow.f64 v 2)))) 1/2))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (pow.f64 (/.f64 1 (fma.f64 (.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)) 1/2))
(*.f64 (pow.f64 1 1/3) (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 2) 3) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(/.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (sqrt.f64 (+.f64 1/8 (.f64 5/8 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (*.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)))
(pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/2)
(pow.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) 3)
(pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 3/2)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2) 1/3)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 2) 1/4)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3) 1/6)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) 2)
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(pow.f64 (exp.f64 1/2) (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(fabs.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1/3))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 2))

Outputs
(sqrt.f64 1/8)
(+.f64 (sqrt.f64 1/8) (*.f64 -5/16 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8))))
(fma.f64 -5/16 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8)) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 -25/512 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 3))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 -25/512 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 3))) (/.f64 5/16 (sqrt.f64 1/8)))))
(fma.f64 (pow.f64 v 2) (+.f64 (*.f64 -25/64 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8))) (/.f64 -5/16 (sqrt.f64 1/8))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (fma.f64 -25/64 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8)) (/.f64 -5/16 (sqrt.f64 1/8))) (sqrt.f64 1/8))
(+.f64 (sqrt.f64 1/8) (.f64 (/.f64 (pow.f64 v 2) (sqrt.f64 1/8)) (+.f64 -5/16 (.f64 (pow.f64 v 2) -25/64))))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (-.f64 (.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5))) (.f64 25/512 (/.f64 1 (pow.f64 (sqrt.f64 1/8) 3))))) (*.f64 5/16 (/.f64 1 (sqrt.f64 1/8))))))
(+.f64 (sqrt.f64 1/8) (.f64 (pow.f64 v 2) (-.f64 (.f64 (pow.f64 v 2) (-.f64 (*.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5))) (/.f64 25/512 (pow.f64 (sqrt.f64 1/8) 3)))) (/.f64 5/16 (sqrt.f64 1/8)))))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (fma.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5)) (neg.f64 (/.f64 25/64 (sqrt.f64 1/8)))) (/.f64 -5/16 (sqrt.f64 1/8))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (fma.f64 -125/8192 (/.f64 (pow.f64 v 2) (pow.f64 (sqrt.f64 1/8) 5)) (/.f64 -25/64 (sqrt.f64 1/8))) (/.f64 -5/16 (sqrt.f64 1/8))) (sqrt.f64 1/8))
(fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (fma.f64 (pow.f64 v 2) (/.f64 -125/8192 (pow.f64 (sqrt.f64 1/8) 5)) (/.f64 -25/64 (sqrt.f64 1/8))) (/.f64 -5/16 (sqrt.f64 1/8))) (sqrt.f64 1/8))
(*.f64 v (sqrt.f64 -5/8))
(.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 v 2) (sqrt.f64 -5/8))))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))))
(*.f64 v (+.f64 (sqrt.f64 -5/8) (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2))))
(fma.f64 v (sqrt.f64 -5/8) (/.f64 1/16 (*.f64 v (sqrt.f64 -5/8))))
(.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (-.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 1/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 -1/512 (.f64 -5/8 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4)))))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2)) (/.f64 1/320 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4))))))
(+.f64 (/.f64 1/16 (.f64 v (sqrt.f64 -5/8))) (.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/320 (*.f64 (sqrt.f64 -5/8) (pow.f64 v 4)))) v))
(.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (-.f64 (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))) (/.f64 1/512 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(.f64 v (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 -1/512 (.f64 -5/8 (*.f64 (sqrt.f64 -5/8) (pow.f64 v 4))))))))
(*.f64 v (+.f64 (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2)) (+.f64 (/.f64 (/.f64 1/8192 (pow.f64 (sqrt.f64 -5/8) 5)) (pow.f64 v 6)) (-.f64 (sqrt.f64 -5/8) (/.f64 (/.f64 -1/320 (sqrt.f64 -5/8)) (pow.f64 v 4))))))
(+.f64 (fma.f64 v (sqrt.f64 -5/8) (/.f64 1/16 (.f64 v (sqrt.f64 -5/8)))) (.f64 v (+.f64 (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5))) (/.f64 1/320 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4))))))
(.f64 -1 (.f64 v (sqrt.f64 -5/8)))
(neg.f64 (*.f64 v (sqrt.f64 -5/8)))
(*.f64 v (neg.f64 (sqrt.f64 -5/8)))
(.f64 -1 (.f64 v (+.f64 (sqrt.f64 -5/8) (.f64 1/16 (/.f64 1 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))))))
(neg.f64 (.f64 v (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))))))
(.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (neg.f64 v))
(*.f64 v (neg.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2)))))
(-.f64 (/.f64 (/.f64 -1/16 v) (sqrt.f64 -5/8)) (*.f64 v (sqrt.f64 -5/8)))
(.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8)))) (/.f64 1/512 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3))))))
(neg.f64 (.f64 v (+.f64 (sqrt.f64 -5/8) (-.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 1/512 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))))
(.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 -1/512 (.f64 -5/8 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4)))))) (neg.f64 v))
(.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2)) (/.f64 1/320 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4))))) (neg.f64 v))
(+.f64 (/.f64 (/.f64 -1/16 v) (sqrt.f64 -5/8)) (.f64 v (-.f64 (/.f64 -1/320 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4))) (sqrt.f64 -5/8))))
(.f64 -1 (.f64 v (-.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (.f64 1/8192 (/.f64 1 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))) (.f64 1/512 (/.f64 1 (*.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))))
(neg.f64 (.f64 v (+.f64 (sqrt.f64 -5/8) (-.f64 (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))) (/.f64 1/512 (.f64 (pow.f64 v 4) (pow.f64 (sqrt.f64 -5/8) 3)))))))
(.f64 v (neg.f64 (+.f64 (sqrt.f64 -5/8) (+.f64 (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (/.f64 -1/512 (.f64 -5/8 (*.f64 (sqrt.f64 -5/8) (pow.f64 v 4)))))))))
(*.f64 v (neg.f64 (+.f64 (/.f64 (/.f64 1/16 (sqrt.f64 -5/8)) (pow.f64 v 2)) (+.f64 (/.f64 (/.f64 1/8192 (pow.f64 (sqrt.f64 -5/8) 5)) (pow.f64 v 6)) (-.f64 (sqrt.f64 -5/8) (/.f64 (/.f64 -1/320 (sqrt.f64 -5/8)) (pow.f64 v 4)))))))
(.f64 v (-.f64 (/.f64 -1/320 (.f64 (sqrt.f64 -5/8) (pow.f64 v 4))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 v 2) (sqrt.f64 -5/8))) (+.f64 (sqrt.f64 -5/8) (/.f64 1/8192 (.f64 (pow.f64 v 6) (pow.f64 (sqrt.f64 -5/8) 5)))))))
(+.f64 0 (*.f64 -5/8 (pow.f64 v 2)))
(*.f64 (pow.f64 v 2) -5/8)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))))
(-.f64 (+.f64 1 (*.f64 -5/8 (pow.f64 v 2))) 1)
(*.f64 (pow.f64 v 2) -5/8)
(pow.f64 (*.f64 -5/8 (pow.f64 v 2)) 1)
(*.f64 (pow.f64 v 2) -5/8)
(pow.f64 (cbrt.f64 (*.f64 -5/8 (pow.f64 v 2))) 3)
(*.f64 (pow.f64 v 2) -5/8)
(pow.f64 (*.f64 (pow.f64 v 4) 25/64) 1/2)
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(pow.f64 (*.f64 (pow.f64 v 6) -125/512) 1/3)
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(pow.f64 (*.f64 v (sqrt.f64 -5/8)) 2)
(*.f64 (pow.f64 v 2) -5/8)
(pow.f64 (E.f64) (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(pow.f64 (E.f64) (log.f64 (*.f64 (pow.f64 v 2) -5/8)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))) 2)) (cbrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 (pow.f64 v 2) -5/8))) 2)) (cbrt.f64 (log.f64 (.f64 (pow.f64 v 2) -5/8))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2))))) (sqrt.f64 (log.f64 (.f64 -5/8 (pow.f64 v 2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 (pow.f64 v 2) -5/8)))) (sqrt.f64 (log.f64 (.f64 (pow.f64 v 2) -5/8))))
(sqrt.f64 (*.f64 (pow.f64 v 4) 25/64))
(log.f64 (pow.f64 (exp.f64 -5/8) (pow.f64 v 2)))
(*.f64 (pow.f64 v 2) -5/8)
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(expm1.f64 (log1p.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 (pow.f64 v 2) -5/8)
(log1p.f64 (expm1.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 (pow.f64 v 2) -5/8)
(exp.f64 (log.f64 (*.f64 -5/8 (pow.f64 v 2))))
(*.f64 (pow.f64 v 2) -5/8)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/8 (pow.f64 v 2)))) 3))
(*.f64 (pow.f64 v 2) -5/8)
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 v 6) -125/512)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 v 6) -125/512))
(exp.f64 (.f64 (log.f64 (.f64 v (sqrt.f64 -5/8))) 2))
(*.f64 (pow.f64 v 2) -5/8)
(+.f64 0 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))))))
(-.f64 (+.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (log.f64 (E.f64)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 1 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(*.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 2)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 2)) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)) 2)) (cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 5/6)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)) (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/4)) (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 3/4)))
(.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (pow.f64 (/.f64 1 (+.f64 1/8 (*.f64 5/8 (pow.f64 v 2)))) 1/2))
(.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (sqrt.f64 (/.f64 1 (+.f64 1/8 (*.f64 (pow.f64 v 2) 5/8)))))
(.f64 (sqrt.f64 (+.f64 1/64 (.f64 (pow.f64 v 4) -25/64))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 v 2) 5/8 1/8))))
(*.f64 (sqrt.f64 (fma.f64 (pow.f64 v 4) -25/64 1/64)) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 v 2) 5/8 1/8))))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (pow.f64 (/.f64 1 (fma.f64 (.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)) 1/2))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (pow.f64 v 2) -5/8) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64))))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (pow.f64 v 2) -5/8) (fma.f64 (pow.f64 v 2) -5/8 -1/8) 1/64))))
(.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 v 2) (+.f64 (.f64 (pow.f64 v 2) 25/64) 5/64) 1/64))))
(*.f64 (pow.f64 1 1/3) (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/4)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/4)) (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 3/4)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6) 1/2) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/6)) (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 5/6)) (sqrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 2) 3) (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 4)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6)) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)) 4)))
(*.f64 (pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/4) 1/3) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 5/4)) (cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4)))
(*.f64 (cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 5/4)) (cbrt.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/4)))
(/.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (sqrt.f64 (+.f64 1/8 (.f64 5/8 (pow.f64 v 2)))))
(/.f64 (sqrt.f64 (-.f64 1/64 (.f64 (pow.f64 v 4) 25/64))) (sqrt.f64 (+.f64 1/8 (.f64 (pow.f64 v 2) 5/8))))
(/.f64 (sqrt.f64 (+.f64 1/64 (*.f64 (pow.f64 v 4) -25/64))) (sqrt.f64 (fma.f64 (pow.f64 v 2) 5/8 1/8)))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 4) -25/64 1/64)) (sqrt.f64 (fma.f64 (pow.f64 v 2) 5/8 1/8)))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (*.f64 -5/8 (pow.f64 v 2)) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (*.f64 (pow.f64 v 2) -5/8) (fma.f64 -5/8 (pow.f64 v 2) -1/8) 1/64)))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (*.f64 (pow.f64 v 2) -5/8) (fma.f64 (pow.f64 v 2) -5/8 -1/8) 1/64)))
(/.f64 (sqrt.f64 (fma.f64 (pow.f64 v 6) -125/512 1/512)) (sqrt.f64 (fma.f64 (pow.f64 v 2) (+.f64 (*.f64 (pow.f64 v 2) 25/64) 5/64) 1/64)))
(pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/2)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 1)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) 3)
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(pow.f64 (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)) 3/2)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2) 1/3)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 2) 1/4)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3) 1/6)
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 3) 1/6)
(pow.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/4) 2)
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))))
(pow.f64 (exp.f64 1/2) (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))) (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))))) (sqrt.f64 (log.f64 (sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))))
(fabs.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(log.f64 (exp.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(cbrt.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 3/2))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(exp.f64 (log.f64 (sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6)) 3))
(*.f64 (pow.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8) 1/6) (cbrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8)))
(*.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) (cbrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8)))
(pow.f64 (pow.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8) 1/6) 3)
(exp.f64 (.f64 (.f64 3/2 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 1/3))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))
(exp.f64 (.f64 (.f64 1/4 (log.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))) 2))
(sqrt.f64 (fma.f64 -5/8 (pow.f64 v 2) 1/8))
(sqrt.f64 (fma.f64 (pow.f64 v 2) -5/8 1/8))

eval64.0ms (1.4%)

Compiler: Compiled 2549 to 2261 computations (11.3% saved)

prune21.0ms (0.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	149	3	152

Accuracy

100.0%

Counts

152 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (/.f64 (sqrt.f64 2) 4) (.f64 (sqrt.f64 (+.f64 1 (.f64 -3 (.f64 v v)))) (-.f64 1 (*.f64 v v))))
✓	99.7%	(sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))
✓	99.5%	(sqrt.f64 1/8)

Compiler

Compiled 102 to 82 computations (19.6% saved)

regimes15.0ms (0.3%)

Counts

6 → 1

Calls

Call 1

Inputs
(sqrt.f64 1/8)
(*.f64 1/4 (sqrt.f64 2))
(sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))
(.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))))
(sqrt.f64 (.f64 (fma.f64 -3 (pow.f64 v 2) 1) (.f64 (pow.f64 (-.f64 1 (pow.f64 v 2)) 2) 1/8)))

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

Calls

3 calls:

9.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
3.0ms	v
2.0ms	(*.f64 v v)

Results

Accuracy	Segments	Branch
100.0%	1	`v`
100.0%	1	`(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))`
100.0%	1	`(*.f64 v v)`

Compiler

Compiled 26 to 18 computations (30.8% saved)

regimes3.0ms (0.1%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
99.7%	1	`v`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(sqrt.f64 1/8)
(*.f64 1/4 (sqrt.f64 2))

Outputs
(sqrt.f64 1/8)

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
99.5%	1	`v`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
14×	`+-commutative`
12×	`sub-neg`
8×	`neg-sub0`
8×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	100
1	46	100
2	62	100
3	70	100
4	74	100

Stop Event

1×	done
1×	saturated

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)))
(sqrt.f64 (+.f64 1/8 (*.f64 -5/8 (pow.f64 v 2))))
(sqrt.f64 1/8)

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

Compiler

Compiled 32 to 26 computations (18.8% saved)

soundness743.0ms (16.5%)

Rules

3462×	`fma-define`
1228×	`log-prod`
1196×	`fma-neg`
1150×	`distribute-lft-in`
1126×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	79
1	251	67
2	3289	67
0	267	4718
1	669	4654
2	2296	4490
3	5967	4484
0	28	280
1	81	276
2	199	260
3	637	256
4	1910	244
5	4131	244
6	5472	244
7	5803	244
8	5857	244
9	5917	244
10	6013	244
11	7603	244

Stop Event

1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 592 to 408 computations (31.1% saved)

end0.0ms (0%)

preprocess48.0ms (1.1%)

Remove: (abs v)
Compiler: Compiled 260 to 198 computations (23.8% saved)

analyze7.0ms (0.2%)

sample1.5s (34.3%)

preprocess519.0ms (11.6%)

eval2.0ms (0%)

prune1.0ms (0%)

localize112.0ms (2.5%)

series6.0ms (0.1%)

rewrite236.0ms (5.3%)

simplify386.0ms (8.6%)

eval88.0ms (1.9%)

prune21.0ms (0.5%)

localize161.0ms (3.6%)

series2.0ms (0.1%)

rewrite83.0ms (1.8%)

simplify106.0ms (2.4%)

eval42.0ms (0.9%)

prune8.0ms (0.2%)

localize74.0ms (1.6%)

series4.0ms (0.1%)

rewrite76.0ms (1.7%)

simplify118.0ms (2.6%)

eval64.0ms (1.4%)

prune21.0ms (0.5%)

regimes15.0ms (0.3%)

regimes3.0ms (0.1%)

regimes3.0ms (0.1%)

simplify5.0ms (0.1%)

soundness743.0ms (16.5%)

end0.0ms (0%)

preprocess48.0ms (1.1%)

Profiling