Metrics for Diagrams.Tangent:$catParam from diagrams-lib-1.3.0.3, E

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample1.1s (36.6%)

Memory

-18.6MiB live, 1 281.7MiB allocated; 343ms collecting garbage

Samples

693.0ms	7 627×	0	valid
72.0ms	292×	2	valid
27.0ms	337×	1	valid

Precisions

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

ival-mult: 396.0ms (77.2% of total)

ival-sub: 77.0ms (15% of total)

adjust: 24.0ms (4.7% of total)

exact: 8.0ms (1.6% of total)

ival-true: 6.0ms (1.2% of total)

ival-assert: 3.0ms (0.6% of total)

Bogosity

explain99.0ms (3.2%)

Memory

20.3MiB live, 210.3MiB allocated; 28ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))`
-	-	`(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))`
-	-	`#s(literal 2 binary64)`
-	-	`#s(literal 3 binary64)`
-	-	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`
-	-	`(*.f64 x #s(literal 3 binary64))`
-	-	`x`

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

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

29.0ms	404×	0	valid
6.0ms	48×	2	valid
6.0ms	60×	1	valid

Compiler

Compiled 67 to 25 computations (62.7% saved)

Precisions

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

ival-mult: 11.0ms (60.2% of total)

adjust: 3.0ms (16.4% of total)

ival-sub: 3.0ms (16.4% of total)

exact: 1.0ms (5.5% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

preprocess241.0ms (7.7%)

Memory

-4.2MiB live, 235.2MiB allocated; 42ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	27	18
2	83	15
3	218	14
4	776	14
5	2426	14
6	7237	14
0	7	9
0	11	9
1	21	9
2	50	8
3	134	7
4	474	7
5	1954	7
6	6021	7
0	8022	6

Stop Event

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

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Outputs
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

series4.0ms (0.1%)

Memory

13.6MiB live, 13.6MiB allocated; 0ms collecting garbage

Counts

7 → 16

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))
#s(literal 3 binary64)
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)
(*.f64 x #s(literal 3 binary64))
x

Outputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
2
(+ 2 (* -3 x))
(* 3 x)
x
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* -3 x)
(* x (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)
1.0ms	x	@	-inf	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)
1.0ms	x	@	0	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)

Time

Variable

Point

Expression

1.0ms

inf

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)

1.0ms

-inf

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)

1.0ms

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) 2 (* x 3) x)

simplify247.0ms (7.9%)

Memory

-8.0MiB live, 273.9MiB allocated; 80ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	64
1	81	64
2	206	64
3	589	64
4	1867	64
5	6553	64
0	8302	56

Stop Event

1×	iter limit
1×	node limit

Counts

16 → 15

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
2
(+ 2 (* -3 x))
(* 3 x)
x
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* -3 x)
(* x (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))

Outputs
(* 6 x)
(*.f64 #s(literal 6 binary64) x)
(* x (+ 6 (* -9 x)))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
6
#s(literal 6 binary64)
(+ 6 (* -9 x))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
2
#s(literal 2 binary64)
(+ 2 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* 3 x)
(*.f64 #s(literal 3 binary64) x)
x
(* -9 (pow x 2))
(.f64 (.f64 x x) #s(literal -9 binary64))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(* -9 x)
(*.f64 #s(literal -9 binary64) x)
(* x (- (* 6 (/ 1 x)) 9))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* -3 x)
(*.f64 #s(literal -3 binary64) x)
(* x (- (* 2 (/ 1 x)) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))

rewrite49.0ms (1.6%)

Memory

0.2MiB live, 90.8MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	27
0	11	27
1	35	27
0	223	27

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

7 → 35

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))
#s(literal 3 binary64)
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)
(*.f64 x #s(literal 3 binary64))
x

Outputs
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x)
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))))
(.f64 x (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(+.f64 #s(literal 6 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64)))
(+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))
#s(literal 3 binary64)
(/.f64 (+.f64 #s(literal 8 binary64) (pow.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(/.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))) (/.f64 (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))) (/.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64)))
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))
(+.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64))))
(+.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal -3 binary64) x))
(+.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
#s(literal 2 binary64)
(*.f64 x #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) x)
x

eval5.0ms (0.2%)

Memory: 13.8MiB live, 13.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 609 to 149 computations (75.5% saved)

prune9.0ms (0.3%)

Memory

-40.9MiB live, 13.0MiB allocated; 10ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	40	7	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	7	48

Accuracy

99.8%

Counts

48 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.6%	(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
	99.6%	(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))) x)
▶	50.5%	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
▶	99.7%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
▶	50.5%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
▶	50.4%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
▶	50.5%	#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 172 to 132 computations (23.3% saved)

series9.0ms (0.3%)

Memory

17.8MiB live, 17.8MiB allocated; 0ms collecting garbage

Counts

20 → 16

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
#s(approx (* 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal -9 binary64)
x
#s(literal 6 binary64)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
#s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x))
(*.f64 #s(literal -9 binary64) x)
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
#s(literal 3 binary64)
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
#s(literal -3 binary64)

Outputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
x
(* -9 (pow x 2))
(pow x 2)
(* -9 x)
2
(+ 2 (* -3 x))
(* -3 x)
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)
2.0ms	x	@	-inf	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)
2.0ms	x	@	inf	((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)

Time

Variable

Point

Expression

2.0ms

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)

2.0ms

-inf

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)

2.0ms

inf

((* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (+ (* -9 x) 6) -9 x 6 (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* (* 3 (- 2 (* x 3))) x) (* (* x x) -9) (* x x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) (* -9 x) (* (* 3 (- 2 (* x 3))) x) (* 3 (- 2 (* x 3))) 3 (- 2 (* x 3)) (* -3 x) -3)

simplify193.0ms (6.2%)

Memory

14.8MiB live, 241.5MiB allocated; 93ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	64
1	80	64
2	204	64
3	587	64
4	1870	64
5	6553	64
0	8302	56

Stop Event

1×	iter limit
1×	node limit

Counts

16 → 15

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
x
(* -9 (pow x 2))
(pow x 2)
(* -9 x)
2
(+ 2 (* -3 x))
(* -3 x)
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))

Outputs
(* 6 x)
(*.f64 #s(literal 6 binary64) x)
(* x (+ 6 (* -9 x)))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
6
#s(literal 6 binary64)
(+ 6 (* -9 x))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
x
(* -9 (pow x 2))
(.f64 (.f64 x x) #s(literal -9 binary64))
(pow x 2)
(*.f64 x x)
(* -9 x)
(*.f64 #s(literal -9 binary64) x)
2
#s(literal 2 binary64)
(+ 2 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -3 x)
(*.f64 #s(literal -3 binary64) x)
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(* x (- (* 6 (/ 1 x)) 9))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* x (- (* 2 (/ 1 x)) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))

rewrite56.0ms (1.8%)

Memory

14.4MiB live, 108.0MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	141
0	35	141
1	90	141
0	439	141

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

20 → 65

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
#s(approx (* 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal -9 binary64)
x
#s(literal 6 binary64)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
#s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x))
(*.f64 #s(literal -9 binary64) x)
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
#s(literal 3 binary64)
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
#s(literal -3 binary64)

Outputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
(.f64 x #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
#s(approx (* 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
(/.f64 (-.f64 #s(literal 36 binary64) (.f64 #s(literal 81 binary64) (.f64 x x))) (-.f64 #s(literal 6 binary64) (*.f64 #s(literal -9 binary64) x)))
(/.f64 (neg.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64))) (neg.f64 (-.f64 (.f64 #s(literal -9 binary64) x) #s(literal 6 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -729 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 216 binary64))) (neg.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) (-.f64 #s(literal 36 binary64) (.f64 x #s(literal -54 binary64))))))
(/.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) (-.f64 (.f64 #s(literal -9 binary64) x) #s(literal 6 binary64)))
(/.f64 (fma.f64 #s(literal -729 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 216 binary64)) (+.f64 #s(literal 36 binary64) (-.f64 (.f64 #s(literal 81 binary64) (.f64 x x)) (*.f64 x #s(literal -54 binary64)))))
(/.f64 (fma.f64 #s(literal -729 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 216 binary64)) (fma.f64 #s(literal 81 binary64) (.f64 x x) (-.f64 #s(literal 36 binary64) (.f64 x #s(literal -54 binary64)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64))
(-.f64 (/.f64 (.f64 #s(literal 81 binary64) (.f64 x x)) (-.f64 (.f64 #s(literal -9 binary64) x) #s(literal 6 binary64))) (/.f64 #s(literal 36 binary64) (-.f64 (.f64 #s(literal -9 binary64) x) #s(literal 6 binary64))))
(-.f64 #s(literal 6 binary64) (*.f64 #s(literal 9 binary64) x))
(-.f64 #s(literal 6 binary64) (*.f64 (neg.f64 x) #s(literal -9 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal -9 binary64) x) #s(literal 3 binary64)) (fma.f64 #s(literal 81 binary64) (.f64 x x) (-.f64 #s(literal 36 binary64) (.f64 x #s(literal -54 binary64))))) (/.f64 #s(literal 216 binary64) (fma.f64 #s(literal 81 binary64) (.f64 x x) (-.f64 #s(literal 36 binary64) (*.f64 x #s(literal -54 binary64))))))
(+.f64 (*.f64 #s(literal -9 binary64) x) #s(literal 6 binary64))
(+.f64 #s(literal 6 binary64) (*.f64 #s(literal -9 binary64) x))
#s(literal -9 binary64)
x
#s(literal 6 binary64)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
(.f64 x #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)))
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 (.f64 #s(literal -9 binary64) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 #s(literal -9 binary64) (fabs.f64 x)) (fabs.f64 x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal -9 binary64)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal -9 binary64)))
(.f64 (.f64 #s(literal -9 binary64) x) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 #s(literal -9 binary64) (.f64 x x))
(.f64 x (.f64 #s(literal -9 binary64) x))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (pow.f64 x #s(literal 1 binary64)) x)
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(neg.f64 (*.f64 x (neg.f64 x)))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(.f64 x #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)))
#s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x))
(*.f64 #s(literal -9 binary64) x)
(*.f64 x #s(literal -9 binary64))
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64)) x)
(.f64 #s(approx (- 2 ( x 3)) (.f64 #s(literal -3 binary64) x)) (.f64 x #s(literal 3 binary64)))
(.f64 (.f64 x #s(literal 3 binary64)) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
(.f64 x (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x))
(.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
#s(literal 3 binary64)
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
(*.f64 x #s(literal -3 binary64))
#s(literal -3 binary64)

eval23.0ms (0.7%)

Memory: -5.6MiB live, 46.3MiB allocated; 17ms collecting garbage
Compiler: Compiled 1 334 to 214 computations (84% saved)

prune7.0ms (0.2%)

Memory

-22.7MiB live, 25.7MiB allocated; 1ms collecting garbage

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	2	2
Picked	0	5	5
Done	0	0	0
Total	83	8	91

Accuracy

99.8%

Counts

91 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
▶	50.5%	(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
▶	99.6%	(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))) x)
✓	50.5%	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
✓	99.7%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
✓	50.5%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	50.4%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
✓	50.5%	#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 99 to 77 computations (22.2% saved)

series3.0ms (0.1%)

Memory

14.4MiB live, 14.4MiB allocated; 0ms collecting garbage

Counts

16 → 24

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))) x)
(.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
#s(literal 3 binary64)
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) x)
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
#s(literal -3 binary64)
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)

Outputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
2
(+ 2 (* -3 x))
1
(+ 1 (* -3 x))
(* 3 x)
x
(* 2 x)
(* x (+ 2 (* -3 x)))
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (/ 1 x) 3))
(* -3 (pow x 2))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (/ 1 x))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)
1.0ms	x	@	inf	((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)
1.0ms	x	@	0	((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)

Time

Variable

Point

Expression

1.0ms

-inf

((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)

1.0ms

inf

((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)

1.0ms

((* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) 3 (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (* x 3) x (* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (- 2 (* x 3)) (* -3 x) -3 (* (- 2 (* x 3)) (* x 3)) (- 2 (* x 3)) 2)

simplify182.0ms (5.9%)

Memory

-7.9MiB live, 177.1MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	102
1	108	102
2	258	102
3	721	102
4	2723	102
5	7411	102
0	8007	89

Stop Event

1×	iter limit
1×	node limit

Counts

24 → 23

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
2
(+ 2 (* -3 x))
1
(+ 1 (* -3 x))
(* 3 x)
x
(* 2 x)
(* x (+ 2 (* -3 x)))
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (/ 1 x) 3))
(* -3 (pow x 2))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (/ 1 x))))

Outputs
(* 6 x)
(*.f64 #s(literal 6 binary64) x)
(* x (+ 6 (* -9 x)))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
6
#s(literal 6 binary64)
(+ 6 (* -9 x))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
2
#s(literal 2 binary64)
(+ 2 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
1
#s(literal 1 binary64)
(+ 1 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(* 3 x)
(*.f64 #s(literal 3 binary64) x)
x
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (+ 2 (* -3 x)))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(* -3 x)
(*.f64 #s(literal -3 binary64) x)
(* -9 (pow x 2))
(.f64 (.f64 x x) #s(literal -9 binary64))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(* -9 x)
(*.f64 #s(literal -9 binary64) x)
(* x (- (* 6 (/ 1 x)) 9))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* x (- (* 2 (/ 1 x)) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* x (- (/ 1 x) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(* -3 (pow x 2))
(.f64 (.f64 x x) #s(literal -3 binary64))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -1 (* x (- 3 (/ 1 x))))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))

rewrite52.0ms (1.7%)

Memory

35.4MiB live, 78.6MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	90
0	28	84
1	91	84
0	643	84

Stop Event

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

Counts

16 → 263

Calls

Call 1

Inputs
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))) x)
(.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
#s(literal 3 binary64)
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))
#s(literal 1 binary64)
(-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))
(*.f64 x #s(literal 3 binary64))
x
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) x)
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
#s(literal -3 binary64)
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)

Outputs
(.f64 (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64))
(.f64 (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x)
(.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))))
(.f64 x (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x)))
(.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x))
(/.f64 (.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (*.f64 x #s(literal 3 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))) (.f64 x #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 (.f64 #s(literal 2 binary64) x) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) x) #s(literal 3 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 x #s(literal 3 binary64)) (*.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 x #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) x (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64)))
(+.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))) (.f64 x #s(literal 3 binary64)))
(+.f64 (.f64 #s(literal 6 binary64) x) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(+.f64 (.f64 #s(literal 6 binary64) x) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))))
(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))) #s(literal 3 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)))) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 9 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))) (-.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(/.f64 (+.f64 #s(literal 27 binary64) (pow.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 9 binary64) (-.f64 (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))) (.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))))
(fma.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64) #s(literal 3 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))
(-.f64 #s(literal 3 binary64) (.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))) #s(literal 3 binary64)))
(-.f64 #s(literal 3 binary64) (.f64 #s(literal -3 binary64) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(+.f64 #s(literal 6 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64)))
(+.f64 #s(literal 6 binary64) (.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))
#s(literal 3 binary64)
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)))
(/.f64 (+.f64 #s(literal 8 binary64) (pow.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)))) (neg.f64 (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))) (/.f64 (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64)))) (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64)))))
(-.f64 (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))) (/.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64)))
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
(-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal -3 binary64) x))
(+.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))
#s(literal 1 binary64)
(.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64))) (/.f64 (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64)))
(-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))
(+.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x))
(.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))
(.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))
(*.f64 x #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x))
(*.f64 #s(literal 3 binary64) x)
x
(.f64 (.f64 (.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64)) x)
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 (.f64 #s(approx (- 2 (* x 3)) (.f64 #s(literal -3 binary64) x)) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 #s(approx (- 2 ( x 3)) (.f64 #s(literal -3 binary64) x)) (.f64 x #s(literal 3 binary64)))
(.f64 (.f64 x #s(literal 3 binary64)) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
(.f64 x (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64)))
(.f64 #s(literal 1 binary64) (.f64 #s(approx (- 2 (* x 3)) (.f64 #s(literal -3 binary64) x)) (.f64 x #s(literal 3 binary64))))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) x)))
(.f64 #s(literal 3 binary64) (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x))
(.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) x)
(.f64 x #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
(*.f64 x #s(literal -3 binary64))
#s(literal -3 binary64)
(.f64 (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64))
(.f64 (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(.f64 (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x)
(.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))))
(.f64 x (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) x)))
(.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) x))
(/.f64 (.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (*.f64 x #s(literal 3 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))) (.f64 x #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (.f64 x #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 (.f64 #s(literal 2 binary64) x) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 2 binary64) x) #s(literal 3 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 x #s(literal 3 binary64)) (*.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 x #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 x #s(literal 3 binary64) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) x (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64)))
(+.f64 (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))) (.f64 x #s(literal 3 binary64)))
(+.f64 (.f64 #s(literal 6 binary64) x) (.f64 (.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) #s(literal 3 binary64))))
(+.f64 (.f64 #s(literal 6 binary64) x) (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (.f64 x #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (.f64 x #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 x (.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))))
(+.f64 (.f64 x #s(literal 3 binary64)) (.f64 (.f64 x #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64)))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)))
(/.f64 (+.f64 #s(literal 8 binary64) (pow.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 4 binary64) (-.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 x) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)))) (neg.f64 (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64))) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64))))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))) (/.f64 (pow.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 3 binary64)))) (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 2 binary64)) (+.f64 #s(literal 0 binary64) (*.f64 x #s(literal 3 binary64)))))
(-.f64 (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))) (/.f64 (pow.f64 (.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) (fma.f64 (*.f64 x #s(literal 3 binary64)) (fma.f64 x #s(literal 3 binary64) #s(literal 2 binary64)) #s(literal 4 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64)))
(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
(-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 (*.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) (fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) (-.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) #s(literal 2 binary64))
(+.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal -3 binary64) x))
(+.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))
#s(literal 2 binary64)

eval51.0ms (1.6%)

Memory: -3.3MiB live, 41.8MiB allocated; 5ms collecting garbage
Compiler: Compiled 3 034 to 537 computations (82.3% saved)

prune37.0ms (1.2%)

Memory

-37.2MiB live, 18.5MiB allocated; 9ms collecting garbage

Pruning

11 alts after pruning (4 fresh and 7 done)

	Pruned	Kept	Total
New	206	4	210
Fresh	0	0	0
Picked	1	2	3
Done	0	5	5
Total	207	11	218

Accuracy

99.9%

Counts

218 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
▶	99.7%	(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
✓	99.6%	(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
✓	50.5%	(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
▶	99.7%	(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))) x)
✓	50.5%	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
▶	99.6%	(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
✓	99.7%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
✓	50.5%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	50.4%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
✓	50.5%	#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 143 to 111 computations (22.4% saved)

series8.0ms (0.3%)

Memory

16.8MiB live, 16.8MiB allocated; 0ms collecting garbage

Counts

24 → 31

Calls

Call 1

Inputs
(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
#s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
#s(literal -3 binary64)
x
#s(literal 2 binary64)
#s(literal 3 binary64)
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))) x)
(.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))
#s(literal 1 binary64)
#s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
#s(literal 6 binary64)
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64)))
(*.f64 (neg.f64 x) #s(literal 3 binary64))
(neg.f64 x)
(*.f64 x #s(literal 3 binary64))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x)
(.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))

Outputs
(* 6 x)
(* x (+ 6 (* -9 x)))
(* 2 x)
(* x (+ 2 (* -3 x)))
2
(+ 2 (* -3 x))
x
6
(+ 6 (* -9 x))
1
(+ 1 (* -3 x))
(* -9 (pow x 2))
(* -3 x)
(* -1 x)
(* 3 x)
(* x (+ 3 (* -9 x)))
3
(+ 3 (* -9 x))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -3 (pow x 2))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (/ 1 x) 3))
(* (pow x 2) (- (* 3 (/ 1 x)) 9))
(* x (- (* 3 (/ 1 x)) 9))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (/ 1 x))))
(* -1 (* x (- 9 (* 3 (/ 1 x)))))

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

-inf

((* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (* (+ (* -3 x) 2) x) (+ (* -3 x) 2) -3 x 2 3 (* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (+ (* -3 x) 1) (+ (* 6 x) (* (* (neg x) 3) (* x 3))) 6 (* (* (neg x) 3) (* x 3)) (* (neg x) 3) (neg x) (* x 3) (+ (* x 3) (* (* (- 1 (* x 3)) 3) x)) (* (* (- 1 (* x 3)) 3) x) (* (- 1 (* x 3)) 3) (- 1 (* x 3)))

2.0ms

inf

((* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (* (+ (* -3 x) 2) x) (+ (* -3 x) 2) -3 x 2 3 (* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (+ (* -3 x) 1) (+ (* 6 x) (* (* (neg x) 3) (* x 3))) 6 (* (* (neg x) 3) (* x 3)) (* (neg x) 3) (neg x) (* x 3) (+ (* x 3) (* (* (- 1 (* x 3)) 3) x)) (* (* (- 1 (* x 3)) 3) x) (* (- 1 (* x 3)) 3) (- 1 (* x 3)))

2.0ms

((* (* (- 2 (* x 3)) x) 3) (* (- 2 (* x 3)) x) (* (+ (* -3 x) 2) x) (+ (* -3 x) 2) -3 x 2 3 (* (* 3 (+ 1 (- 1 (* x 3)))) x) (* 3 (+ 1 (- 1 (* x 3)))) (+ 1 (- 1 (* x 3))) 1 (- 1 (* x 3)) (+ (* -3 x) 1) (+ (* 6 x) (* (* (neg x) 3) (* x 3))) 6 (* (* (neg x) 3) (* x 3)) (* (neg x) 3) (neg x) (* x 3) (+ (* x 3) (* (* (- 1 (* x 3)) 3) x)) (* (* (- 1 (* x 3)) 3) x) (* (- 1 (* x 3)) 3) (- 1 (* x 3)))

simplify118.0ms (3.8%)

Memory

19.5MiB live, 146.4MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	134
1	137	134
2	321	134
3	934	134
4	3410	134
0	8178	116

Stop Event

1×	iter limit
1×	node limit

Counts

31 → 30

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
(* 2 x)
(* x (+ 2 (* -3 x)))
2
(+ 2 (* -3 x))
x
6
(+ 6 (* -9 x))
1
(+ 1 (* -3 x))
(* -9 (pow x 2))
(* -3 x)
(* -1 x)
(* 3 x)
(* x (+ 3 (* -9 x)))
3
(+ 3 (* -9 x))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -3 (pow x 2))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (/ 1 x) 3))
(* (pow x 2) (- (* 3 (/ 1 x)) 9))
(* x (- (* 3 (/ 1 x)) 9))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 3 (/ 1 x))))
(* -1 (* x (- 9 (* 3 (/ 1 x)))))

Outputs
(* 6 x)
(*.f64 #s(literal 6 binary64) x)
(* x (+ 6 (* -9 x)))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 (* -3 x)))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
2
#s(literal 2 binary64)
(+ 2 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
x
6
#s(literal 6 binary64)
(+ 6 (* -9 x))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
1
#s(literal 1 binary64)
(+ 1 (* -3 x))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(* -9 (pow x 2))
(.f64 (.f64 x x) #s(literal -9 binary64))
(* -3 x)
(*.f64 #s(literal -3 binary64) x)
(* -1 x)
(neg.f64 x)
(* 3 x)
(*.f64 #s(literal 3 binary64) x)
(* x (+ 3 (* -9 x)))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 3 binary64)) x)
3
#s(literal 3 binary64)
(+ 3 (* -9 x))
(fma.f64 #s(literal -9 binary64) x #s(literal 3 binary64))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(* -3 (pow x 2))
(.f64 (.f64 x x) #s(literal -3 binary64))
(* (pow x 2) (- (* 2 (/ 1 x)) 3))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(* x (- (* 2 (/ 1 x)) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -9 x)
(*.f64 #s(literal -9 binary64) x)
(* x (- (* 6 (/ 1 x)) 9))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* x (- (/ 1 x) 3))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(* (pow x 2) (- (* 3 (/ 1 x)) 9))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 3 binary64)) x)
(* x (- (* 3 (/ 1 x)) 9))
(fma.f64 #s(literal -9 binary64) x #s(literal 3 binary64))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(* -1 (* x (- 3 (/ 1 x))))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(* -1 (* x (- 9 (* 3 (/ 1 x)))))
(fma.f64 #s(literal -9 binary64) x #s(literal 3 binary64))

rewrite97.0ms (3.1%)

Memory

9.6MiB live, 114.9MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	163
0	47	162
1	165	145
0	1322	143

Stop Event

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

Counts

24 → 321

Calls

Call 1

Inputs
(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
#s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
#s(literal -3 binary64)
x
#s(literal 2 binary64)
#s(literal 3 binary64)
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))) x)
(.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))
#s(literal 1 binary64)
#s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
#s(literal 6 binary64)
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64)))
(*.f64 (neg.f64 x) #s(literal 3 binary64))
(neg.f64 x)
(*.f64 x #s(literal 3 binary64))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x)
(.f64 (-.f64 #s(literal 1 binary64) (.f64 x #s(literal 3 binary64))) #s(literal 3 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64)))

Outputs
(.f64 (.f64 #s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (.f64 #s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64)))
(.f64 (.f64 #s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) #s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x))))
(.f64 #s(literal 3 binary64) #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)))
#s(approx (* (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)
(*.f64 x (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) x) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64)) x) (-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))
(/.f64 (.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64)) x) (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (*.f64 x #s(literal -6 binary64)))))
(/.f64 (.f64 x (-.f64 #s(literal 4 binary64) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)))
(/.f64 (.f64 x (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)))) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (.f64 x (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64))) (-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))
(/.f64 (.f64 x (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64))) (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (*.f64 x #s(literal -6 binary64)))))
(fma.f64 (.f64 #s(literal -3 binary64) x) x (.f64 #s(literal 2 binary64) x))
(fma.f64 (.f64 #s(literal -3 binary64) x) x (.f64 x #s(literal 2 binary64)))
(fma.f64 (neg.f64 x) (.f64 #s(literal 3 binary64) x) (.f64 #s(literal 2 binary64) x))
(fma.f64 (neg.f64 x) (.f64 #s(literal 3 binary64) x) (.f64 x #s(literal 2 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) x) (.f64 #s(literal 2 binary64) x))
(fma.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) x) (.f64 x #s(literal 2 binary64)))
(fma.f64 x (.f64 #s(literal -3 binary64) x) (.f64 #s(literal 2 binary64) x))
(fma.f64 x (.f64 #s(literal -3 binary64) x) (.f64 x #s(literal 2 binary64)))
(fma.f64 x #s(literal 2 binary64) (.f64 (.f64 #s(literal -3 binary64) x) x))
(fma.f64 #s(literal 2 binary64) x (.f64 (.f64 #s(literal -3 binary64) x) x))
(+.f64 (.f64 #s(literal 2 binary64) x) (.f64 (*.f64 #s(literal -3 binary64) x) x))
(+.f64 (.f64 x #s(literal 2 binary64)) (.f64 (*.f64 #s(literal -3 binary64) x) x))
(+.f64 (.f64 (.f64 #s(literal -3 binary64) x) x) (*.f64 #s(literal 2 binary64) x))
(+.f64 (.f64 (.f64 #s(literal -3 binary64) x) x) (*.f64 x #s(literal 2 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64))) (neg.f64 (-.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64))) (neg.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (.f64 x #s(literal -6 binary64))))))
(/.f64 (-.f64 #s(literal 4 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64)) (-.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 8 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64)))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64)) (+.f64 #s(literal 4 binary64) (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (.f64 x #s(literal -6 binary64)))))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 8 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (.f64 x #s(literal -6 binary64)))))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64) #s(literal 2 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) (*.f64 x #s(literal 1 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal 3 binary64) (*.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 2 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 2 binary64))
(fma.f64 x #s(literal -3 binary64) #s(literal 2 binary64))
(-.f64 (/.f64 #s(literal 4 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64))) (/.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64))))
(-.f64 (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64))) (/.f64 (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 2 binary64)) #s(literal 4 binary64))))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (/.f64 #s(literal 4 binary64) (-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (.f64 x #s(literal -6 binary64))))) (/.f64 #s(literal 8 binary64) (fma.f64 (.f64 x x) #s(literal 9 binary64) (-.f64 #s(literal 4 binary64) (*.f64 x #s(literal -6 binary64))))))
(+.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))
(+.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(+.f64 #s(literal 2 binary64) (*.f64 #s(literal -3 binary64) x))
#s(literal -3 binary64)
x
#s(literal 2 binary64)
#s(literal 3 binary64)
(.f64 (.f64 (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) x) #s(literal 3 binary64))
(.f64 (.f64 #s(literal 3 binary64) x) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)))
(.f64 (fma.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64)) x)
(.f64 (-.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) (*.f64 #s(literal 3 binary64) x))
(.f64 #s(literal 1 binary64) (.f64 (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64)) x))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (.f64 (-.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) x)))
(.f64 #s(literal 3 binary64) (.f64 (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) x))
(.f64 x (fma.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64)))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64) (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 (.f64 #s(literal 3 binary64) x) #s(literal 1 binary64) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) #s(literal 1 binary64) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 (neg.f64 x) #s(literal -3 binary64) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 (neg.f64 x) #s(literal -3 binary64) (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) x) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) x) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal -3 binary64) (neg.f64 x) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal -3 binary64) (neg.f64 x) (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) (neg.f64 (neg.f64 x)) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (neg.f64 (neg.f64 x)) (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) x (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(fma.f64 x #s(literal 3 binary64) (.f64 x (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(+.f64 (.f64 #s(literal 3 binary64) x) (.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) x))
(+.f64 (.f64 #s(literal 3 binary64) x) (.f64 x (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(.f64 (.f64 (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (fma.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 (-.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)) #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (fma.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64))))
(.f64 #s(literal 3 binary64) (-.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64))) #s(literal 3 binary64)) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(/.f64 (.f64 (+.f64 (pow.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64)) (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(/.f64 (.f64 #s(literal 3 binary64) (+.f64 (pow.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 9 binary64) (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)))) (-.f64 #s(literal 3 binary64) (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))
(/.f64 (+.f64 #s(literal 27 binary64) (pow.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))) (+.f64 #s(literal 9 binary64) (-.f64 (.f64 (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))) (.f64 #s(literal 3 binary64) (.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))))))
(fma.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64) #s(literal 3 binary64))
(fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) #s(literal 3 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))
(-.f64 #s(literal 3 binary64) (.f64 (neg.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))) #s(literal 3 binary64)))
(-.f64 #s(literal 3 binary64) (.f64 #s(literal -3 binary64) #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(+.f64 (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) (.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))))
(/.f64 (+.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))))
(/.f64 (+.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))) (/.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))))
(-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64)) (fma.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (-.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))))
(+.f64 #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))
#s(literal 1 binary64)
(.f64 #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) #s(approx (- 1 ( x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))
#s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(/.f64 (neg.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) #s(literal -1 binary64))) (neg.f64 (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))
(/.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) #s(literal -1 binary64)) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (.f64 #s(literal -3 binary64) x))))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) (*.f64 x #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (*.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 1 binary64))
(fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))) (/.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) x))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))))
(+.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64))) (-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (.f64 #s(literal 6 binary64) x)))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 3 binary64)) (pow.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 #s(literal 36 binary64) (.f64 x x) (+.f64 (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 6 binary64) x) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 6 binary64) x (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (fma.f64 #s(literal 216 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (.f64 #s(literal 6 binary64) x)) (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64))) (fma.f64 #s(literal 6 binary64) x (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))))
(/.f64 (fma.f64 #s(literal 216 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 6 binary64) x) (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x))))))
(/.f64 (fma.f64 #s(literal 216 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (.f64 #s(literal 6 binary64) x)) (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64))))
(fma.f64 (.f64 (.f64 (.f64 #s(literal -3 binary64) x) x) #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 (.f64 #s(literal 3 binary64) x) (neg.f64 x)) #s(literal 3 binary64) (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 #s(literal 2 binary64) x) #s(literal 3 binary64) (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(fma.f64 (.f64 (.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)) x (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x) (.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 (.f64 #s(literal -3 binary64) x) x) #s(literal 3 binary64) (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 #s(literal -3 binary64) x) (.f64 #s(literal 3 binary64) x) (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 1 binary64) (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) (.f64 #s(literal -3 binary64) x) (*.f64 #s(literal 6 binary64) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) #s(literal 2 binary64) (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(fma.f64 (neg.f64 x) (.f64 #s(literal 9 binary64) x) (.f64 #s(literal 6 binary64) x))
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(fma.f64 #s(literal 3 binary64) (.f64 (.f64 #s(literal -3 binary64) x) x) (*.f64 #s(literal 6 binary64) x))
(fma.f64 x (.f64 #s(literal 3 binary64) (.f64 #s(literal -3 binary64) x)) (*.f64 #s(literal 6 binary64) x))
(fma.f64 x #s(literal 6 binary64) (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(fma.f64 #s(literal 2 binary64) (.f64 #s(literal 3 binary64) x) (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal 6 binary64) x (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 2 binary64)) (fma.f64 #s(literal 6 binary64) x (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))))
(-.f64 (.f64 #s(literal 6 binary64) x) (.f64 (neg.f64 (.f64 (.f64 #s(literal -3 binary64) x) x)) #s(literal 3 binary64)))
(-.f64 (.f64 #s(literal 6 binary64) x) (.f64 (neg.f64 (neg.f64 x)) (*.f64 #s(literal 9 binary64) x)))
(-.f64 (.f64 #s(literal 6 binary64) x) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))
(-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (*.f64 #s(literal -6 binary64) x))
(-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (*.f64 (neg.f64 x) #s(literal 6 binary64)))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (.f64 #s(literal 6 binary64) x)) (pow.f64 (.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)))) (/.f64 (pow.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (-.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (.f64 #s(literal 6 binary64) x)) (pow.f64 (*.f64 #s(literal 6 binary64) x) #s(literal 2 binary64)))))
(+.f64 (.f64 #s(literal 6 binary64) x) (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x)))
(+.f64 (.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x)) (*.f64 #s(literal 6 binary64) x))
#s(literal 6 binary64)
(.f64 (.f64 (.f64 (.f64 #s(literal -3 binary64) x) x) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) (neg.f64 x)) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)) x)
(.f64 (.f64 #s(literal 9 binary64) x) (neg.f64 x))
(.f64 (.f64 (*.f64 #s(literal -3 binary64) x) x) #s(literal 3 binary64))
(.f64 (.f64 #s(literal -3 binary64) x) (*.f64 #s(literal 3 binary64) x))
(.f64 (.f64 (*.f64 #s(literal 9 binary64) x) (neg.f64 x)) #s(literal 1 binary64))
(.f64 (.f64 #s(literal 3 binary64) x) (*.f64 #s(literal -3 binary64) x))
(.f64 (neg.f64 x) (.f64 #s(literal 9 binary64) x))
(.f64 #s(literal 3 binary64) (.f64 (*.f64 #s(literal -3 binary64) x) x))
(.f64 x (.f64 #s(literal 3 binary64) (*.f64 #s(literal -3 binary64) x)))
(neg.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))
(.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 #s(literal -3 binary64) x) #s(literal 1 binary64))
(*.f64 (neg.f64 x) #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -3 binary64) x))
(.f64 #s(literal -3 binary64) (.f64 x #s(literal 1 binary64)))
(*.f64 #s(literal -3 binary64) x)
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (neg.f64 x)))
(*.f64 #s(literal 3 binary64) (neg.f64 x))
(*.f64 x #s(literal -3 binary64))
(neg.f64 (*.f64 #s(literal 3 binary64) x))
(neg.f64 x)
(.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))
(*.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64))
(.f64 (.f64 #s(literal 3 binary64) x) #s(literal 1 binary64))
(*.f64 (neg.f64 x) #s(literal -3 binary64))
(.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) x))
(*.f64 #s(literal -3 binary64) (neg.f64 x))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x))
(*.f64 #s(literal 3 binary64) (neg.f64 (neg.f64 x)))
(*.f64 #s(literal 3 binary64) x)
(*.f64 x #s(literal 3 binary64))
(neg.f64 (*.f64 #s(literal -3 binary64) x))
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 #s(literal 3 binary64) x))
(.f64 x (-.f64 #s(literal 3 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))))
(*.f64 x (fma.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 3 binary64)))
(.f64 x (+.f64 #s(literal 3 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64)) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (.f64 #s(literal 3 binary64) x)))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64)) x) #s(literal 3 binary64))) (fma.f64 (.f64 x x) #s(literal 9 binary64) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 3 binary64) x) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64)) x)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64)))) (neg.f64 (.f64 x (-.f64 #s(literal 3 binary64) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 27 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) (.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (*.f64 #s(literal 3 binary64) x))))))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64))) (.f64 x (-.f64 #s(literal 3 binary64) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)))))
(/.f64 (fma.f64 #s(literal 27 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 3 binary64) x) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))))
(/.f64 (fma.f64 #s(literal 27 binary64) (pow.f64 x #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 3 binary64))) (fma.f64 (.f64 x x) #s(literal 9 binary64) (.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (*.f64 #s(literal 3 binary64) x)))))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 (.f64 x #s(literal 1 binary64)) #s(literal 3 binary64) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) x) #s(literal 3 binary64) (.f64 #s(literal 3 binary64) x))
(fma.f64 (.f64 x (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64) (.f64 #s(literal 3 binary64) x))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 (.f64 #s(literal 1 binary64) x) #s(literal 3 binary64) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64) (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 (neg.f64 (neg.f64 x)) #s(literal 3 binary64) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x (.f64 #s(literal 3 binary64) x))
(fma.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) (.f64 #s(literal 3 binary64) x) (.f64 #s(literal 3 binary64) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) (.f64 #s(literal 3 binary64) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) #s(literal 1 binary64) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 (.f64 #s(literal 3 binary64) x) #s(literal 1 binary64) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 (neg.f64 x) #s(literal -3 binary64) (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 (neg.f64 x) #s(literal -3 binary64) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) x) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) x) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 #s(literal -3 binary64) (neg.f64 x) (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 #s(literal -3 binary64) (neg.f64 x) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) x) (.f64 #s(literal 3 binary64) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) x) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) (neg.f64 (neg.f64 x)) (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 #s(literal 3 binary64) (neg.f64 (neg.f64 x)) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 #s(literal 3 binary64) x (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 #s(literal 3 binary64) x (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(fma.f64 x (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) (.f64 #s(literal 3 binary64) x))
(fma.f64 x #s(literal 3 binary64) (.f64 (neg.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (.f64 x (-.f64 #s(literal 3 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))) (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 2 binary64)) (.f64 x (-.f64 #s(literal 3 binary64) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))))
(-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (*.f64 #s(literal -3 binary64) x))
(-.f64 (.f64 #s(literal 3 binary64) x) (.f64 (neg.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) (*.f64 #s(literal 3 binary64) x)))
(-.f64 (.f64 #s(literal 3 binary64) x) (.f64 (neg.f64 x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))))
(-.f64 (.f64 #s(literal 3 binary64) x) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64)) x))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (.f64 #s(literal 3 binary64) x))))) (/.f64 (pow.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) #s(literal 3 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (*.f64 #s(literal 3 binary64) x))))))
(+.f64 (.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x) (*.f64 #s(literal 3 binary64) x))
(+.f64 (.f64 #s(literal 3 binary64) x) (.f64 (neg.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal -3 binary64))) x))
(+.f64 (.f64 #s(literal 3 binary64) x) (.f64 (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x))
(.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) x) #s(literal 3 binary64))
(.f64 (.f64 x (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))) #s(literal 3 binary64))
(.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) x)
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) (.f64 #s(literal 3 binary64) x))
(.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(.f64 #s(literal 3 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) x))
(.f64 x (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (*.f64 #s(literal 3 binary64) x)) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) (.f64 #s(literal 3 binary64) x)) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64))
(*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64))
(.f64 #s(literal 1 binary64) (.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)) #s(literal 3 binary64)))
(.f64 #s(literal 3 binary64) (.f64 #s(literal 1 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))
(*.f64 #s(literal 3 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) #s(literal 3 binary64)) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))
(/.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)))) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 3 binary64) (.f64 (.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)))
(+.f64 #s(literal 3 binary64) (.f64 #s(literal 3 binary64) (.f64 #s(literal -3 binary64) x)))
(/.f64 (neg.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) #s(literal -1 binary64))) (neg.f64 (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))))
(/.f64 (neg.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) (neg.f64 (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64))) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))
(/.f64 (fma.f64 (*.f64 x x) #s(literal 9 binary64) #s(literal -1 binary64)) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (.f64 #s(literal -3 binary64) x))))
(/.f64 (fma.f64 #s(literal -27 binary64) (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(fma.f64 (*.f64 (neg.f64 x) #s(literal 1 binary64)) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (neg.f64 x) #s(literal 3 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) (*.f64 x #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (*.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64))
(fma.f64 #s(literal 3 binary64) (neg.f64 x) #s(literal 1 binary64))
(fma.f64 x #s(literal -3 binary64) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal -1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))) (/.f64 (pow.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (.f64 #s(literal 3 binary64) x) #s(literal 3 binary64)) (fma.f64 (*.f64 #s(literal 3 binary64) x) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)) #s(literal 1 binary64))))
(-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 #s(literal 3 binary64) x))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal -3 binary64) x) #s(literal 3 binary64)) (fma.f64 (.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 x x) #s(literal 9 binary64) (fma.f64 #s(literal 3 binary64) x #s(literal 1 binary64)))))
(+.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -3 binary64) x))

eval46.0ms (1.5%)

Memory: -9.4MiB live, 130.8MiB allocated; 15ms collecting garbage
Compiler: Compiled 6 270 to 983 computations (84.3% saved)

prune12.0ms (0.4%)

Memory

6.5MiB live, 51.2MiB allocated; 4ms collecting garbage

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	340	3	343
Fresh	0	0	0
Picked	4	0	4
Done	1	6	7
Total	345	9	354

Accuracy

99.9%

Counts

354 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(fma.f64 #s(literal 6 binary64) x #s(approx (* (* (neg x) 3) (* x 3)) (.f64 (.f64 x x) #s(literal -9 binary64))))
	99.7%	(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 #s(literal 3 binary64) x))
✓	50.5%	(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
✓	50.5%	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
	92.0%	(.f64 #s(approx ( (- 2 (* x 3)) x) (/.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64)) x) (-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) #s(literal 3 binary64))
✓	99.7%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
✓	50.5%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	50.4%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
✓	50.5%	#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 340 to 174 computations (48.8% saved)

regimes12.0ms (0.4%)

Memory

-0.3MiB live, 45.1MiB allocated; 5ms collecting garbage

Counts

16 → 1

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 #s(literal 3 binary64) x))
(fma.f64 #s(literal 6 binary64) x #s(approx (* (* (neg x) 3) (* x 3)) (.f64 (.f64 x x) #s(literal -9 binary64))))
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(.f64 (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))) (*.f64 x #s(literal 3 binary64)))
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) #s(approx (- 1 (* x 3)) (fma.f64 #s(literal -3 binary64) x #s(literal 1 binary64))))) x)
(.f64 (.f64 #s(literal 3 binary64) (+.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))))) x)
(fma.f64 #s(literal 6 binary64) x (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 x #s(literal 3 binary64))))
(fma.f64 x #s(literal 3 binary64) (.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 x #s(literal 3 binary64))) #s(literal 3 binary64)) x))
(.f64 #s(approx ( (- 2 (* x 3)) x) (/.f64 (.f64 (fma.f64 (.f64 x x) #s(literal 9 binary64) #s(literal -4 binary64)) x) (-.f64 (*.f64 #s(literal -3 binary64) x) #s(literal 2 binary64)))) #s(literal 3 binary64))

Outputs
(fma.f64 #s(literal 6 binary64) x #s(approx (* (* (neg x) 3) (* x 3)) (.f64 (.f64 x x) #s(literal -9 binary64))))

Calls

2 calls:

7.0ms	x
4.0ms	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Results

Accuracy	Segments	Branch
99.8%	1	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`
99.8%	1	`x`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes9.0ms (0.3%)

Memory

-18.4MiB live, 25.2MiB allocated; 6ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 (.f64 #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) x) #s(literal 3 binary64))
(.f64 #s(approx ( (- 2 (* x 3)) x) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)) #s(literal 3 binary64))
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 #s(literal 3 binary64) x))

Outputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)

Calls

2 calls:

6.0ms	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
3.0ms	x

Results

Accuracy	Segments	Branch
99.7%	1	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`
99.7%	1	`x`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes3.0ms (0.1%)

Memory

17.3MiB live, 17.3MiB allocated; 0ms collecting garbage

Counts

3 → 2

Calls

Call 1

Inputs

(*.f64 #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

#s(approx (* (* 3 (- 2 (* x 3))) x) (*.f64 (*.f64 x x) #s(literal -9 binary64)))

(*.f64 #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)

Outputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

Calls

2 calls:

2.0ms	x
1.0ms	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Results

Accuracy	Segments	Branch
96.1%	2	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`
96.1%	3	`x`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes1.0ms (0%)

Memory

7.7MiB live, 7.7MiB allocated; 0ms collecting garbage

Counts

2 → 2

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Outputs
#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

Calls

1 calls:

1.0ms

(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Results

Accuracy	Segments	Branch
96.0%	2	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes2.0ms (0.1%)

Memory

12.9MiB live, 12.9MiB allocated; 0ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

Outputs
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

Calls

2 calls:

1.0ms	x
1.0ms	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)

Results

Accuracy	Segments	Branch
50.4%	1	`x`
50.4%	1	`(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)`

Compiler

Compiled 10 to 8 computations (20% saved)

bsearch0.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-8.725747118972562	-0.027070908818979087

Compiler

Compiled 12 to 11 computations (8.3% saved)

bsearch0.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-8.725747118972562	-0.027070908818979087

Compiler

Compiled 12 to 11 computations (8.3% saved)

simplify57.0ms (1.8%)

Memory

-8.5MiB live, 88.3MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	116
1	53	116
2	110	116
3	240	116
4	679	116
5	3490	116

Stop Event

1×	node limit

Calls

Call 1

Inputs
(fma.f64 #s(literal 6 binary64) x #s(approx (* (* (neg x) 3) (* x 3)) (.f64 (.f64 x x) #s(literal -9 binary64))))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
(if (<=.f64 (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) x) #s(literal -5 binary64)) (.f64 #s(approx (* 3 (- 2 (* x 3))) (.f64 #s(literal -9 binary64) x)) x) (.f64 #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) x))
(if (<=.f64 (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) x) #s(literal -5 binary64)) #s(approx ( (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64))) (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x))
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

Outputs
(fma.f64 #s(literal 6 binary64) x #s(approx (* (* (neg x) 3) (* x 3)) (.f64 (.f64 x x) #s(literal -9 binary64))))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) x)
(if (<=.f64 (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) x) #s(literal -5 binary64)) (.f64 #s(approx (* 3 (- 2 (* x 3))) (.f64 #s(literal -9 binary64) x)) x) (.f64 #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) x))
(if (<=.f64 (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) x) #s(literal -5 binary64)) #s(approx ( (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64))) (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x))
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)

derivations222.0ms (7.1%)

Memory

-33.0MiB live, 255.9MiB allocated; 53ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 116 to 35 computations (69.8% saved)

preprocess115.0ms (3.7%)

Memory: -20.1MiB live, 64.7MiB allocated; 69ms collecting garbage
Compiler: Compiled 268 to 98 computations (63.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (36.6%)

explain99.0ms (3.2%)

preprocess241.0ms (7.7%)

eval0.0ms (0%)

prune0.0ms (0%)

series4.0ms (0.1%)

simplify247.0ms (7.9%)

rewrite49.0ms (1.6%)

eval5.0ms (0.2%)

prune9.0ms (0.3%)

series9.0ms (0.3%)

simplify193.0ms (6.2%)

rewrite56.0ms (1.8%)

eval23.0ms (0.7%)

prune7.0ms (0.2%)

series3.0ms (0.1%)

simplify182.0ms (5.9%)

rewrite52.0ms (1.7%)

eval51.0ms (1.6%)

prune37.0ms (1.2%)

series8.0ms (0.3%)

simplify118.0ms (3.8%)

rewrite97.0ms (3.1%)

eval46.0ms (1.5%)

prune12.0ms (0.4%)

regimes12.0ms (0.4%)

regimes9.0ms (0.3%)

regimes3.0ms (0.1%)

regimes1.0ms (0%)

regimes2.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify57.0ms (1.8%)

derivations222.0ms (7.1%)

preprocess115.0ms (3.7%)

end0.0ms (0%)

Profiling