Metrics for Main:bigenough1 from B

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.1MiB live, 0.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
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.1s (22.4%)

Memory

11.9MiB live, 388.5MiB allocated; 111ms collecting garbage

Samples

750.0ms

8 256×

valid

Precisions

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

ival-mult!: 112.0ms (79% of total)

ival-add!: 28.0ms (19.8% of total)

adjust: 2.0ms (1.4% of total)

Bogosity

preprocess192.0ms (3.9%)

Memory

-12.2MiB live, 34.6MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	7	18
1	35	17
2	93	15
3	156	15
4	374	15
5	2317	15

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 6 computations (0% saved)

series3.0ms (0.1%)

Memory

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

Counts

3 → 4

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 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))

rewrite1.2s (23.8%)

Memory

6.3MiB live, 447.5MiB allocated; 109ms collecting garbage

Counts

7 → 83

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

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

eval13.0ms (0.3%)

Memory: 2.8MiB live, 46.6MiB allocated; 7ms collecting garbage
Compiler: Compiled 434 to 184 computations (57.6% saved)

prune16.0ms (0.3%)

Memory

-42.9MiB live, 10.5MiB allocated; 16ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	2	81

Accuracy

100.0%

Counts

81 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 x x x)
▶	50.4%	#s(approx (+ (* x x) x) x)

Compiler

Compiled 6 to 6 computations (0% saved)

series2.0ms (0%)

Memory

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

Counts

3 → 4

Calls

Call 1

Inputs
#s(approx (+ (* x x) x) x)
x
(fma.f64 x 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 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) x))
0.0ms	x	@	-inf	((+ (* x x) x) x (+ (* x x) x))
0.0ms	x	@	0	((+ (* x x) x) x (+ (* x x) x))

rewrite1.1s (22.9%)

Memory

42.2MiB live, 371.3MiB allocated; 72ms collecting garbage

Counts

7 → 50

Calls

Call 1

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

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

eval11.0ms (0.2%)

Memory: -35.8MiB live, 15.1MiB allocated; 9ms collecting garbage
Compiler: Compiled 269 to 107 computations (60.2% saved)

prune2.0ms (0%)

Memory

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

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	47	3	50

Accuracy

100.0%

Counts

50 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x x x)
▶	52.5%	#s(approx (+ (* x x) x) (*.f64 x x))
✓	50.4%	#s(approx (+ (* x x) x) x)

Compiler

Compiled 11 to 11 computations (0% saved)

series2.0ms (0%)

Memory

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

Counts

3 → 4

Calls

Call 1

Inputs
#s(approx (+ (* x x) x) (*.f64 x x))
(*.f64 x 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 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)

rewrite1.2s (23.7%)

Memory

-11.5MiB live, 412.7MiB allocated; 67ms collecting garbage

Counts

7 → 40

Calls

Call 1

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

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

eval3.0ms (0.1%)

Memory: 3.5MiB live, 3.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 177 to 104 computations (41.2% saved)

prune2.0ms (0%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	36	3	39

Accuracy

100.0%

Counts

39 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 x x x)
✓	52.5%	#s(approx (+ (* x x) x) (*.f64 x x))
✓	50.4%	#s(approx (+ (* x x) x) x)

Compiler

Compiled 22 to 19 computations (13.6% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (+ (* x x) x) x)
#s(approx (+ (* x x) x) (*.f64 x x))
(fma.f64 x x x)
(+.f64 x (*.f64 x x))

Outputs
(fma.f64 x x x)

Calls

2 calls:

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

Results

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

Compiler

Compiled 4 to 4 computations (0% saved)

regimes3.0ms (0.1%)

Memory

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

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (+ (* x x) x) x)
#s(approx (+ (* x x) x) (*.f64 x x))

Outputs
#s(approx (+ (* x x) x) x)
#s(approx (+ (* x x) x) (*.f64 x x))

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
98.1%	2	`(+.f64 x (*.f64 x x))`
98.1%	3	`x`

Compiler

Compiled 4 to 4 computations (0% saved)

regimes2.0ms (0%)

Memory

13.9MiB live, 13.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 x) x) x)

Outputs
#s(approx (+ (* x x) x) x)

Calls

2 calls:

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

Results

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

Compiler

Compiled 4 to 4 computations (0% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.0020974169020041063	13.512946018433617

Compiler

Compiled 6 to 7 computations (-16.7% saved)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 14 to 11 computations (21.4% saved)

preprocess92.0ms (1.9%)

Memory: -22.2MiB live, 59.3MiB allocated; 12ms collecting garbage
Compiler: Compiled 17 to 14 computations (17.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (22.4%)

preprocess192.0ms (3.9%)

series3.0ms (0.1%)

rewrite1.2s (23.8%)

eval13.0ms (0.3%)

prune16.0ms (0.3%)

series2.0ms (0%)

rewrite1.1s (22.9%)

eval11.0ms (0.2%)

prune2.0ms (0%)

series2.0ms (0%)

rewrite1.2s (23.7%)

eval3.0ms (0.1%)

prune2.0ms (0%)

regimes4.0ms (0.1%)

regimes3.0ms (0.1%)

regimes2.0ms (0%)

bsearch0.0ms (0%)

derivations1.0ms (0%)

preprocess92.0ms (1.9%)

end0.0ms (0%)

Profiling