Metrics for Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, A

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample515.0ms (46.3%)

Memory

11.7MiB live, 851.2MiB allocated; 149ms collecting garbage

Samples

312.0ms

8 256×

valid

Precisions

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

ival-mult!: 119.0ms (98.4% of total)

adjust: 1.0ms (0.8% of total)

Bogosity

preprocess171.0ms (15.4%)

Memory

-13.9MiB live, 51.4MiB allocated; 49ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	49	42
2	144	42
3	324	42
4	538	42
5	809	42
6	1150	42
7	2610	42
8	5512	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.4%	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)

Symmetry

(abs x)

(negabs y)

Compiler

Compiled 12 to 12 computations (0% saved)

series10.0ms (0.9%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	39

Stop Event

1×	iter-limit

Counts

6 → 5

Calls

Call 1

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

Outputs
#s(approx (* (* (* x 3) x) y) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) y)))
#s(approx (* (* x 3) x) (*.f64 #s(literal 3 binary64) (pow.f64 x #s(literal 2 binary64))))
#s(approx (* x 3) (*.f64 #s(literal 3 binary64) x))
#s(approx x x)
#s(approx y y)

Calls

6 calls:

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

rewrite41.0ms (3.7%)

Memory

23.6MiB live, 70.6MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	15	18
2	29	18
3	52	18
4	104	18
0	282	18

Stop Event

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

Counts

6 → 43

Calls

Call 1

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

Outputs
(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) y) #s(literal 3 binary64)) (fabs.f64 x))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 y #s(literal 3 binary64))))
(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) y) #s(literal 3 binary64)))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 x x) (*.f64 y #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) x) y)
(.f64 (.f64 #s(literal 3 binary64) x) (*.f64 y x))
(.f64 #s(literal 3 binary64) (.f64 (*.f64 y x) x))
(.f64 x (.f64 (*.f64 y x) #s(literal 3 binary64)))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 y #s(literal 3 binary64))))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 y #s(literal 3 binary64)) (*.f64 (neg.f64 x) x)))
(.f64 (.f64 #s(literal 3 binary64) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.f64 x))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) #s(literal 3 binary64)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 x x) #s(literal 3 binary64))
(.f64 (.f64 #s(literal 3 binary64) x) x)
(.f64 #s(literal 3 binary64) (.f64 x x))
(.f64 x (.f64 #s(literal 3 binary64) x))
(neg.f64 (.f64 x (.f64 (neg.f64 x) #s(literal 3 binary64))))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) #s(literal 3 binary64)))
(neg.f64 (.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) x))
(neg.f64 (.f64 #s(literal 3 binary64) (.f64 (neg.f64 x) x)))
(*.f64 #s(literal 3 binary64) x)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y

eval21.0ms (1.8%)

Memory: -31.9MiB live, 14.7MiB allocated; 4ms collecting garbage
Compiler: Compiled 205 to 105 computations (48.8% saved)

prune5.0ms (0.4%)

Memory

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

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	37	7	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	8	45

Accuracy

100.0%

Counts

45 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
▶	99.7%	(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
▶	99.7%	(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
	99.7%	(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
✓	91.4%	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
▶	99.6%	(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
▶	91.4%	(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))
	91.4%	#s(approx (* (* (* x 3) x) y) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) y)))

Compiler

Compiled 114 to 108 computations (5.3% saved)

series15.0ms (1.3%)

Memory

-0.9MiB live, 45.0MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	97

Stop Event

1×	iter-limit

Counts

17 → 12

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
(.f64 (.f64 y x) #s(literal 3 binary64))
(*.f64 y x)
y
x
#s(literal 3 binary64)
(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))
(*.f64 y #s(literal 3 binary64))
(*.f64 x x)
(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
(*.f64 #s(literal 3 binary64) x)
(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
(.f64 (.f64 y x) x)
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) y)
(*.f64 (neg.f64 x) #s(literal 3 binary64))
(neg.f64 x)

Outputs
#s(approx (* (* (* y x) 3) x) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) y)))
#s(approx (* (* y x) 3) (.f64 #s(literal 3 binary64) (.f64 x y)))
#s(approx (* y x) (*.f64 x y))
#s(approx x x)
#s(approx (* x x) (pow.f64 x #s(literal 2 binary64)))
#s(approx (* 3 x) (*.f64 #s(literal 3 binary64) x))
#s(approx (* (* y x) x) (*.f64 (pow.f64 x #s(literal 2 binary64)) y))
#s(approx (* (* (neg x) 3) y) (.f64 #s(literal -3 binary64) (.f64 x y)))
#s(approx (* (neg x) 3) (*.f64 #s(literal -3 binary64) x))
#s(approx (neg x) (*.f64 #s(literal -1 binary64) x))
#s(approx y y)
#s(approx (* y 3) (*.f64 #s(literal 3 binary64) y))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	y	@	0	((* (* (* y x) 3) x) (* (* y x) 3) (* y x) y x 3 (* (* y 3) (* x x)) (* y 3) (* x x) (* (* y x) (* 3 x)) (* 3 x) (* (* (* y x) x) 3) (* (* y x) x) (* (* (* (neg x) 3) y) (neg x)) (* (* (neg x) 3) y) (* (neg x) 3) (neg x))
2.0ms	x	@	-inf	((* (* (* y x) 3) x) (* (* y x) 3) (* y x) y x 3 (* (* y 3) (* x x)) (* y 3) (* x x) (* (* y x) (* 3 x)) (* 3 x) (* (* (* y x) x) 3) (* (* y x) x) (* (* (* (neg x) 3) y) (neg x)) (* (* (neg x) 3) y) (* (neg x) 3) (neg x))
2.0ms	x	@	inf	((* (* (* y x) 3) x) (* (* y x) 3) (* y x) y x 3 (* (* y 3) (* x x)) (* y 3) (* x x) (* (* y x) (* 3 x)) (* 3 x) (* (* (* y x) x) 3) (* (* y x) x) (* (* (* (neg x) 3) y) (neg x)) (* (* (neg x) 3) y) (* (neg x) 3) (neg x))
2.0ms	y	@	-inf	((* (* (* y x) 3) x) (* (* y x) 3) (* y x) y x 3 (* (* y 3) (* x x)) (* y 3) (* x x) (* (* y x) (* 3 x)) (* 3 x) (* (* (* y x) x) 3) (* (* y x) x) (* (* (* (neg x) 3) y) (neg x)) (* (* (neg x) 3) y) (* (neg x) 3) (neg x))
2.0ms	x	@	0	((* (* (* y x) 3) x) (* (* y x) 3) (* y x) y x 3 (* (* y 3) (* x x)) (* y 3) (* x x) (* (* y x) (* 3 x)) (* 3 x) (* (* (* y x) x) 3) (* (* y x) x) (* (* (* (neg x) 3) y) (neg x)) (* (* (neg x) 3) y) (* (neg x) 3) (neg x))

rewrite112.0ms (10.1%)

Memory

7.8MiB live, 106.5MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	74
0	31	72
1	66	70
2	145	70
0	368	70

Stop Event

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

Counts

17 → 219

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
(.f64 (.f64 y x) #s(literal 3 binary64))
(*.f64 y x)
y
x
#s(literal 3 binary64)
(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))
(*.f64 y #s(literal 3 binary64))
(*.f64 x x)
(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
(*.f64 #s(literal 3 binary64) x)
(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
(.f64 (.f64 y x) x)
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) y)
(*.f64 (neg.f64 x) #s(literal 3 binary64))
(neg.f64 x)

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

eval13.0ms (1.2%)

Memory: -8.8MiB live, 35.8MiB allocated; 5ms collecting garbage
Compiler: Compiled 571 to 302 computations (47.1% saved)

prune7.0ms (0.7%)

Memory

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

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	2	0	2
Picked	1	4	5
Done	0	1	1
Total	131	7	138

Accuracy

100.0%

Counts

138 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.7%	(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
✓	99.7%	(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
▶	91.4%	(.f64 (.f64 (*.f64 x x) y) #s(literal 3 binary64))
✓	91.4%	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
▶	99.7%	(.f64 (.f64 (*.f64 #s(literal 3 binary64) y) x) x)
✓	99.6%	(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
✓	91.4%	(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))

Compiler

Compiled 42 to 42 computations (0% saved)

series11.0ms (1%)

Memory

-16.4MiB live, 29.4MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	57

Stop Event

1×	iter-limit

Counts

9 → 7

Calls

Call 1

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

Outputs
#s(approx (* (* (* 3 y) x) x) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) y)))
#s(approx (* (* 3 y) x) (.f64 #s(literal 3 binary64) (.f64 x y)))
#s(approx x x)
#s(approx (* (* x x) y) (*.f64 (pow.f64 x #s(literal 2 binary64)) y))
#s(approx (* x x) (pow.f64 x #s(literal 2 binary64)))
#s(approx (* 3 y) (*.f64 #s(literal 3 binary64) y))
#s(approx y y)

Calls

6 calls:

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

rewrite42.0ms (3.8%)

Memory

-12.0MiB live, 83.4MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	33
0	15	33
1	33	33
2	92	33
0	272	33

Stop Event

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

Counts

9 → 99

Calls

Call 1

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

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

eval6.0ms (0.6%)

Memory: 23.2MiB live, 23.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 379 to 215 computations (43.3% saved)

prune9.0ms (0.8%)

Memory

-22.5MiB live, 22.9MiB allocated; 5ms collecting garbage

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	0	0
Picked	0	2	2
Done	0	5	5
Total	76	7	83

Accuracy

100.0%

Counts

83 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.7%	(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
✓	99.7%	(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
✓	91.4%	(.f64 (.f64 (*.f64 x x) y) #s(literal 3 binary64))
✓	91.4%	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
✓	99.7%	(.f64 (.f64 (*.f64 #s(literal 3 binary64) y) x) x)
✓	99.6%	(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
✓	91.4%	(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))

Compiler

Compiled 87 to 80 computations (8% saved)

regimes14.0ms (1.3%)

Memory

-1.5MiB live, 44.2MiB allocated; 4ms collecting garbage

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) y) x) x)
(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
(.f64 (.f64 (*.f64 x x) y) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
#s(approx (* (* (* x 3) x) y) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) y)))

Outputs
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)

Calls

4 calls:

5.0ms	(.f64 (.f64 x #s(literal 3 binary64)) x)
3.0ms	y
3.0ms	x
3.0ms	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)

Results

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

Compiler

Compiled 12 to 15 computations (-25% saved)

regimes8.0ms (0.7%)

Memory

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

Counts

5 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 (*.f64 #s(literal 3 binary64) y) x) x)

Calls

4 calls:

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

Results

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

Compiler

Compiled 12 to 15 computations (-25% saved)

regimes13.0ms (1.2%)

Memory

-25.6MiB live, 26.2MiB allocated; 7ms collecting garbage

Counts

2 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))

Calls

4 calls:

7.0ms	x
4.0ms	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
1.0ms	y
1.0ms	(.f64 (.f64 x #s(literal 3 binary64)) x)

Results

Accuracy	Segments	Branch
99.6%	1	`(.f64 (.f64 x #s(literal 3 binary64)) x)`
99.6%	1	`(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)`
99.6%	1	`x`
99.6%	1	`y`

Compiler

Compiled 12 to 15 computations (-25% saved)

regimes4.0ms (0.3%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

Outputs
(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
91.4%	1	`(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)`
91.4%	1	`(.f64 (.f64 x #s(literal 3 binary64)) x)`
91.4%	1	`x`
91.4%	1	`y`

Compiler

Compiled 12 to 15 computations (-25% saved)

derivations10.0ms (0.9%)

Memory

-23.6MiB live, 22.6MiB allocated; 3ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 15 to 14 computations (6.7% saved)

preprocess83.0ms (7.5%)

Memory

46.5MiB live, 170.7MiB allocated; 72ms collecting garbage

Remove

(negabs y)

(abs x)

Compiler

Compiled 117 to 116 computations (0.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample515.0ms (46.3%)

preprocess171.0ms (15.4%)

series10.0ms (0.9%)

rewrite41.0ms (3.7%)

eval21.0ms (1.8%)

prune5.0ms (0.4%)

series15.0ms (1.3%)

rewrite112.0ms (10.1%)

eval13.0ms (1.2%)

prune7.0ms (0.7%)

series11.0ms (1%)

rewrite42.0ms (3.8%)

eval6.0ms (0.6%)

prune9.0ms (0.8%)

regimes14.0ms (1.3%)

regimes8.0ms (0.7%)

regimes13.0ms (1.2%)

regimes4.0ms (0.3%)

derivations10.0ms (0.9%)

preprocess83.0ms (7.5%)

end0.0ms (0%)

Profiling