Metrics for Main:bigenough1 from B

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample522.0ms (23.8%)

Memory

32.6MiB live, 583.7MiB allocated; 132ms collecting garbage

Samples

323.0ms

8 256×

valid

Precisions

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

ival-mult: 84.0ms (58.3% of total)

ival-add: 56.0ms (38.9% of total)

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

adjust: 2.0ms (1.4% of total)

Bogosity

explain1.1s (50.9%)

Memory

-290.9MiB live, 161.8MiB allocated; 1.6s collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 x (*.f64 x x))`
-	-	`(*.f64 x x)`
-	-	`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

889.0ms

512×

valid

Compiler

Compiled 27 to 13 computations (51.9% saved)

Precisions

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

ival-mult: 871.0ms (99.6% of total)

ival-add: 2.0ms (0.2% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess195.0ms (8.9%)

Memory

16.8MiB live, 160.2MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	18
1	32	17
2	79	15
3	125	15
4	220	15
5	542	15
6	1517	15
7	7495	15
0	3	5
0	5	5
1	15	5
2	39	5
3	76	5
4	129	5
5	338	5
6	1182	5
0	8208	4

Stop Event

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

Calls

Call 1

Inputs
(+.f64 x (*.f64 x x))

Outputs
(+.f64 x (*.f64 x x))
(fma.f64 #s(literal 1 binary64) (*.f64 x x) x)

Compiler

Compiled 5 to 3 computations (40% 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.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 x (*.f64 x x))

Compiler

Compiled 5 to 3 computations (40% saved)

series2.0ms (0.1%)

Memory

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

Counts

3 → 6

Calls

Call 1

Inputs
(+.f64 x (*.f64 x x))
x
(*.f64 x x)

Outputs
#s(approx (+ x (* x x)) #s(hole binary64 x))
#s(approx (+ x (* x x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#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)))))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((+ x (* x x)) x (* x x))
1.0ms	x	@	inf	((+ x (* x x)) x (* x x))
0.0ms	x	@	0	((+ x (* x x)) x (* x x))

rewrite63.0ms (2.9%)

Memory

-2.5MiB live, 86.9MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	61
0	21	57
1	92	57
0	697	50

Stop Event

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

Counts

9 → 89

Calls

Call 1

Inputs
(+.f64 x (*.f64 x x))
x
(*.f64 x x)
#s(approx (+ x (* x x)) #s(hole binary64 x))
#s(approx (+ x (* x x)) #s(hole binary64 (* x (+ 1 x))))
#s(approx x #s(hole binary64 x))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#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)))))

Outputs
(.f64 (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) (fabs.f64 x)) (fabs.f64 x))
(.f64 (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) x) x)
(.f64 (neg.f64 x) (.f64 (neg.f64 x) (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64))))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64))))
(.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) (.f64 x x))
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
(.f64 (.f64 x x) (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)))
(.f64 x (.f64 x (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64))))
(*.f64 x (-.f64 x #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) x) (-.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 (fma.f64 (.f64 x x) x #s(literal 1 binary64)) x) (+.f64 (-.f64 (*.f64 x x) x) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 2 binary64))) (.f64 x x)) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -1 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 x x)) (fma.f64 (pow.f64 x #s(literal -1 binary64)) (-.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 x x))) (-.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 x (fma.f64 (.f64 x x) x #s(literal 1 binary64))) (+.f64 (-.f64 (*.f64 x x) x) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 x x) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -1 binary64))))
(/.f64 (.f64 (.f64 x x) (+.f64 (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (pow.f64 x #s(literal -1 binary64)) (-.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 x x) x) x) (.f64 x x)) (-.f64 (*.f64 x x) x))
(/.f64 (-.f64 (.f64 (.f64 x x) x) (pow.f64 (.f64 (neg.f64 x) x) #s(literal 3 binary64))) (fma.f64 #s(literal 1 binary64) (.f64 x x) (fma.f64 (.f64 (.f64 x x) x) x (.f64 x (.f64 (neg.f64 x) x)))))
(/.f64 (neg.f64 (.f64 (fma.f64 #s(literal 1 binary64) (.f64 x x) x) (-.f64 x (.f64 x x)))) (neg.f64 (-.f64 x (.f64 x x))))
(/.f64 (neg.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 x x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (.f64 x x) (-.f64 (*.f64 x x) x)))))
(/.f64 (.f64 (fma.f64 #s(literal 1 binary64) (.f64 x x) x) (-.f64 x (.f64 x x))) (-.f64 x (.f64 x x)))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 (fabs.f64 x) x) (.f64 (fabs.f64 x) x) (-.f64 (.f64 x x) (.f64 (*.f64 x x) x))))
(/.f64 (fma.f64 (.f64 x x) x (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (.f64 x x) (-.f64 (*.f64 x x) x))))
(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (.f64 (fabs.f64 x) #s(literal 1 binary64)) (.f64 (fabs.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 x)) (.f64 #s(literal 1 binary64) (neg.f64 x)) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x) x)
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 #s(literal 1 binary64) (fabs.f64 x)) x)
(fma.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 x) 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 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) x)
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (neg.f64 x) (neg.f64 x) x)
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) #s(literal 1 binary64)) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) x)
(fma.f64 #s(literal 1 binary64) (*.f64 x x) x)
(fma.f64 (*.f64 x x) #s(literal 1 binary64) x)
(fma.f64 x x x)
(-.f64 (/.f64 (.f64 x x) (-.f64 x (.f64 x x))) (/.f64 (.f64 (.f64 (.f64 x x) x) x) (-.f64 x (.f64 x x))))
(-.f64 (.f64 x x) (.f64 (neg.f64 (pow.f64 x #s(literal -1 binary64))) (*.f64 x x)))
(-.f64 (.f64 x x) (.f64 (*.f64 (neg.f64 x) x) (pow.f64 x #s(literal -1 binary64))))
(-.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 (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (.f64 x x) (-.f64 (.f64 x x) x)))) (/.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (.f64 x x) (-.f64 (*.f64 x x) x)))))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 (neg.f64 (neg.f64 x)) x))
(+.f64 x (*.f64 x x))
x
(.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (*.f64 (neg.f64 x) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 x) #s(literal 1 binary64)) (*.f64 (fabs.f64 x) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 x)) (*.f64 #s(literal 1 binary64) (neg.f64 x)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 #s(literal 1 binary64) (fabs.f64 x)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 x)) (fabs.f64 x))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 1 binary64)))
(*.f64 (neg.f64 x) (neg.f64 x))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(.f64 #s(literal 1 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal 1 binary64))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 x x)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
(exp.f64 (fma.f64 (log.f64 x) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 x) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))))
#s(approx (+ x (* x x)) x)
#s(approx (+ x (* x x)) (fma.f64 #s(literal 1 binary64) (*.f64 x x) x))
#s(approx x x)
#s(approx (* x x) (*.f64 x x))
#s(approx (+ x (* x x)) (*.f64 x x))
#s(approx (+ x (* x x)) (fma.f64 #s(literal 1 binary64) (*.f64 x x) x))

eval9.0ms (0.4%)

Memory: 17.8MiB live, 17.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 993 to 209 computations (79% saved)

prune51.0ms (2.3%)

Memory

-47.3MiB live, 52.9MiB allocated; 25ms collecting garbage

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	1	93

Accuracy

100.0%

Counts

93 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 5 computations (50% saved)

series2.0ms (0.1%)

Memory

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

Counts

5 → 7

Calls

Call 1

Inputs
(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(*.f64 (neg.f64 x) #s(literal 1 binary64))
(neg.f64 x)
x
#s(literal 1 binary64)

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

Calls

3 calls:

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

rewrite81.0ms (3.7%)

Memory

17.1MiB live, 61.0MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	97
0	29	67
1	107	62
0	698	55

Stop Event

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

Counts

12 → 65

Calls

Call 1

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

Outputs
(.f64 (.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) x) x)
(.f64 (.f64 x x) (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)))
(.f64 (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64)) (.f64 x x))
(*.f64 (-.f64 x #s(literal -1 binary64)) x)
(.f64 x (.f64 x (fma.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64) #s(literal 1 binary64))))
(*.f64 x (-.f64 x #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)) x) (-.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 (fma.f64 (.f64 x x) x #s(literal 1 binary64)) x) (fma.f64 x (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 x x) #s(literal -1 binary64))) (*.f64 x x)) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -1 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 x x)) (fma.f64 (pow.f64 x #s(literal -1 binary64)) (-.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 x (-.f64 #s(literal 1 binary64) (.f64 x x))) (-.f64 #s(literal 1 binary64) x))
(/.f64 (.f64 x (fma.f64 (.f64 x x) x #s(literal 1 binary64))) (fma.f64 x (-.f64 x #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 x x) (-.f64 #s(literal 1 binary64) (pow.f64 (*.f64 x x) #s(literal -1 binary64)))) (-.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -1 binary64))))
(/.f64 (.f64 (.f64 x x) (+.f64 (pow.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (pow.f64 x #s(literal -1 binary64)) (-.f64 (pow.f64 x #s(literal -1 binary64)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) x)) (-.f64 x (*.f64 x x)))
(/.f64 (neg.f64 (.f64 (fma.f64 (.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1 binary64) x) x) (fma.f64 (.f64 x x) #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x)))) (neg.f64 (fma.f64 (.f64 x x) #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 x x) x))) (neg.f64 (fma.f64 (.f64 x (fabs.f64 x)) (.f64 x (fabs.f64 x)) (.f64 x (-.f64 x (*.f64 x x))))))
(/.f64 (.f64 (fma.f64 (.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1 binary64) x) x) (fma.f64 (.f64 x x) #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x))) (fma.f64 (.f64 x x) #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x)))
(/.f64 (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 x x) x)) (fma.f64 (.f64 (.f64 #s(literal -1 binary64) x) x) #s(literal -1 binary64) (-.f64 (.f64 (.f64 (.f64 x x) x) x) (.f64 (.f64 x x) x))))
(/.f64 (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 1 binary64) (.f64 (.f64 x x) x)) (fma.f64 (.f64 x (fabs.f64 x)) (.f64 x (fabs.f64 x)) (.f64 x (-.f64 x (*.f64 x x)))))
(fma.f64 (.f64 (.f64 #s(literal -1 binary64) x) x) #s(literal -1 binary64) 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 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) x)
(fma.f64 (pow.f64 (.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)) (pow.f64 (.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)) x)
(fma.f64 (pow.f64 (.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) x) x)
(fma.f64 (fabs.f64 x) (fabs.f64 x) x)
(fma.f64 (*.f64 x x) #s(literal 1 binary64) x)
(fma.f64 #s(literal -1 binary64) (.f64 x (.f64 #s(literal -1 binary64) x)) x)
(fma.f64 (.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1 binary64) x) x)
(fma.f64 #s(literal 1 binary64) (*.f64 x x) x)
(fma.f64 x x x)
(-.f64 (/.f64 (.f64 (.f64 (.f64 x x) x) x) (fma.f64 (.f64 x x) #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x))) (/.f64 (.f64 x x) (fma.f64 (.f64 x x) #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x))))
(-.f64 (.f64 x x) (.f64 (neg.f64 (pow.f64 x #s(literal -1 binary64))) (*.f64 x x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (*.f64 x x)) (pow.f64 x #s(literal -1 binary64))))
(-.f64 x (*.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 x (.f64 (neg.f64 (.f64 x x)) #s(literal 1 binary64)))
(-.f64 x (.f64 (.f64 #s(literal -1 binary64) x) x))
(-.f64 x (.f64 x (.f64 #s(literal -1 binary64) x)))
(+.f64 (/.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 (.f64 x (fabs.f64 x)) (.f64 x (fabs.f64 x)) (.f64 x (-.f64 x (.f64 x x))))) (/.f64 (.f64 (.f64 x x) x) (fma.f64 (.f64 x (fabs.f64 x)) (.f64 x (fabs.f64 x)) (.f64 x (-.f64 x (*.f64 x x))))))
(+.f64 (*.f64 x x) x)
(+.f64 x (*.f64 x x))
(*.f64 #s(literal -1 binary64) x)
(.f64 (.f64 #s(literal -1 binary64) x) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x))
(*.f64 x #s(literal -1 binary64))
(/.f64 (.f64 (.f64 #s(literal -1 binary64) x) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) x)) #s(literal 2 binary64))
(neg.f64 x)
(*.f64 #s(literal -1 binary64) x)
(.f64 (.f64 #s(literal -1 binary64) x) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) x))
(*.f64 x #s(literal -1 binary64))
(/.f64 (.f64 (.f64 #s(literal -1 binary64) x) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 #s(literal -1 binary64) x)) #s(literal 2 binary64))
(neg.f64 x)
x
#s(literal 1 binary64)
#s(approx (+ (* (* (neg x) 1) (* (neg x) 1)) x) x)
#s(approx (+ (* (* (neg x) 1) (* (neg x) 1)) x) (fma.f64 (.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1 binary64) x) x))
#s(approx (* (neg x) 1) (*.f64 #s(literal -1 binary64) x))
#s(approx (* (neg x) 1) (*.f64 #s(literal -1 binary64) x))
#s(approx x x)
#s(approx (+ (* (* (neg x) 1) (* (neg x) 1)) x) (*.f64 x x))
#s(approx (+ (* (* (neg x) 1) (* (neg x) 1)) x) (fma.f64 (.f64 #s(literal -1 binary64) x) (.f64 #s(literal -1 binary64) x) x))

eval7.0ms (0.3%)

Memory: 9.6MiB live, 9.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 884 to 150 computations (83% saved)

prune16.0ms (0.7%)

Memory

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

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	1	70

Accuracy

100.0%

Counts

70 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)

Compiler

Compiled 25 to 12 computations (52% saved)

regimes39.0ms (1.8%)

Memory

-39.2MiB live, 6.3MiB allocated; 6ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
(+.f64 x (*.f64 x x))
(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)

Outputs
(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)

Calls

2 calls:

37.0ms	x
1.0ms	(+.f64 x (*.f64 x x))

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 x (*.f64 x x))`
100.0%	1	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes2.0ms (0.1%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 x (*.f64 x x))

Outputs
(+.f64 x (*.f64 x x))

Calls

2 calls:

1.0ms	x
1.0ms	(+.f64 x (*.f64 x x))

Results

Accuracy	Segments	Branch
100.0%	1	`(+.f64 x (*.f64 x x))`
100.0%	1	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify65.0ms (2.9%)

Memory

5.5MiB live, 59.7MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	16	11
2	27	11
3	38	11
4	68	11
5	264	11
6	2461	11
7	5755	11

Stop Event

1×	node limit

Calls

Call 1

Inputs
(fma.f64 (.f64 (neg.f64 x) #s(literal 1 binary64)) (.f64 (neg.f64 x) #s(literal 1 binary64)) x)
(+.f64 x (*.f64 x x))

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

derivations5.0ms (0.2%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 13 to 6 computations (53.8% saved)

preprocess17.0ms (0.8%)

Memory: -9.8MiB live, 32.3MiB allocated; 7ms collecting garbage
Compiler: Compiled 36 to 18 computations (50% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample522.0ms (23.8%)

explain1.1s (50.9%)

preprocess195.0ms (8.9%)

eval0.0ms (0%)

prune0.0ms (0%)

series2.0ms (0.1%)

rewrite63.0ms (2.9%)

eval9.0ms (0.4%)

prune51.0ms (2.3%)

series2.0ms (0.1%)

rewrite81.0ms (3.7%)

eval7.0ms (0.3%)

prune16.0ms (0.7%)

regimes39.0ms (1.8%)

regimes2.0ms (0.1%)

simplify65.0ms (2.9%)

derivations5.0ms (0.2%)

preprocess17.0ms (0.8%)

end0.0ms (0%)

Profiling