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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

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)

sample972.0ms (18.4%)

Memory

51.8MiB live, 1 226.0MiB allocated

Samples

487.0ms	7 648×	0	valid
170.0ms	322×	1	valid
35.0ms	286×	2	valid

Precisions

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

ival-mult: 233.0ms (70.4% of total)

ival-sub: 67.0ms (20.2% of total)

adjust: 13.0ms (3.9% of total)

exact: 8.0ms (2.4% of total)

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

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

Bogosity

explain89.0ms (1.7%)

Memory

-4.9MiB live, 152.6MiB allocated

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

24.0ms	424×	0	valid
6.0ms	46×	2	valid
4.0ms	42×	1	valid

Compiler

Compiled 94 to 32 computations (66% saved)

Precisions

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

ival-mult: 14.0ms (69.2% of total)

ival-sub: 4.0ms (19.8% of total)

adjust: 2.0ms (9.9% of total)

exact: 1.0ms (4.9% of total)

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

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

preprocess76.0ms (1.4%)

Memory

-19.0MiB live, 56.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	33	18
2	97	14
3	332	14
4	923	14
5	1333	14
6	1344	14
7	1348	14
8	1348	14
0	7	9
0	11	9
1	21	9
2	46	7
3	99	7
4	196	7
5	285	7
6	380	7
7	581	7
8	682	7
9	769	7
10	943	7
11	1020	7
12	1020	7
13	1020	7
0	1020	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

Outputs
(*.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.3MiB live, 0.3MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.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)

simplify30.0ms (0.6%)

Memory

30.2MiB live, 30.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x #s(literal 3 binary64))
cost-diff	0	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
cost-diff	128	(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
cost-diff	320	(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	27
0	11	27
1	21	27
2	46	23
3	99	23
4	196	23
5	285	23
6	380	23
7	581	23
8	682	23
9	769	23
10	943	23
11	1020	23
12	1020	23
13	1020	23
0	1020	20

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

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 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal 3 binary64)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 x #s(literal 3 binary64))
x

localize33.0ms (0.6%)

Memory

-23.0MiB live, 53.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x #s(literal 3 binary64))
accuracy	0.09375	(-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))
accuracy	0.12109375	(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
accuracy	0.1640625	(.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64))))

Samples

13.0ms	212×	0	valid
3.0ms	23×	2	valid
2.0ms	21×	1	valid

Compiler

Compiled 56 to 16 computations (71.4% saved)

Precisions

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

ival-mult: 6.0ms (68.8% of total)

ival-sub: 2.0ms (22.9% of total)

adjust: 1.0ms (11.5% of total)

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.1%)

Memory

10.8MiB live, 10.8MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

inf

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

1.0ms

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

1.0ms

-inf

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

simplify118.0ms (2.2%)

Memory

23.0MiB live, 94.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	216
1	82	216
2	169	216
3	406	216
4	986	216
5	1308	216
6	2537	216
7	5035	216
8	6878	216
9	7975	216
0	8001	189

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

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

rewrite325.0ms (6.1%)

Memory

-21.3MiB live, 279.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	24
0	11	24
1	35	24
2	210	20
3	1728	20
0	9546	17

Stop Event

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

Counts

4 → 850

Calls

Call 1

Inputs
(.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)))
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 x #s(literal 3 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval228.0ms (4.3%)

Memory: 9.7MiB live, 276.3MiB allocated
Compiler: Compiled 18 354 to 2 315 computations (87.4% saved)

prune22.0ms (0.4%)

Memory

3.4MiB live, 78.4MiB allocated

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	889	9	898
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	890	9	899

Accuracy

100.0%

Counts

899 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
▶	99.6%	(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
	99.5%	(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)))
	99.8%	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
	99.8%	(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 x #s(literal 3 binary64)))
▶	48.8%	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
▶	48.8%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
▶	54.1%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
	48.8%	#s(approx (* (* 3 (- 2 (* x 3))) x) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 184 to 150 computations (18.5% saved)

simplify92.0ms (1.7%)

Memory

2.9MiB live, 40.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score
cost-diff	0	(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
cost-diff	0	(/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
cost-diff	1088	(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
cost-diff	0	(*.f64 #s(literal -3 binary64) x)
cost-diff	0	#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
cost-diff	0	(.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
cost-diff	0	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
cost-diff	0	(*.f64 #s(literal -9 binary64) x)
cost-diff	0	#s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x))
cost-diff	0	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
cost-diff	0	#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
cost-diff	0	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
cost-diff	0	(*.f64 x x)
cost-diff	0	(.f64 #s(literal -9 binary64) (.f64 x x))
cost-diff	320	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	131
0	38	131
1	62	127
2	89	115
3	135	115
4	227	115
5	369	115
6	602	115
7	1022	115
8	1513	115
9	1789	115
10	2189	115
11	2475	115
12	2785	115
13	3018	115
14	3076	115
15	3096	115
16	3112	115
17	3118	115
18	3128	115
0	3128	112

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
x
#s(literal 6 binary64)
(.f64 #s(literal -9 binary64) (.f64 x x))
#s(literal -9 binary64)
(*.f64 x x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
#s(literal 6 binary64)
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)
#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)
x
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
x
(/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
#s(literal 1 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal -9 binary64)
#s(literal 6 binary64)

Outputs
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
x
#s(literal 6 binary64)
(.f64 (.f64 x x) #s(literal -9 binary64))
#s(literal -9 binary64)
(*.f64 x x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
#s(literal 6 binary64)
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)
#s(literal -9 binary64)
x
(.f64 #s(approx (- 2 ( x 3)) (.f64 #s(literal -3 binary64) x)) (.f64 #s(literal 3 binary64) x))
(.f64 #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)) #s(literal 3 binary64))
#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)
x
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
x
(/.f64 #s(literal 1/3 binary64) (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)))
#s(literal 1 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal -9 binary64)
#s(literal 6 binary64)

localize121.0ms (2.3%)

Memory

1.1MiB live, 131.4MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
accuracy	0.16015625	(/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
accuracy	0.21484375	(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
accuracy	0	(*.f64 #s(literal -3 binary64) x)
accuracy	0.12109375	(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
accuracy	0.1640625	(.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x)))
accuracy	33.4429766482545	#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
accuracy	0	(*.f64 #s(literal -9 binary64) x)
accuracy	0.12109375	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
accuracy	33.38068348055549	#s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x))
accuracy	0.12109375	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
accuracy	29.5737746604596	#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
accuracy	0	(*.f64 x x)
accuracy	0.015625	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
accuracy	0.1171875	(.f64 #s(literal -9 binary64) (.f64 x x))

Samples

68.0ms	187×	0	valid
14.0ms	32×	1	valid
11.0ms	37×	2	valid

Compiler

Compiled 244 to 48 computations (80.3% saved)

Precisions

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

ival-mult: 19.0ms (61.1% of total)

ival-div: 4.0ms (12.9% of total)

adjust: 3.0ms (9.6% of total)

ival-add: 3.0ms (9.6% of total)

ival-sub: 2.0ms (6.4% of total)

exact: 1.0ms (3.2% of total)

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

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

series23.0ms (0.4%)

Memory

-36.0MiB live, 44.6MiB allocated

Counts

15 → 180

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal -9 binary64) (.f64 x x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (* 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -9 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(literal 3 binary64) #s(approx (- 2 ( x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

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

Time

Variable

Point

Expression

5.0ms

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

2.0ms

-inf

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

2.0ms

inf

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

simplify119.0ms (2.3%)

Memory

40.6MiB live, 194.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	918
1	219	914
2	484	908
3	1026	908
4	2348	908
5	4249	908
6	6965	908
0	8086	812

Stop Event

1×	iter limit
1×	node limit

Counts

180 → 180

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(* -9 x)
(* -9 x)
(* -9 x)
(* -9 x)
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(+ 6 (* -9 x))
2
(+ 2 (* -3 x))
(+ 2 (* -3 x))
(+ 2 (* -3 x))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
1/6
(+ 1/6 (* 1/4 x))
(+ 1/6 (* x (+ 1/4 (* 3/8 x))))
(+ 1/6 (* x (+ 1/4 (* x (+ 3/8 (* 9/16 x))))))
6
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* -9 x)
(* -9 x)
(* -9 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* -3 x)
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(/ -1/9 x)
(* -1 (/ (+ 1/9 (* 2/27 (/ 1 x))) x))
(/ (- (* -1 (/ (+ 2/27 (* 4/81 (/ 1 x))) x)) 1/9) x)
(/ (- (* -1 (/ (+ 4/81 (* 8/243 (/ 1 x))) (pow x 2))) (+ 1/9 (* 2/27 (/ 1 x)))) x)
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -9 x)
(* -9 x)
(* -9 x)
(* -9 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -3 x)
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(/ -1/9 x)
(* -1 (/ (+ 1/9 (* 2/27 (/ 1 x))) x))
(* -1 (/ (+ 1/9 (+ (/ 4/81 (pow x 2)) (* 2/27 (/ 1 x)))) x))
(* -1 (/ (+ 1/9 (* -1 (/ (- (* -1 (/ (+ 4/81 (* 8/243 (/ 1 x))) x)) 2/27) x))) x))
(* -9 x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))

Outputs
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 6 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 6 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 6 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
#s(literal 2 binary64)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 1/6 binary64)
(fma.f64 #s(literal 1/4 binary64) x #s(literal 1/6 binary64))
(fma.f64 (fma.f64 #s(literal 3/8 binary64) x #s(literal 1/4 binary64)) x #s(literal 1/6 binary64))
(fma.f64 (fma.f64 (fma.f64 #s(literal 9/16 binary64) x #s(literal 3/8 binary64)) x #s(literal 1/4 binary64)) x #s(literal 1/6 binary64))
#s(literal 6 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal -3 binary64) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(/.f64 #s(literal -1/9 binary64) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 2/27 binary64) x)) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 (-.f64 (/.f64 #s(literal 4/81 binary64) x) #s(literal -2/27 binary64)) x)) x)
(/.f64 (-.f64 (/.f64 (-.f64 #s(literal -2/27 binary64) (/.f64 (-.f64 (/.f64 #s(literal 8/243 binary64) x) #s(literal -4/81 binary64)) x)) x) #s(literal 1/9 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(*.f64 #s(literal -9 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal -3 binary64) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(/.f64 #s(literal -1/9 binary64) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 2/27 binary64) x)) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 (-.f64 (/.f64 #s(literal 4/81 binary64) x) #s(literal -2/27 binary64)) x)) x)
(/.f64 (-.f64 (/.f64 (-.f64 #s(literal -2/27 binary64) (/.f64 (-.f64 (/.f64 #s(literal 8/243 binary64) x) #s(literal -4/81 binary64)) x)) x) #s(literal 1/9 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))

rewrite292.0ms (5.5%)

Memory

-45.8MiB live, 332.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	117
0	38	117
1	117	113
2	666	101
3	6601	101
0	8021	98

Stop Event

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

Counts

15 → 813

Calls

Call 1

Inputs
(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
(.f64 #s(literal -9 binary64) (.f64 x x))
(*.f64 x x)
(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
#s(approx (* 3 (- 2 (* x 3))) #s(literal 6 binary64))
(.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(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
(*.f64 #s(literal -3 binary64) x)
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
(/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval188.0ms (3.6%)

Memory: 5.4MiB live, 192.9MiB allocated
Compiler: Compiled 17 767 to 1 677 computations (90.6% saved)

prune23.0ms (0.4%)

Memory

36.0MiB live, 73.9MiB allocated

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	989	4	993
Fresh	3	1	4
Picked	2	3	5
Done	0	0	0
Total	994	8	1 002

Accuracy

100.0%

Counts

1 002 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
▶	91.3%	(/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
▶	53.9%	(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
▶	99.8%	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
▶	48.8%	(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
✓	48.8%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	54.1%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
▶	48.8%	#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 148 to 121 computations (18.2% saved)

simplify145.0ms (2.7%)

Memory

-4.4MiB live, 43.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x x)
cost-diff	0	(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
cost-diff	0	(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
cost-diff	0	(/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
cost-diff	0	(*.f64 #s(literal -3 binary64) x)
cost-diff	0	#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
cost-diff	0	(*.f64 #s(literal 3 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
cost-diff	0	#s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))
cost-diff	0	(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
cost-diff	0	(*.f64 x x)
cost-diff	0	(.f64 (.f64 x x) #s(literal -9 binary64))
cost-diff	0	#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))
cost-diff	0	(fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64))
cost-diff	0	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	130
0	46	127
1	77	125
2	119	125
3	177	125
4	237	125
5	304	125
6	338	125
7	448	125
8	658	125
9	730	125
10	783	125
11	836	125
12	895	125
13	992	125
14	1063	125
15	1474	125
16	2732	125
17	3741	125
18	3930	125
19	3950	125
20	3973	125
21	3980	125
22	4110	125
23	4158	125
24	4158	125
0	4158	123

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize101.0ms (1.9%)

Memory

5.5MiB live, 200.5MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x x)
accuracy	0.03515625	(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
accuracy	0.06640625	(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
accuracy	5.5097820407502995	(/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
accuracy	0	(*.f64 #s(literal 3 binary64) x)
accuracy	0	(*.f64 #s(literal -3 binary64) x)
accuracy	0.127285009768442	(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
accuracy	33.4429766482545	#s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))
accuracy	0.21484375	(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
accuracy	29.39716441488132	#s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))
accuracy	0	(*.f64 x x)
accuracy	0.1171875	(.f64 (.f64 x x) #s(literal -9 binary64))
accuracy	32.706516026988915	#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))
accuracy	0	(fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64))
accuracy	0.12109375	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)

Samples

41.0ms	171×	0	valid
22.0ms	41×	2	valid
15.0ms	40×	1	valid
2.0ms	4×	3	valid

Compiler

Compiled 251 to 67 computations (73.3% saved)

Precisions

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

ival-mult: 23.0ms (40.4% of total)

ival-div: 12.0ms (21.1% of total)

adjust: 10.0ms (17.5% of total)

ival-add: 6.0ms (10.5% of total)

const: 4.0ms (7% of total)

ival-sub: 2.0ms (3.5% of total)

exact: 1.0ms (1.8% of total)

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

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

series44.0ms (0.8%)

Memory

-14.8MiB live, 23.5MiB allocated

Counts

14 → 168

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 x x) #s(literal -9 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 x x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal 3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 #s(literal -3 binary64) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

3.0ms

((* (+ (* x -9) 6) x) (+ (* x -9) 6) (/ x (/ 1 (+ (* -9 x) 6))) (* (* x x) -9) (* x x) (/ x (/ 1 (+ (* -9 x) 6))) (/ 1 (+ (* -9 x) 6)) (* (* 3 x) (- 2 (* x 3))) (* 3 x) (- 2 (* x 3)) (* -3 x) (/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36))

2.0ms

-inf

((* (+ (* x -9) 6) x) (+ (* x -9) 6) (/ x (/ 1 (+ (* -9 x) 6))) (* (* x x) -9) (* x x) (/ x (/ 1 (+ (* -9 x) 6))) (/ 1 (+ (* -9 x) 6)) (* (* 3 x) (- 2 (* x 3))) (* 3 x) (- 2 (* x 3)) (* -3 x) (/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36))

2.0ms

inf

((* (+ (* x -9) 6) x) (+ (* x -9) 6) (/ x (/ 1 (+ (* -9 x) 6))) (* (* x x) -9) (* x x) (/ x (/ 1 (+ (* -9 x) 6))) (/ 1 (+ (* -9 x) 6)) (* (* 3 x) (- 2 (* x 3))) (* 3 x) (- 2 (* x 3)) (* -3 x) (/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36))

simplify106.0ms (2%)

Memory

-15.2MiB live, 74.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	100	930
1	263	926
2	606	920
3	1396	920
4	3310	920
5	6470	920
0	8260	833

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 168

Calls

Call 1

Inputs
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
6
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(+ 6 (* -9 x))
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
1/6
(+ 1/6 (* 1/4 x))
(+ 1/6 (* x (+ 1/4 (* 3/8 x))))
(+ 1/6 (* x (+ 1/4 (* x (+ 3/8 (* 9/16 x))))))
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* 3 x)
(* 3 x)
(* 3 x)
(* 3 x)
2
(+ 2 (* -3 x))
(+ 2 (* -3 x))
(+ 2 (* -3 x))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* 6 x)
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* x (+ 6 (* -9 x)))
(* -36 x)
(* x (- (* 81 (pow x 2)) 36))
(* x (- (* 81 (pow x 2)) 36))
(* x (- (* 81 (pow x 2)) 36))
-36
(- (* 81 (pow x 2)) 36)
(- (* 81 (pow x 2)) 36)
(- (* 81 (pow x 2)) 36)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* x (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(/ -1/9 x)
(* -1 (/ (+ 1/9 (* 2/27 (/ 1 x))) x))
(/ (- (* -1 (/ (+ 2/27 (* 4/81 (/ 1 x))) x)) 1/9) x)
(/ (- (* -1 (/ (+ 4/81 (* 8/243 (/ 1 x))) (pow x 2))) (+ 1/9 (* 2/27 (/ 1 x)))) x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* 3 x)
(* 3 x)
(* 3 x)
(* 3 x)
(* -3 x)
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* x (- (* 2 (/ 1 x)) 3))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* 81 (pow x 3))
(* (pow x 3) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 3) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 3) (- 81 (* 36 (/ 1 (pow x 2)))))
(* 81 (pow x 2))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 x)
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -1 (* x (- 9 (* 6 (/ 1 x)))))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(* -9 (pow x 2))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(/ -1/9 x)
(* -1 (/ (+ 1/9 (* 2/27 (/ 1 x))) x))
(* -1 (/ (+ 1/9 (+ (/ 4/81 (pow x 2)) (* 2/27 (/ 1 x)))) x))
(* -1 (/ (+ 1/9 (* -1 (/ (- (* -1 (/ (+ 4/81 (* 8/243 (/ 1 x))) x)) 2/27) x))) x))
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* 3 x)
(* 3 x)
(* 3 x)
(* 3 x)
(* -3 x)
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -1 (* x (- 3 (* 2 (/ 1 x)))))
(* -3 x)
(* -3 x)
(* -3 x)
(* -3 x)
(* -9 (pow x 2))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* (pow x 2) (- (* 6 (/ 1 x)) 9))
(* 81 (pow x 3))
(* -1 (* (pow x 3) (- (* 36 (/ 1 (pow x 2))) 81)))
(* -1 (* (pow x 3) (- (* 36 (/ 1 (pow x 2))) 81)))
(* -1 (* (pow x 3) (- (* 36 (/ 1 (pow x 2))) 81)))
(* 81 (pow x 2))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))
(* (pow x 2) (- 81 (* 36 (/ 1 (pow x 2)))))

Outputs
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 6 binary64)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
#s(literal 1/6 binary64)
(fma.f64 #s(literal 1/4 binary64) x #s(literal 1/6 binary64))
(fma.f64 (fma.f64 #s(literal 3/8 binary64) x #s(literal 1/4 binary64)) x #s(literal 1/6 binary64))
(fma.f64 (fma.f64 (fma.f64 #s(literal 9/16 binary64) x #s(literal 3/8 binary64)) x #s(literal 1/4 binary64)) x #s(literal 1/6 binary64))
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
#s(literal 2 binary64)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal 6 binary64) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -36 binary64) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
#s(literal -36 binary64)
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(/.f64 #s(literal -1/9 binary64) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 2/27 binary64) x)) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 (-.f64 (/.f64 #s(literal 4/81 binary64) x) #s(literal -2/27 binary64)) x)) x)
(/.f64 (-.f64 (/.f64 (-.f64 #s(literal -2/27 binary64) (/.f64 (-.f64 (/.f64 #s(literal 8/243 binary64) x) #s(literal -4/81 binary64)) x)) x) #s(literal 1/9 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 81 binary64))
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 #s(literal 81 binary64) (.f64 x x))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal -9 binary64) x)
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(*.f64 x x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(/.f64 #s(literal -1/9 binary64) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 #s(literal 2/27 binary64) x)) x)
(/.f64 (-.f64 #s(literal -1/9 binary64) (/.f64 (-.f64 (/.f64 #s(literal 4/81 binary64) x) #s(literal -2/27 binary64)) x)) x)
(/.f64 (-.f64 (/.f64 (-.f64 #s(literal -2/27 binary64) (/.f64 (-.f64 (/.f64 #s(literal 8/243 binary64) x) #s(literal -4/81 binary64)) x)) x) #s(literal 1/9 binary64)) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal 3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64))
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(*.f64 #s(literal -3 binary64) x)
(.f64 (.f64 x x) #s(literal -9 binary64))
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64)) x)
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 81 binary64))
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x)
(.f64 #s(literal 81 binary64) (.f64 x x))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))
(fma.f64 #s(literal 81 binary64) (*.f64 x x) #s(literal -36 binary64))

rewrite230.0ms (4.4%)

Memory

22.7MiB live, 179.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	108
0	46	98
1	171	96
2	910	96
0	8672	94

Stop Event

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

Counts

14 → 1 170

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval411.0ms (7.8%)

Memory: -10.3MiB live, 297.6MiB allocated
Compiler: Compiled 27 511 to 2 193 computations (92% saved)

prune283.0ms (5.4%)

Memory

-4.7MiB live, 109.9MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	1 364	1	1 365
Fresh	0	0	0
Picked	1	4	5
Done	0	3	3
Total	1 365	8	1 373

Accuracy

100.0%

Counts

1 373 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
▶	53.3%	(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
✓	53.9%	(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
✓	99.8%	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
✓	48.8%	(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
✓	48.8%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	54.1%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
✓	48.8%	#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 93 to 76 computations (18.3% saved)

simplify4.0ms (0.1%)

Memory

9.6MiB live, 9.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))
cost-diff	0	#s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64))
cost-diff	0	(.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x)
cost-diff	0	(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
0	16	44
1	25	44
2	31	44
3	32	44
0	32	41

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
(.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x)
#s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64))
#s(literal -36 binary64)
x
(fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))
#s(literal -9 binary64)
#s(literal -6 binary64)

Outputs
(.f64 (/.f64 x (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)))
(.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x)
#s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64))
#s(literal -36 binary64)
x
(fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))
#s(literal -9 binary64)
#s(literal -6 binary64)

localize39.0ms (0.7%)

Memory

-13.6MiB live, 40.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))
accuracy	0.06640625	(.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x)
accuracy	5.5097820407502995	(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
accuracy	29.756833503902783	#s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64))

Samples

15.0ms	212×	0	valid
11.0ms	16×	2	valid
3.0ms	24×	1	valid
2.0ms	4×	3	valid

Compiler

Compiled 86 to 27 computations (68.6% saved)

Precisions

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

ival-mult: 7.0ms (46.5% of total)

ival-add: 3.0ms (19.9% of total)

ival-div: 2.0ms (13.3% of total)

adjust: 2.0ms (13.3% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.1%)

Memory

7.4MiB live, 7.4MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

((/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36) (+ (* -9 x) -6))

1.0ms

-inf

((/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36) (+ (* -9 x) -6))

1.0ms

((/ (* (+ (* 81 (* x x)) -36) x) (+ (* -9 x) -6)) (* (+ (* 81 (* x x)) -36) x) (+ (* 81 (* x x)) -36) (+ (* -9 x) -6))

simplify151.0ms (2.9%)

Memory

16.7MiB live, 127.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	296
1	98	296
2	246	296
3	613	296
4	1366	296
5	3531	296
6	4481	296
7	6003	296
0	8046	260

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

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

rewrite224.0ms (4.2%)

Memory

4.3MiB live, 273.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	40
0	16	40
1	64	40
2	416	40
3	3766	40
0	8467	37

Stop Event

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

Counts

4 → 268

Calls

Call 1

Inputs
(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
(.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x)
#s(approx (+ (* 81 (* x x)) -36) #s(literal -36 binary64))
(fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval88.0ms (1.7%)

Memory: 9.1MiB live, 91.7MiB allocated
Compiler: Compiled 8 901 to 861 computations (90.3% saved)

prune22.0ms (0.4%)

Memory

-3.6MiB live, 34.6MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	315	1	316
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	316	8	324

Accuracy

100.0%

Counts

324 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
	54.0%	(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #s(approx (+ (* -9 x) -6) #s(literal -6 binary64)))
✓	53.9%	(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
✓	99.8%	(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
✓	48.8%	(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
✓	48.8%	(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
✓	54.1%	(.f64 #s(approx ( 3 (- 2 (* x 3))) #s(literal 6 binary64)) x)
✓	48.8%	#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))

Compiler

Compiled 284 to 152 computations (46.5% saved)

regimes13.0ms (0.2%)

Memory

-3.3MiB live, 33.8MiB allocated

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)))
#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 x #s(literal 3 binary64)))
(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #s(approx (+ (* -9 x) -6) #s(literal -6 binary64)))
(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
(.f64 (.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))
(/.f64 x (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal -9 binary64) x #s(literal 6 binary64))))
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) (*.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) x)))
(/.f64 (.f64 (fma.f64 #s(literal 81 binary64) (.f64 x x) #s(literal -36 binary64)) x) (fma.f64 #s(literal -9 binary64) x #s(literal -6 binary64)))

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	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)

regimes9.0ms (0.2%)

Memory

-19.7MiB live, 18.6MiB allocated

Counts

10 → 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)))
#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
(/.f64 x #s(approx (/ 1 (+ (* -9 x) 6)) #s(literal 1/6 binary64)))
(.f64 (.f64 #s(literal 3 binary64) x) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x)))
(.f64 (.f64 #s(literal 3 binary64) #s(approx (- 2 (* x 3)) (*.f64 #s(literal -3 binary64) x))) x)
(.f64 (fma.f64 #s(literal -3 binary64) x #s(literal 2 binary64)) (.f64 x #s(literal 3 binary64)))
(/.f64 (.f64 #s(approx (+ ( 81 (* x x)) -36) #s(literal -36 binary64)) x) #s(approx (+ (* -9 x) -6) #s(literal -6 binary64)))

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

Calls

2 calls:

4.0ms	x
3.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	`x`
99.8%	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)

regimes5.0ms (0.1%)

Memory

13.3MiB live, 13.3MiB allocated

Counts

4 → 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)))
#s(approx (/ x (/ 1 (+ (* -9 x) 6))) (.f64 (.f64 x x) #s(literal -9 binary64)))
(.f64 #s(approx ( 3 (- 2 (* x 3))) (*.f64 #s(literal -9 binary64) x)) x)

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

2 calls:

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

Results

Accuracy	Segments	Branch
98.0%	3	`x`
98.0%	2	`(.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)

regimes3.0ms (0.1%)

Memory

8.1MiB live, 8.1MiB allocated

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
54.1%	1	`x`
54.1%	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.1MiB live, 1.1MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-446226.3449698122	-0.00032674303294000267

Compiler

Compiled 12 to 11 computations (8.3% saved)

simplify57.0ms (1.1%)

Memory

-17.8MiB live, 53.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	63
1	36	63
2	48	63
3	54	63
4	58	63
5	59	63

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 x #s(literal 6 binary64) (.f64 #s(literal -9 binary64) (.f64 x x)))
(*.f64 (fma.f64 x #s(literal -9 binary64) #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 -400000 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 x #s(literal 6 binary64) (.f64 (.f64 x x) #s(literal -9 binary64)))
(*.f64 (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)) x)
(if (<=.f64 (.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 #s(literal 3 binary64) x)) #s(literal 3 binary64)) x) #s(literal -400000 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)

soundness455.0ms (8.6%)

Memory

-25.6MiB live, 251.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	216
1	82	216
2	169	216
3	406	216
4	986	216
5	1308	216
6	2537	216
7	5035	216
8	6878	216
9	7975	216
0	8001	189
0	7	24
0	11	24
1	35	24
2	210	20
3	1728	20
0	9546	17

Stop Event

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

Compiler

Compiled 106 to 59 computations (44.3% saved)

preprocess134.0ms (2.5%)

Memory: 13.4MiB live, 132.2MiB allocated
Compiler: Compiled 162 to 80 computations (50.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample972.0ms (18.4%)

explain89.0ms (1.7%)

preprocess76.0ms (1.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify30.0ms (0.6%)

localize33.0ms (0.6%)

series5.0ms (0.1%)

simplify118.0ms (2.2%)

rewrite325.0ms (6.1%)

eval228.0ms (4.3%)

prune22.0ms (0.4%)

simplify92.0ms (1.7%)

localize121.0ms (2.3%)

series23.0ms (0.4%)

simplify119.0ms (2.3%)

rewrite292.0ms (5.5%)

eval188.0ms (3.6%)

prune23.0ms (0.4%)

simplify145.0ms (2.7%)

localize101.0ms (1.9%)

series44.0ms (0.8%)

simplify106.0ms (2%)

rewrite230.0ms (4.4%)

eval411.0ms (7.8%)

prune283.0ms (5.4%)

simplify4.0ms (0.1%)

localize39.0ms (0.7%)

series4.0ms (0.1%)

simplify151.0ms (2.9%)

rewrite224.0ms (4.2%)

eval88.0ms (1.7%)

prune22.0ms (0.4%)

regimes13.0ms (0.2%)

regimes9.0ms (0.2%)

regimes5.0ms (0.1%)

regimes3.0ms (0.1%)

bsearch0.0ms (0%)

simplify57.0ms (1.1%)

soundness455.0ms (8.6%)

preprocess134.0ms (2.5%)

end0.0ms (0%)

Profiling