Metrics for Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample988.0ms (31.5%)

Memory

7.4MiB live, 1 015.4MiB allocated; 312ms collecting garbage

Samples

777.0ms

8 256×

valid

Precisions

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

ival-sub: 140.0ms (62% of total)

ival-div: 69.0ms (30.5% of total)

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

exact: 5.0ms (2.2% of total)

adjust: 3.0ms (1.3% of total)

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

Bogosity

explain45.0ms (1.4%)

Memory

-31.1MiB live, 109.6MiB allocated; 8ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`
-	-	`(-.f64 #s(literal 1 binary64) x)`
-	-	`#s(literal 1 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

21.0ms

512×

valid

Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess229.0ms (7.3%)

Memory

15.4MiB live, 252.4MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	16	18
2	21	18
3	38	16
4	90	15
5	340	15
6	3065	15
7	7385	15
0	4	5
0	6	5
1	8	5
2	11	5
3	21	5
4	54	5
5	243	5
6	2067	5
7	5355	5
0	8498	5

Stop Event

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

Calls

Call 1

Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify139.0ms (4.4%)

Memory

21.0MiB live, 154.3MiB allocated; 15ms collecting garbage

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 #s(literal 1 binary64) x)
cost-diff	0	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	10
0	6	10
1	8	10
2	11	10
3	21	10
4	54	10
5	243	10
6	2067	10
7	5355	10
0	8498	10

Stop Event

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

Calls

Call 1

Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
x
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
x
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)

localize62.0ms (2%)

Memory

-4.4MiB live, 49.9MiB allocated; 51ms collecting garbage

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(-.f64 #s(literal 1 binary64) x)
accuracy	0.00390625	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Samples

58.0ms

256×

valid

Compiler

Compiled 12 to 6 computations (50% saved)

Precisions

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

ival-sub: 33.0ms (94.7% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

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

Counts

2 → 14

Calls

Call 1

Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)

Outputs
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- 1 x) #s(hole binary64 1))
#s(approx (- 1 x) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- 1 x) #s(hole binary64 (* -1 x)))
#s(approx (- 1 x) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (- 1 x) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	((/ x (- 1 x)) (- 1 x))
0.0ms	x	@	-inf	((/ x (- 1 x)) (- 1 x))
0.0ms	x	@	0	((/ x (- 1 x)) (- 1 x))

simplify141.0ms (4.5%)

Memory

-1.0MiB live, 235.4MiB allocated; 36ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	172
1	117	167
2	399	165
3	1413	159
4	5585	159
0	8077	156

Stop Event

1×	iter limit
1×	node limit

Counts

14 → 14

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- 1 x) #s(hole binary64 1))
#s(approx (- 1 x) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- 1 x) #s(hole binary64 (* -1 x)))
#s(approx (- 1 x) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (- 1 x) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))

Outputs
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ x (- 1 x)) (*.f64 (fma.f64 x x #s(literal 1 binary64)) (fma.f64 x x x)))
#s(approx (- 1 x) #s(hole binary64 1))
#s(approx (- 1 x) #s(literal 1 binary64))
#s(approx (- 1 x) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (- 1 x) (-.f64 #s(literal 1 binary64) x))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) (-.f64 (/.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) x) #s(literal 1 binary64)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal -1 binary64))))
#s(approx (- 1 x) #s(hole binary64 (* -1 x)))
#s(approx (- 1 x) (neg.f64 x))
#s(approx (- 1 x) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (- 1 x) (fma.f64 (/.f64 #s(literal 1 binary64) x) x (neg.f64 x)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal -1 binary64))))
#s(approx (- 1 x) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
#s(approx (- 1 x) (fma.f64 (/.f64 #s(literal 1 binary64) x) x (neg.f64 x)))

rewrite41.0ms (1.3%)

Memory

1.4MiB live, 95.2MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	25	8
0	155	8

Stop Event

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

Counts

2 → 14

Calls

Call 1

Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(-.f64 #s(literal 1 binary64) x)

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

eval3.0ms (0.1%)

Memory: 5.4MiB live, 5.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 289 to 77 computations (73.4% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	6	27

Accuracy

100.0%

Counts

27 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	68.6%	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶	55.0%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
▶	54.4%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	54.7%	#s(approx (/ x (- 1 x)) x)
▶	46.6%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 107 to 70 computations (34.6% saved)

simplify128.0ms (4.1%)

Memory

-14.8MiB live, 128.8MiB allocated; 11ms collecting garbage

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	0	(fma.f64 x x x)
cost-diff	0	(fma.f64 (fma.f64 x x x) x x)
cost-diff	0	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
cost-diff	0	(fma.f64 x x x)
cost-diff	0	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
cost-diff	0	#s(approx (/ x (- 1 x)) x)
cost-diff	0	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
cost-diff	0	(pow.f64 x #s(literal 3 binary64))
cost-diff	0	(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
cost-diff	0	(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
cost-diff	1	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	103
0	26	103
1	47	102
2	122	102
3	448	102
4	1601	102
5	6029	102
0	8279	102

Stop Event

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

Calls

Call 1

Inputs
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
x
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal 1 binary64)
(pow.f64 x #s(literal 3 binary64))
#s(literal 3 binary64)
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(literal -1 binary64)
#s(approx (/ x (- 1 x)) x)
x
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
x
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(fma.f64 (fma.f64 x x x) x x)
(fma.f64 x x x)
x

Outputs
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (fma.f64 (fma.f64 x x x) x x) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))
x
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))
(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal 1 binary64)
(pow.f64 x #s(literal 3 binary64))
#s(literal 3 binary64)
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))
(-.f64 (fma.f64 x x x) #s(literal -1 binary64))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(literal -1 binary64)
#s(approx (/ x (- 1 x)) x)
x
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
x
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(fma.f64 (fma.f64 x x x) x x)
(fma.f64 x x x)
x

localize66.0ms (2.1%)

Memory

-1.4MiB live, 92.0MiB allocated; 17ms collecting garbage

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0	(fma.f64 x x x)
accuracy	0.0546875	(fma.f64 (fma.f64 x x x) x x)
accuracy	28.7837556380576	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
accuracy	0.0	(fma.f64 x x x)
accuracy	29.165470347893965	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
accuracy	29.005043722852427	#s(approx (/ x (- 1 x)) x)
accuracy	34.14460217627303	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
accuracy	0.0	(+.f64 (fma.f64 x x x) #s(literal 1 binary64))
accuracy	0.00390625	(pow.f64 x #s(literal 3 binary64))
accuracy	0.00390625	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
accuracy	19.69737090728239	(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))

Samples

34.0ms	255×	0	valid
0.0ms	1×	1	valid

Compiler

Compiled 96 to 17 computations (82.3% saved)

Precisions

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

ival-pow: 9.0ms (37.7% of total)

ival-div: 5.0ms (20.9% of total)

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

ival-mult: 3.0ms (12.6% of total)

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

adjust: 0.0ms (0% 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.2%)

Memory

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

Counts

11 → 46

Calls

Call 1

Inputs
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(fma.f64 (fma.f64 x x x) x x)
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))

Outputs
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 x))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 1))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 1))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (+ 1 (* -1 (pow x 3)))))
#s(approx (pow x 3) #s(hole binary64 (pow x 3)))
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (+ (* x x) x) #s(hole binary64 x))
#s(approx (+ (* x x) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 x))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 1))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (+ 1 x)))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (+ 1 (* x (+ 1 x)))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 -1))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 x)))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* -1 (pow x 3))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* (pow x 3) (- (/ 1 (pow x 3)) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (+ (* x x) x) #s(hole binary64 (pow x 2)))
#s(approx (+ (* x x) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (pow x 3)))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* (pow x 3) (+ 1 (/ 1 x)))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* (pow x 3) (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (pow x 2)))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (* (pow x 2) (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 3)))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* -1 (* (pow x 3) (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))))

Calls

3 calls:

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

Time

Variable

Point

Expression

2.0ms

-inf

((/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) (- 1 (pow x 3)) (pow x 3) (/ x (- 1 x)) (/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (+ (+ (* x x) x) 1))

2.0ms

inf

((/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) (- 1 (pow x 3)) (pow x 3) (/ x (- 1 x)) (/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (+ (+ (* x x) x) 1))

1.0ms

((/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) (- 1 (pow x 3)) (pow x 3) (/ x (- 1 x)) (/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (+ (+ (* x x) x) 1))

simplify170.0ms (5.4%)

Memory

-17.6MiB live, 223.9MiB allocated; 62ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	739
1	245	727
2	809	717
3	3319	708
0	8469	640

Stop Event

1×	iter limit
1×	node limit

Counts

46 → 46

Calls

Call 1

Inputs
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 x))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 1))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 1))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (+ 1 (* -1 (pow x 3)))))
#s(approx (pow x 3) #s(hole binary64 (pow x 3)))
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (+ (* x x) x) #s(hole binary64 x))
#s(approx (+ (* x x) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 x))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 1))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (+ 1 x)))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (+ 1 (* x (+ 1 x)))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 -1))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 x)))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* -1 (pow x 3))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* (pow x 3) (- (/ 1 (pow x 3)) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (+ (* x x) x) #s(hole binary64 (pow x 2)))
#s(approx (+ (* x x) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (pow x 3)))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* (pow x 3) (+ 1 (/ 1 x)))))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* (pow x 3) (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (pow x 2)))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (+ (+ (* x x) x) 1) #s(hole binary64 (* (pow x 2) (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))))))
#s(approx (/ x (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ (- 1 (pow x 3)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
#s(approx (- 1 (pow x 3)) #s(hole binary64 (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 3)))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (+ (* (+ (* x x) x) x) x) #s(hole binary64 (* -1 (* (pow x 3) (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))))

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

rewrite57.0ms (1.8%)

Memory

32.7MiB live, 79.7MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	88
0	26	88
1	112	70
0	941	70

Stop Event

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

Counts

11 → 155

Calls

Call 1

Inputs
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(fma.f64 (fma.f64 x x x) x x)
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))

Outputs
(*.f64 (/.f64 x (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (.f64 x x))) (-.f64 x #s(literal -1 binary64)))
(*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))
(*.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64))) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(/.f64 (*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x)))
(/.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (.f64 x (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64))) (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x))))
(/.f64 (neg.f64 (neg.f64 x)) (-.f64 #s(literal 1 binary64) x))
(/.f64 (neg.f64 x) (neg.f64 (-.f64 #s(literal 1 binary64) x)))
(/.f64 (fma.f64 (fma.f64 x x x) x x) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(neg.f64 (/.f64 (neg.f64 x) (-.f64 #s(literal 1 binary64) x)))
(neg.f64 (/.f64 x (neg.f64 (-.f64 #s(literal 1 binary64) x))))
(fma.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 x x) (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (-.f64 x #s(literal -1 binary64))))
(fma.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x x) (*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1 binary64)))
(fma.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1 binary64) (*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x x)))
(fma.f64 (.f64 x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 (-.f64 x #s(literal -1 binary64)) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(fma.f64 (fma.f64 x x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 #s(literal 1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(fma.f64 #s(literal 1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (*.f64 (fma.f64 x x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(+.f64 (.f64 (.f64 x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 (-.f64 x #s(literal -1 binary64)) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(+.f64 (.f64 (fma.f64 x x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 #s(literal 1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(+.f64 (.f64 #s(literal 1 binary64) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (fma.f64 x x x) (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))
(+.f64 (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 x x)) (*.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (-.f64 x #s(literal -1 binary64))))
(+.f64 (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x x)) (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1 binary64)))
(+.f64 (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1 binary64)) (.f64 (/.f64 x (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x x)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64))) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x)))
(/.f64 (-.f64 (.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64))) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))) (+.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))))
(/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))) (*.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (neg.f64 (-.f64 x #s(literal -1 binary64))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (neg.f64 (neg.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))) (.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) (pow.f64 x #s(literal 3 binary64)))) (*.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)) (-.f64 x #s(literal -1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (*.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 9 binary64))) (*.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (pow.f64 x #s(literal 3 binary64))) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))) (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))
(neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) x)))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal -1 binary64))) (/.f64 (*.f64 x x) (-.f64 x #s(literal -1 binary64))))
(-.f64 (pow.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) #s(literal -1 binary64)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (fma.f64 x x x) #s(literal -1 binary64))))
(-.f64 #s(literal 1 binary64) x)
(*.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))))
(*.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) x))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64)))) (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 9 binary64)))) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (+.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 9 binary64))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (pow.f64 x #s(literal 3 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (pow.f64 x #s(literal 3 binary64)))) (/.f64 (pow.f64 x #s(literal 9 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64))) (pow.f64 x #s(literal 3 binary64)))))
(-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 x x)) x))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (.f64 x x)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64)))
(.f64 (.f64 x (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 x (fabs.f64 x)) (fabs.f64 x))
(.f64 (.f64 #s(literal 1 binary64) (*.f64 x x)) x)
(*.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (neg.f64 (pow.f64 x #s(literal 3/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 x #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 x #s(literal 3/2 binary64))))
(*.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) x))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) x))
(.f64 (.f64 x x) x)
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))
(.f64 x (.f64 x x))
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 3 binary64))
(pow.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 3/2 binary64))
(pow.f64 x #s(literal 3 binary64))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 x) #s(literal 3 binary64))))
(exp.f64 (*.f64 (log.f64 x) #s(literal 3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 x) #s(literal 3 binary64))) (sinh.f64 (.f64 (log.f64 x) #s(literal 3 binary64))))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
(*.f64 (fma.f64 x x x) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x x x))
(*.f64 x (-.f64 x #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 x x)) #s(literal 1 binary64)) (-.f64 (*.f64 x x) x))
(/.f64 (.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 x (-.f64 x (.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(/.f64 (-.f64 (.f64 x x) (pow.f64 x #s(literal 4 binary64))) (-.f64 x (.f64 x x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 x x))) (neg.f64 (-.f64 (.f64 x x) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 x x)) (-.f64 (.f64 x x) x))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x (-.f64 x (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) x)
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) x)
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) x)
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) x)
(fma.f64 x x x)
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (.f64 x x) x)) (/.f64 (.f64 x x) (-.f64 (*.f64 x x) x)))
(-.f64 (.f64 x x) (.f64 #s(literal -1 binary64) x))
(-.f64 x (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 x (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 x (*.f64 (neg.f64 x) x))
(-.f64 x (*.f64 x (neg.f64 x)))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 x (-.f64 x (.f64 x x)) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (-.f64 x (.f64 x x)) (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 x x))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(*.f64 (-.f64 (fma.f64 x x x) #s(literal -1 binary64)) x)
(*.f64 x (-.f64 (fma.f64 x x x) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) x) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64)) x) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x)))
(/.f64 (-.f64 (.f64 x x) (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64))) (-.f64 x (*.f64 (fma.f64 x x x) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64)) (.f64 x x))) (neg.f64 (-.f64 (*.f64 (fma.f64 x x x) x) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x (-.f64 x (.f64 (fma.f64 x x x) x)) (pow.f64 (*.f64 (fma.f64 x x x) x) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64)) (.f64 x x)) (-.f64 (*.f64 (fma.f64 x x x) x) x))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x (-.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64)) (.f64 (.f64 (fma.f64 x x x) x) x))))
(/.f64 (+.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x (-.f64 x (.f64 (fma.f64 x x x) x)) (pow.f64 (*.f64 (fma.f64 x x x) x) #s(literal 2 binary64))))
(fma.f64 (-.f64 x #s(literal -1 binary64)) (*.f64 x x) x)
(fma.f64 (fma.f64 x x x) x x)
(fma.f64 x (fma.f64 x x x) x)
(-.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64)) (-.f64 (.f64 (fma.f64 x x x) x) x)) (/.f64 (.f64 x x) (-.f64 (.f64 (fma.f64 x x x) x) x)))
(-.f64 x (*.f64 (neg.f64 (fma.f64 x x x)) x))
(-.f64 x (*.f64 (neg.f64 x) (fma.f64 x x x)))
(+.f64 (/.f64 (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 3 binary64)) (fma.f64 x (-.f64 x (.f64 (fma.f64 x x x) x)) (pow.f64 (.f64 (fma.f64 x x x) x) #s(literal 2 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (-.f64 x (.f64 (fma.f64 x x x) x)) (pow.f64 (*.f64 (fma.f64 x x x) x) #s(literal 2 binary64)))))
(+.f64 (*.f64 (fma.f64 x x x) x) x)
(+.f64 x (*.f64 (fma.f64 x x x) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (-.f64 x #s(literal -1 binary64)) (-.f64 x #s(literal -1 binary64)))) (-.f64 (.f64 x x) (-.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 x x x) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (fma.f64 x x x)))
(/.f64 (+.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 x #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 x #s(literal 4 binary64)) (-.f64 (.f64 (-.f64 x #s(literal -1 binary64)) (-.f64 x #s(literal -1 binary64))) (.f64 (*.f64 x x) (-.f64 x #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (-.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x))))
(/.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) (fma.f64 x x x))))
(/.f64 (-.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x)))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (-.f64 x #s(literal -1 binary64)) x #s(literal 1 binary64))
(fma.f64 (neg.f64 x) (neg.f64 x) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (-.f64 x #s(literal -1 binary64)))
(fma.f64 (fma.f64 x x x) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (fma.f64 x x x) #s(literal 1 binary64))
(fma.f64 x (-.f64 x #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 x x (-.f64 x #s(literal -1 binary64)))
(-.f64 (/.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) (-.f64 (fma.f64 x x x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(-.f64 (fma.f64 x x x) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (-.f64 x #s(literal -1 binary64))) x))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 x x)) x)
(+.f64 (/.f64 (pow.f64 (fma.f64 x x x) #s(literal 3 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x))) (/.f64 #s(literal 1 binary64) (-.f64 (+.f64 (pow.f64 (fma.f64 x x x) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 x x x))))
(+.f64 (-.f64 x #s(literal -1 binary64)) (*.f64 x x))
(+.f64 (*.f64 x x) (-.f64 x #s(literal -1 binary64)))
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (fma.f64 x x x))
(+.f64 x (fma.f64 x x #s(literal 1 binary64)))

eval73.0ms (2.3%)

Memory: -32.4MiB live, 108.4MiB allocated; 15ms collecting garbage
Compiler: Compiled 4 949 to 780 computations (84.2% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	249	2	251
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	250	7	257

Accuracy

100.0%

Counts

257 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	68.6%	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	55.0%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓	54.4%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	54.4%	#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
✓	54.7%	#s(approx (/ x (- 1 x)) x)
✓	46.6%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 69 to 45 computations (34.8% saved)

simplify154.0ms (4.9%)

Memory

0.6MiB live, 192.4MiB allocated; 19ms collecting garbage

Localize:

Found 7 expressions of interest:

New	Metric	Score
cost-diff	0	(-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
cost-diff	0	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
cost-diff	1	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
cost-diff	2	(.f64 (.f64 x x) x)
cost-diff	0	(-.f64 x #s(literal -1 binary64))
cost-diff	0	#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
cost-diff	1	(*.f64 (-.f64 x #s(literal -1 binary64)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	78
0	24	79
1	45	71
2	118	71
3	374	71
4	1404	68
5	5655	68
0	8118	67

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
(-.f64 x #s(literal -1 binary64))
x
#s(literal -1 binary64)
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
x
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
#s(literal 1 binary64)
(.f64 (.f64 x x) x)
(*.f64 x x)
(+.f64 (fma.f64 x x x) #s(literal 1 binary64))
(fma.f64 x x x)

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

localize66.0ms (2.1%)

Memory

-20.5MiB live, 68.7MiB allocated; 11ms collecting garbage

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x x)
accuracy	0.00390625	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
accuracy	0.09375	(.f64 (.f64 x x) x)
accuracy	19.69737090728239	(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
accuracy	0.0	(-.f64 x #s(literal -1 binary64))
accuracy	0.01171875	(*.f64 (-.f64 x #s(literal -1 binary64)) x)
accuracy	29.165470347893965	#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))

Samples

56.0ms	255×	0	valid
0.0ms	1×	1	valid

Compiler

Compiled 78 to 16 computations (79.5% saved)

Precisions

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

ival-add: 30.0ms (68.4% of total)

ival-div: 5.0ms (11.4% of total)

ival-mult: 4.0ms (9.1% of total)

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

adjust: 0.0ms (0% 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.2%)

Memory

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

Counts

8 → 38

Calls

Call 1

Inputs
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
(-.f64 x #s(literal -1 binary64))
(.f64 (.f64 x x) x)
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
(*.f64 x x)

Outputs
#s(approx (* (- x -1) x) #s(hole binary64 x))
#s(approx (* (- x -1) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- x -1) #s(hole binary64 1))
#s(approx (- x -1) #s(hole binary64 (+ 1 x)))
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 x))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 1))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 1))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (+ 1 (* -1 (pow x 3)))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (* (- x -1) x) #s(hole binary64 (pow x 2)))
#s(approx (* (- x -1) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- x -1) #s(hole binary64 x))
#s(approx (- x -1) #s(hole binary64 (* x (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 -1))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 x)))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* -1 (pow x 3))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* (pow x 3) (- (/ 1 (pow x 3)) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 3)))))))

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

inf

((* (- x -1) x) (/ x (- 1 x)) (- x -1) (* (* x x) x) (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) (- 1 (* (* x x) x)) (* x x))

2.0ms

-inf

((* (- x -1) x) (/ x (- 1 x)) (- x -1) (* (* x x) x) (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) (- 1 (* (* x x) x)) (* x x))

1.0ms

((* (- x -1) x) (/ x (- 1 x)) (- x -1) (* (* x x) x) (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) (- 1 (* (* x x) x)) (* x x))

simplify326.0ms (10.4%)

Memory

41.6MiB live, 414.2MiB allocated; 109ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	94	581
1	211	570
2	676	566
3	4407	558
0	8140	521

Stop Event

1×	iter limit
1×	node limit

Counts

38 → 38

Calls

Call 1

Inputs
#s(approx (* (- x -1) x) #s(hole binary64 x))
#s(approx (* (- x -1) x) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 x))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (- x -1) #s(hole binary64 1))
#s(approx (- x -1) #s(hole binary64 (+ 1 x)))
#s(approx (* (* x x) x) #s(hole binary64 (pow x 3)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 x))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 x))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 x))))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 1))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 1))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (+ 1 (* -1 (pow x 3)))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (* (- x -1) x) #s(hole binary64 (pow x 2)))
#s(approx (* (- x -1) x) #s(hole binary64 (* (pow x 2) (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 -1))
#s(approx (/ x (- 1 x)) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (- x -1) #s(hole binary64 x))
#s(approx (- x -1) #s(hole binary64 (* x (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 -1))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (* -1 (+ 1 (/ 1 x)))))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 x)))))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 x)))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* x (- (/ 1 x) 1))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* -1 (pow x 3))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* (pow x 3) (- (/ 1 (pow x 3)) 1))))
#s(approx (/ x (- 1 x)) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ x (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1))) #s(hole binary64 (- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)))
#s(approx (/ (- 1 (* (* x x) x)) (+ (+ (* x x) x) 1)) #s(hole binary64 (* -1 (* x (- 1 (/ 1 x))))))
#s(approx (- 1 (* (* x x) x)) #s(hole binary64 (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 3)))))))

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

rewrite83.0ms (2.7%)

Memory

-48.9MiB live, 103.0MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	64
0	24	56
1	105	36
0	895	36

Stop Event

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

Counts

8 → 131

Calls

Call 1

Inputs
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
(-.f64 x #s(literal -1 binary64))
(.f64 (.f64 x x) x)
(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64)))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
(*.f64 x x)

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

eval19.0ms (0.6%)

Memory: 7.6MiB live, 53.6MiB allocated; 4ms collecting garbage
Compiler: Compiled 3 117 to 558 computations (82.1% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	163	7	170

Accuracy

100.0%

Counts

170 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	(/.f64 x (/.f64 (-.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) (+.f64 (fma.f64 x x x) #s(literal 1 binary64))))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	55.0%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓	54.4%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓	54.4%	#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
✓	54.7%	#s(approx (/ x (- 1 x)) x)
✓	46.6%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 152 to 73 computations (52% saved)

regimes12.0ms (0.4%)

Memory

-35.1MiB live, 20.7MiB allocated; 4ms collecting garbage

Counts

8 → 1

Calls

Call 1

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

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

Calls

2 calls:

8.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))
3.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`
100.0%	1	`x`

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

5 → 2

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))

Calls

2 calls:

2.0ms	x
2.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes2.0ms (0.1%)

Memory

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

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
#s(approx (/ x (- 1 x)) (*.f64 (-.f64 x #s(literal -1 binary64)) x))

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 x x x))

Calls

1 calls:

1.0ms

(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
98.6%	2	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes1.0ms (0%)

Memory

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

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) x)

Calls

1 calls:

1.0ms

(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
97.9%	2	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes2.0ms (0.1%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Calls

2 calls:

1.0ms	x
1.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
46.6%	1	`x`
46.6%	1	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 6 to 5 computations (16.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.8278318762916083	-0.49919659394928506

Compiler

Compiled 8 to 8 computations (0% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.49919659394928506	-2.430882400528518e-9

Compiler

Compiled 8 to 8 computations (0% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.8278318762916083	-0.49919659394928506

Compiler

Compiled 8 to 8 computations (0% saved)

simplify53.0ms (1.7%)

Memory

-10.8MiB live, 34.5MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	87
1	24	87
2	30	87
3	41	87
4	67	87
5	258	87
6	2508	87
7	6484	87

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x)))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -3602879701896397/9007199254740992 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) (fma.f64 x x x)))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) x))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x)))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -3602879701896397/9007199254740992 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) (fma.f64 x x x)))
(if (<=.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)) #s(literal -1/2 binary64)) #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #s(approx (/ x (- 1 x)) x))
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

derivations223.0ms (7.1%)

Memory

-8.0MiB live, 182.0MiB allocated; 27ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 87 to 21 computations (75.9% saved)

preprocess24.0ms (0.8%)

Memory: 45.3MiB live, 91.1MiB allocated; 4ms collecting garbage
Compiler: Compiled 184 to 50 computations (72.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample988.0ms (31.5%)

explain45.0ms (1.4%)

preprocess229.0ms (7.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify139.0ms (4.4%)

localize62.0ms (2%)

series1.0ms (0%)

simplify141.0ms (4.5%)

rewrite41.0ms (1.3%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

simplify128.0ms (4.1%)

localize66.0ms (2.1%)

series5.0ms (0.2%)

simplify170.0ms (5.4%)

rewrite57.0ms (1.8%)

eval73.0ms (2.3%)

prune6.0ms (0.2%)

simplify154.0ms (4.9%)

localize66.0ms (2.1%)

series5.0ms (0.2%)

simplify326.0ms (10.4%)

rewrite83.0ms (2.7%)

eval19.0ms (0.6%)

prune6.0ms (0.2%)

regimes12.0ms (0.4%)

regimes4.0ms (0.1%)

regimes2.0ms (0.1%)

regimes1.0ms (0%)

regimes2.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify53.0ms (1.7%)

derivations223.0ms (7.1%)

preprocess24.0ms (0.8%)

end0.0ms (0%)

Profiling