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

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB 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)

sample628.0ms (57.3%)

Memory

3.7MiB live, 845.0MiB allocated; 198ms collecting garbage

Samples

387.0ms

8 256×

valid

Precisions

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

ival-mult!: 167.0ms (99.4% of total)

adjust: 1.0ms (0.6% of total)

Bogosity

preprocess148.0ms (13.5%)

Memory

-6.9MiB live, 91.5MiB allocated; 12ms 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	2611	42
8	5511	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs x)

(negabs y)

Compiler

Compiled 14 to 12 computations (14.3% saved)

series9.0ms (0.9%)

Memory

29.4MiB live, 29.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
2.0ms	x	inf
1.0ms	y	inf
1.0ms	x	0
1.0ms	x	-inf
1.0ms	y	0

rewrite40.0ms (3.7%)

Memory

1.3MiB live, 92.2MiB allocated; 14ms 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

eval6.0ms (0.6%)

Memory: -30.0MiB live, 16.1MiB allocated; 3ms collecting garbage
Compiler: Compiled 388 to 105 computations (72.9% saved)

prune4.0ms (0.4%)

Memory

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

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	7	45

Accuracy

100.0%

Counts

45 → 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)
	99.6%	(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
▶	88.2%	(.f64 (.f64 (*.f64 x x) #s(literal 3 binary64)) y)
✓	88.3%	(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)
▶	99.7%	(.f64 (.f64 y x) (*.f64 #s(literal 3 binary64) x))
▶	88.2%	(.f64 (.f64 y #s(literal 3 binary64)) (*.f64 x x))

Compiler

Compiled 99 to 82 computations (17.2% saved)

series10.0ms (0.9%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	82

Stop Event

1×	iter-limit

Counts

15 → 10

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
2.0ms	x	-inf
2.0ms	y	-inf
1.0ms	x	inf
1.0ms	y	inf
1.0ms	x	0

rewrite47.0ms (4.3%)

Memory

-18.2MiB live, 78.2MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	65
0	27	65
1	55	65
2	105	65
0	282	65

Stop Event

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

Counts

15 → 188

Calls

Call 1

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

Outputs
(.f64 (.f64 (*.f64 #s(literal 3 binary64) y) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y) (fabs.f64 x))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 3 binary64) y)))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) y) x)
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) 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 #s(literal 3 binary64) (.f64 (*.f64 x y) x))
(.f64 (.f64 (*.f64 x y) x) #s(literal 3 binary64))
(.f64 (.f64 x y) (*.f64 #s(literal 3 binary64) x))
(.f64 x (.f64 (*.f64 #s(literal 3 binary64) x) y))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 #s(literal 3 binary64) y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 #s(literal 3 binary64) y) (*.f64 (neg.f64 x) x)))
(.f64 (.f64 y (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (fabs.f64 x) y) (fabs.f64 x))
(.f64 (.f64 (neg.f64 x) y) (neg.f64 x))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) y))
(.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 (.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 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 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y) (fabs.f64 x))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 3 binary64) y)))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) y) x)
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) 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 #s(literal 3 binary64) (.f64 (*.f64 x y) x))
(.f64 (.f64 (*.f64 x y) x) #s(literal 3 binary64))
(.f64 (.f64 x y) (*.f64 #s(literal 3 binary64) x))
(.f64 x (.f64 (*.f64 #s(literal 3 binary64) x) y))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 #s(literal 3 binary64) y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 #s(literal 3 binary64) y) (*.f64 (neg.f64 x) x)))
(*.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 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y) (fabs.f64 x))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 3 binary64) y)))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) y) x)
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) 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 #s(literal 3 binary64) (.f64 (*.f64 x y) x))
(.f64 (.f64 (*.f64 x y) x) #s(literal 3 binary64))
(.f64 (.f64 x y) (*.f64 #s(literal 3 binary64) x))
(.f64 x (.f64 (*.f64 #s(literal 3 binary64) x) y))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 #s(literal 3 binary64) y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 #s(literal 3 binary64) y) (*.f64 (neg.f64 x) x)))
(*.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 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y) (fabs.f64 x))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 3 binary64) y)))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) y) x)
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) 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 #s(literal 3 binary64) (.f64 (*.f64 x y) x))
(.f64 (.f64 (*.f64 x y) x) #s(literal 3 binary64))
(.f64 (.f64 x y) (*.f64 #s(literal 3 binary64) x))
(.f64 x (.f64 (*.f64 #s(literal 3 binary64) x) y))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 #s(literal 3 binary64) y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 #s(literal 3 binary64) y) (*.f64 (neg.f64 x) x)))
(.f64 (.f64 #s(literal 3 binary64) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (fabs.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 #s(literal 3 binary64) x) x)
(.f64 (.f64 x x) #s(literal 3 binary64))
(.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 (.f64 (*.f64 #s(literal 3 binary64) y) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (neg.f64 x) #s(literal 3 binary64)) (*.f64 (neg.f64 x) y))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y) (fabs.f64 x))
(.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) (neg.f64 x))
(.f64 (.f64 (fabs.f64 x) #s(literal 3 binary64)) (*.f64 (fabs.f64 x) y))
(.f64 (neg.f64 (fabs.f64 x)) (.f64 (neg.f64 (fabs.f64 x)) (*.f64 #s(literal 3 binary64) y)))
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) #s(literal 3 binary64)) y))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y))
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) y) x)
(.f64 (.f64 (*.f64 #s(literal 3 binary64) x) 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 #s(literal 3 binary64) (.f64 (*.f64 x y) x))
(.f64 (.f64 (*.f64 x y) x) #s(literal 3 binary64))
(.f64 (.f64 x y) (*.f64 #s(literal 3 binary64) x))
(.f64 x (.f64 (*.f64 #s(literal 3 binary64) x) y))
(.f64 y (.f64 (*.f64 #s(literal 3 binary64) x) x))
(neg.f64 (.f64 x (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y)))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 #s(literal 3 binary64) y)))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) #s(literal 3 binary64)) y) x))
(neg.f64 (.f64 (.f64 #s(literal 3 binary64) y) (*.f64 (neg.f64 x) x)))
(.f64 (.f64 #s(literal 3 binary64) x) y)
(.f64 (.f64 #s(literal 3 binary64) y) x)
(.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 (.f64 #s(literal 3 binary64) x))

eval14.0ms (1.3%)

Memory: -6.5MiB live, 38.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 246 to 296 computations (76.2% saved)

prune8.0ms (0.8%)

Memory

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

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	1	0	1
Picked	2	3	5
Done	0	1	1
Total	134	5	139

Accuracy

100.0%

Counts

139 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 35 to 30 computations (14.3% saved)

series9.0ms (0.8%)

Memory

-25.6MiB live, 20.1MiB allocated; 4ms 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 #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

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 (* 3 y) (*.f64 #s(literal 3 binary64) y))
#s(approx y y)

Calls

6 calls:

Time	Variable	Point
3.0ms	x	0
1.0ms	y	-inf
1.0ms	y	inf
1.0ms	x	inf
1.0ms	x	-inf

rewrite55.0ms (5%)

Memory

6.6MiB live, 55.0MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	16	18
2	37	18
3	93	18
0	273	18

Stop Event

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

Counts

6 → 35

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

Outputs
(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(.f64 (.f64 (fabs.f64 x) y) (*.f64 (fabs.f64 x) #s(literal 3 binary64)))
(.f64 (.f64 (neg.f64 x) y) (*.f64 (neg.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 (*.f64 (neg.f64 x) y) #s(literal 3 binary64)) (neg.f64 x))
(.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 x #s(literal 3 binary64)) (*.f64 x y))
(.f64 (.f64 (*.f64 x x) y) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 x x) #s(literal 3 binary64)) y)
(.f64 (fabs.f64 x) (.f64 (*.f64 (fabs.f64 x) y) #s(literal 3 binary64)))
(.f64 (neg.f64 x) (.f64 (*.f64 (neg.f64 x) y) #s(literal 3 binary64)))
(.f64 (.f64 x x) (*.f64 y #s(literal 3 binary64)))
(.f64 (.f64 x y) (*.f64 x #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) y) #s(literal 3 binary64))))
(neg.f64 (.f64 (.f64 (neg.f64 x) x) (*.f64 y #s(literal 3 binary64))))
(neg.f64 (.f64 (.f64 (*.f64 (neg.f64 x) y) #s(literal 3 binary64)) 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

eval3.0ms (0.3%)

Memory: 7.6MiB live, 7.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 301 to 81 computations (73.1% saved)

prune3.0ms (0.3%)

Memory

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

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	35	5	40

Accuracy

100.0%

Counts

40 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 35 to 30 computations (14.3% saved)

regimes44.0ms (4%)

Memory

-5.3MiB live, 85.4MiB allocated; 9ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

6 → 1

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

Call 2

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

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

Call 3

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) #s(literal 3 binary64)) y)
(.f64 (.f64 (*.f64 y x) #s(literal 3 binary64)) x)
(.f64 (.f64 (*.f64 y x) x) #s(literal 3 binary64))
(.f64 (.f64 (*.f64 y #s(literal 3 binary64)) (neg.f64 (fabs.f64 x))) (neg.f64 (fabs.f64 x)))

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

Calls

12 calls:

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

Results

Accuracy	Segments	Branch
88.2%	1	`(.f64 (.f64 x #s(literal 3 binary64)) x)`
88.2%	1	`(.f64 (.f64 (*.f64 x #s(literal 3 binary64)) x) y)`
88.2%	1	`x`
88.2%	1	`y`
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`
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 102 to 70 computations (31.4% saved)

derivations5.0ms (0.5%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 21 to 11 computations (47.6% saved)

preprocess60.0ms (5.5%)

Memory

-23.9MiB live, 123.9MiB allocated; 41ms collecting garbage

Remove

(negabs y)

(abs x)

Compiler

Compiled 112 to 89 computations (20.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample628.0ms (57.3%)

preprocess148.0ms (13.5%)

series9.0ms (0.9%)

rewrite40.0ms (3.7%)

eval6.0ms (0.6%)

prune4.0ms (0.4%)

series10.0ms (0.9%)

rewrite47.0ms (4.3%)

eval14.0ms (1.3%)

prune8.0ms (0.8%)

series9.0ms (0.8%)

rewrite55.0ms (5%)

eval3.0ms (0.3%)

prune3.0ms (0.3%)

regimes44.0ms (4%)

derivations5.0ms (0.5%)

preprocess60.0ms (5.5%)

end0.0ms (0%)

Profiling