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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB 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)

sample705.0ms (63.2%)

Memory

-32.7MiB live, 1 011.7MiB allocated; 207ms collecting garbage

Samples

383.0ms

8 256×

valid

Precisions

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

ival-mult!: 125.0ms (99.2% of total)

adjust: 2.0ms (1.6% of total)

Bogosity

preprocess139.0ms (12.4%)

Memory

9.2MiB live, 50.9MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	55	42
2	163	42
3	416	42
4	762	42
5	1195	42
6	2654	42
7	5554	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs y)

(negabs x)

Compiler

Compiled 14 to 12 computations (14.3% saved)

series12.0ms (1.1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	39

Stop Event

1×	iter-limit

Counts

6 → 5

Calls

Call 1

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

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

rewrite52.0ms (4.7%)

Memory

-12.1MiB live, 82.4MiB allocated; 22ms 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 x #s(literal 3 binary64)) y) y)
(.f64 (.f64 x #s(literal 3 binary64)) y)
(*.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
y

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

eval3.0ms (0.3%)

Memory: 11.2MiB live, 11.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 308 to 84 computations (72.7% saved)

prune15.0ms (1.3%)

Memory

-27.0MiB live, 14.8MiB allocated; 13ms collecting garbage

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	31	5	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	6	37

Accuracy

99.9%

Counts

37 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 77 to 66 computations (14.3% saved)

series10.0ms (0.9%)

Memory

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

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

Calls

6 calls:

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

rewrite51.0ms (4.5%)

Memory

-12.4MiB live, 75.1MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	65
0	27	65
1	55	65
2	110	65
0	283	65

Stop Event

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

Counts

15 → 189

Calls

Call 1

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

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

eval12.0ms (1.1%)

Memory: 20.4MiB live, 20.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 475 to 349 computations (76.3% saved)

prune36.0ms (3.3%)

Memory

-39.4MiB live, 13.1MiB allocated; 24ms collecting garbage

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	151	2	153
Fresh	0	0	0
Picked	3	2	5
Done	0	1	1
Total	154	5	159

Accuracy

100.0%

Counts

159 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 35 to 30 computations (14.3% saved)

series8.0ms (0.7%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	57

Stop Event

1×	iter-limit

Counts

9 → 7

Calls

Call 1

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

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

Calls

6 calls:

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

rewrite35.0ms (3.1%)

Memory

-12.6MiB live, 36.8MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	33
0	15	33
1	28	33
2	54	33
3	109	33
0	289	33

Stop Event

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

Counts

9 → 89

Calls

Call 1

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

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

eval5.0ms (0.5%)

Memory: 16.0MiB live, 16.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 567 to 156 computations (72.5% saved)

prune4.0ms (0.4%)

Memory

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

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	63	5	68

Accuracy

100.0%

Counts

68 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 35 to 30 computations (14.3% saved)

regimes14.0ms (1.3%)

Memory

-20.3MiB live, 25.6MiB allocated; 3ms collecting garbage

Accuracy

Total -8.1b remaining (-4625.3%)

Threshold costs -8.1b (-4625.3%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 68 to 38 computations (44.1% saved)

derivations2.0ms (0.2%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 7 to 6 computations (14.3% saved)

preprocess13.0ms (1.2%)

Memory

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

Remove

(negabs x)

(abs y)

Compiler

Compiled 42 to 36 computations (14.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample705.0ms (63.2%)

preprocess139.0ms (12.4%)

series12.0ms (1.1%)

rewrite52.0ms (4.7%)

eval3.0ms (0.3%)

prune15.0ms (1.3%)

series10.0ms (0.9%)

rewrite51.0ms (4.5%)

eval12.0ms (1.1%)

prune36.0ms (3.3%)

series8.0ms (0.7%)

rewrite35.0ms (3.1%)

eval5.0ms (0.5%)

prune4.0ms (0.4%)

regimes14.0ms (1.3%)

derivations2.0ms (0.2%)

preprocess13.0ms (1.2%)

end0.0ms (0%)

Profiling