Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, H

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

1.2MiB live, 1.2MiB 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 9 computations (0% saved)

sample1.3s (37%)

Memory

51.2MiB live, 1 533.7MiB allocated; 482ms collecting garbage

Samples

987.0ms

8 256×

valid

Precisions

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

ival-mult: 175.0ms (56.1% of total)

ival-add: 79.0ms (25.3% of total)

ival-sub: 42.0ms (13.5% of total)

ival-true: 6.0ms (1.9% of total)

exact: 5.0ms (1.6% of total)

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

adjust: 2.0ms (0.6% of total)

Bogosity

explain122.0ms (3.6%)

Memory

2.0MiB live, 198.4MiB allocated; 81ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
-	-	`y`
-	-	`(-.f64 #s(literal 1 binary64) z)`
-	-	`#s(literal 1 binary64)`
-	-	`(+.f64 x y)`
-	-	`z`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

25.0ms

512×

valid

Compiler

Compiled 45 to 25 computations (44.4% saved)

Precisions

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

ival-sub: 3.0ms (30.9% of total)

ival-add: 3.0ms (30.9% of total)

ival-mult: 3.0ms (30.9% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess204.0ms (6%)

Memory

34.2MiB live, 277.1MiB allocated; 41ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	77
1	50	77
2	111	77
3	257	73
4	606	71
5	2491	70
6	7479	70
0	7	7
0	10	7
1	14	7
2	25	7
3	50	7
4	137	7
5	752	7
6	5898	7
0	8191	7

Stop Event

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

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Outputs
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x))

Symmetry

(sort x y)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Compiler

Compiled 7 to 7 computations (0% saved)

series6.0ms (0.2%)

Memory

-33.6MiB live, 14.2MiB allocated; 2ms collecting garbage

Counts

7 → 27

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(+.f64 x y)
x
y
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z

Outputs
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx z #s(hole binary64 z))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))

Calls

9 calls:

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

simplify115.0ms (3.4%)

Memory

25.3MiB live, 215.5MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	267
1	249	266
2	819	266
3	2751	265
4	7640	265
0	8645	265

Stop Event

1×	iter limit
1×	node limit

Counts

27 → 27

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx z #s(hole binary64 z))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))

Outputs
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) y)
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ x y) (+.f64 y x))
#s(approx x #s(hole binary64 x))
#s(approx x x)
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) x)
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) (+.f64 y x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) (+.f64 y x))
#s(approx y #s(hole binary64 y))
#s(approx y y)
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) (+.f64 y x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) (+.f64 y x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(literal 1 binary64))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx (- 1 z) (-.f64 #s(literal 1 binary64) z))
#s(approx z #s(hole binary64 z))
#s(approx z z)
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (neg.f64 z) (+.f64 y x)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) (neg.f64 z))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (- 1 z) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) z))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (* (+ x y) (- 1 z)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x)))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (- 1 z) (*.f64 (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z)) z))

rewrite49.0ms (1.4%)

Memory

-6.4MiB live, 86.3MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
0	10	17
1	40	17
0	306	17

Stop Event

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

Counts

7 → 47

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(+.f64 x y)
x
y
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z

Outputs
(*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 y x))
(*.f64 (+.f64 y x) (-.f64 #s(literal 1 binary64) z))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 z z)) (+.f64 y x)) (+.f64 z #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 (+.f64 y x) (-.f64 x y)) (-.f64 #s(literal 1 binary64) z)) (-.f64 x y))
(/.f64 (.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) z)) (fma.f64 y (-.f64 y x) (.f64 x x)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) z) (.f64 (+.f64 y x) (-.f64 x y))) (-.f64 x y))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 y (-.f64 y x) (.f64 x x)))
(/.f64 (.f64 (+.f64 y x) (-.f64 #s(literal 1 binary64) (.f64 z z))) (+.f64 z #s(literal 1 binary64)))
(/.f64 (*.f64 (+.f64 y x) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 z z)) (.f64 (+.f64 y x) (-.f64 x y))) (.f64 (+.f64 z #s(literal 1 binary64)) (-.f64 x y)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 z z)) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (.f64 (+.f64 z #s(literal 1 binary64)) (fma.f64 y (-.f64 y x) (.f64 x x))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (.f64 (+.f64 y x) (-.f64 x y))) (*.f64 (+.f64 (fma.f64 z z z) #s(literal 1 binary64)) (-.f64 x y)))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (.f64 (+.f64 (fma.f64 z z z) #s(literal 1 binary64)) (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (.f64 (.f64 (+.f64 y x) (-.f64 x y)) (-.f64 #s(literal 1 binary64) (.f64 z z))) (.f64 (-.f64 x y) (+.f64 z #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 (+.f64 y x) (-.f64 x y)) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (*.f64 (-.f64 x y) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) (.f64 z z))) (.f64 (fma.f64 y (-.f64 y x) (.f64 x x)) (+.f64 z #s(literal 1 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (.f64 (fma.f64 y (-.f64 y x) (*.f64 x x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))
(fma.f64 (-.f64 #s(literal 1 binary64) z) x (*.f64 (-.f64 #s(literal 1 binary64) z) y))
(fma.f64 y (-.f64 #s(literal 1 binary64) z) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
(fma.f64 x (-.f64 #s(literal 1 binary64) z) (*.f64 y (-.f64 #s(literal 1 binary64) z)))
(+.f64 (.f64 y (-.f64 #s(literal 1 binary64) z)) (.f64 x (-.f64 #s(literal 1 binary64) z)))
(+.f64 (.f64 x (-.f64 #s(literal 1 binary64) z)) (.f64 y (-.f64 #s(literal 1 binary64) z)))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) z) y) (.f64 (-.f64 #s(literal 1 binary64) z) x))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) z) x) (.f64 (-.f64 #s(literal 1 binary64) z) y))
(/.f64 (-.f64 (.f64 y y) (.f64 x x)) (-.f64 y x))
(/.f64 (neg.f64 (*.f64 (+.f64 y x) (-.f64 x y))) (neg.f64 (-.f64 x y)))
(/.f64 (neg.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 y (-.f64 y x) (*.f64 x x))))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (-.f64 x y))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 y y (-.f64 (.f64 x x) (.f64 y x))))
(/.f64 (+.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 y (-.f64 y x) (*.f64 x x)))
(-.f64 (/.f64 (.f64 x x) (-.f64 x y)) (/.f64 (.f64 y y) (-.f64 x y)))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (.f64 x x))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 y (-.f64 y x) (.f64 x x))))
(+.f64 y x)
(+.f64 x y)
x
y
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 z z))) (neg.f64 (+.f64 z #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 z z)) (+.f64 z #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 z #s(literal 1 binary64))) (/.f64 (*.f64 z z) (+.f64 z #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z

eval6.0ms (0.2%)

Memory: 18.3MiB live, 18.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 918 to 170 computations (81.5% saved)

prune29.0ms (0.8%)

Memory

-20.8MiB live, 37.7MiB allocated; 20ms collecting garbage

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	57	6	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	6	64

Accuracy

100.0%

Counts

64 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))
	66.6%	(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
▶	48.5%	(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
▶	52.5%	(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
▶	51.8%	(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
▶	52.9%	#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))

Compiler

Compiled 130 to 106 computations (18.5% saved)

series11.0ms (0.3%)

Memory

-26.3MiB live, 21.5MiB allocated; 4ms collecting garbage

Counts

17 → 54

Calls

Call 1

Inputs
(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
y
(*.f64 (-.f64 #s(literal 1 binary64) z) x)
x
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(+.f64 y x)
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
#s(approx (+ x y) x)
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
#s(approx (+ x y) y)
(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
(+.f64 x y)
#s(approx (- 1 z) (neg.f64 z))
(neg.f64 z)

Outputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ y x) #s(hole binary64 y))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ y x) #s(hole binary64 x))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx z #s(hole binary64 z))
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	((+ (* (- 1 z) y) (* (- 1 z) x)) (- 1 z) 1 z y (* (- 1 z) x) x (* (+ x y) (- 1 z)) (+ y x) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (- 1 z) (neg z))
2.0ms	x	@	inf	((+ (* (- 1 z) y) (* (- 1 z) x)) (- 1 z) 1 z y (* (- 1 z) x) x (* (+ x y) (- 1 z)) (+ y x) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (- 1 z) (neg z))
1.0ms	x	@	-inf	((+ (* (- 1 z) y) (* (- 1 z) x)) (- 1 z) 1 z y (* (- 1 z) x) x (* (+ x y) (- 1 z)) (+ y x) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (- 1 z) (neg z))
1.0ms	z	@	-inf	((+ (* (- 1 z) y) (* (- 1 z) x)) (- 1 z) 1 z y (* (- 1 z) x) x (* (+ x y) (- 1 z)) (+ y x) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (- 1 z) (neg z))
1.0ms	z	@	inf	((+ (* (- 1 z) y) (* (- 1 z) x)) (- 1 z) 1 z y (* (- 1 z) x) x (* (+ x y) (- 1 z)) (+ y x) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (* (+ x y) (- 1 z)) (+ x y) (- 1 z) (neg z))

simplify142.0ms (4.2%)

Memory

9.6MiB live, 196.4MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	143	586
1	364	585
2	1007	585
3	3115	585
4	7247	585
0	8107	585

Stop Event

1×	iter limit
1×	node limit

Counts

54 → 54

Calls

Call 1

Inputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ y x) #s(hole binary64 y))
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ y x) #s(hole binary64 x))
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx z #s(hole binary64 z))
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))

Outputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (- 1 z) x) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx x #s(hole binary64 x))
#s(approx x x)
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ y x) #s(hole binary64 y))
#s(approx (+ x y) y)
#s(approx (+ y x) #s(hole binary64 (+ x y)))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) y)
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ y x) #s(hole binary64 x))
#s(approx (+ x y) x)
#s(approx (+ y x) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) x)
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ y x) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 x) (-.f64 (/.f64 (neg.f64 y) x) #s(literal 1 binary64))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 x) (-.f64 (/.f64 (neg.f64 y) x) #s(literal 1 binary64))))
#s(approx y #s(hole binary64 y))
#s(approx y y)
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ y x) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ y x) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 y) (-.f64 (/.f64 (neg.f64 x) y) #s(literal 1 binary64))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 y) (-.f64 (/.f64 (neg.f64 x) y) #s(literal 1 binary64))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(literal 1 binary64))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx (- 1 z) (-.f64 #s(literal 1 binary64) z))
#s(approx z #s(hole binary64 z))
#s(approx z z)
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) x)
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (- 1 z) x) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (+.f64 x y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (neg z) (neg.f64 z))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) (neg.f64 z))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (- 1 z) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) z))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) (*.f64 (neg.f64 z) x))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (- 1 z) x) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (- 1 z) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) z))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (- 1 z) x) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 #s(literal 1 binary64) z) (+.f64 x y)))

rewrite41.0ms (1.2%)

Memory

13.8MiB live, 59.7MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	85
0	31	82
1	91	82
0	666	82

Stop Event

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

Counts

17 → 132

Calls

Call 1

Inputs
(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))
(-.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
y
(*.f64 (-.f64 #s(literal 1 binary64) z) x)
x
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(+.f64 y x)
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
#s(approx (+ x y) x)
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
#s(approx (+ x y) y)
(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
(+.f64 x y)
#s(approx (- 1 z) (neg.f64 z))
(neg.f64 z)

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

eval22.0ms (0.6%)

Memory: -11.7MiB live, 34.5MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 280 to 398 computations (87.9% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	186	6	192
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	188	10	198

Accuracy

100.0%

Counts

198 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	47.8%	(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
	34.8%	(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
✓	48.5%	(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
✓	52.5%	(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
▶	26.2%	(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
✓	51.8%	(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
▶	26.4%	(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
✓	52.9%	#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
▶	28.2%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
▶	27.4%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Compiler

Compiled 207 to 154 computations (25.6% saved)

series7.0ms (0.2%)

Memory

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

Counts

13 → 47

Calls

Call 1

Inputs
(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
#s(approx (- 1 z) (neg.f64 z))
(neg.f64 z)
z
y
(*.f64 #s(approx (- 1 z) (neg.f64 z)) x)
x
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (+ x y) x)
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (+ x y) y)
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))

Outputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))

Calls

9 calls:

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

simplify122.0ms (3.6%)

Memory

-15.6MiB live, 120.8MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	529
1	360	528
2	1002	528
3	3113	528
4	7227	528
0	8087	528

Stop Event

1×	iter limit
1×	node limit

Counts

47 → 47

Calls

Call 1

Inputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx x #s(hole binary64 x))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))

Outputs
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 y (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (- 1 z) x) #s(hole binary64 (* x (- 1 z))))
#s(approx (* (- 1 z) x) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx x #s(hole binary64 x))
#s(approx x x)
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 y (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ (* x (- 1 z)) (* y (- 1 z)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) y)
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- 1 z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 z)) x)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) x)
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 z)) (* -1 (/ (* y (- 1 z)) x)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 x) (-.f64 (/.f64 (neg.f64 y) x) #s(literal 1 binary64))))
#s(approx y #s(hole binary64 y))
#s(approx y y)
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 z)) y)) z))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 z)) (* -1 (/ (* x (- 1 z)) y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 y) (-.f64 (/.f64 (neg.f64 x) y) #s(literal 1 binary64))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (+.f64 x y))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (+ x (+ y (* z (+ (* -1 x) (* -1 y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- 1 z) #s(hole binary64 1))
#s(approx (- 1 z) #s(literal 1 binary64))
#s(approx (- 1 z) #s(hole binary64 (+ 1 (* -1 z))))
#s(approx (- 1 z) (-.f64 #s(literal 1 binary64) z))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (neg z) (neg.f64 z))
#s(approx z #s(hole binary64 z))
#s(approx z z)
#s(approx (* (- 1 z) x) #s(hole binary64 x))
#s(approx (* (- 1 z) x) x)
#s(approx (* (- 1 z) x) #s(hole binary64 (+ x (* -1 (* x z)))))
#s(approx (* (- 1 z) x) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x y)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (+.f64 x y))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (* -1 y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* z (+ (* -1 x) (+ (* -1 y) (+ (/ x z) (/ y z)))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- 1 z) #s(hole binary64 (* -1 z)))
#s(approx (- 1 z) (neg.f64 z))
#s(approx (- 1 z) #s(hole binary64 (* z (- (/ 1 z) 1))))
#s(approx (- 1 z) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) z))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* x z))))
#s(approx (* (- 1 z) x) (*.f64 (neg.f64 z) x))
#s(approx (* (- 1 z) x) #s(hole binary64 (* z (+ (* -1 x) (/ x z)))))
#s(approx (* (- 1 z) x) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (-.f64 (neg.f64 y) x) z))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))
#s(approx (- 1 z) #s(hole binary64 (* -1 (* z (- 1 (/ 1 z))))))
#s(approx (- 1 z) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) z))
#s(approx (* (- 1 z) x) #s(hole binary64 (* -1 (* z (+ x (* -1 (/ x z)))))))
#s(approx (* (- 1 z) x) (*.f64 x (-.f64 #s(literal 1 binary64) z)))
#s(approx (* (+ x y) (- 1 z)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (+ (* (- 1 z) y) (* (- 1 z) x)) (*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)))

rewrite55.0ms (1.6%)

Memory

13.1MiB live, 57.9MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	95
0	23	89
1	75	89
0	504	89

Stop Event

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

Counts

13 → 41

Calls

Call 1

Inputs
(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
#s(approx (- 1 z) (neg.f64 z))
(neg.f64 z)
z
y
(*.f64 #s(approx (- 1 z) (neg.f64 z)) x)
x
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (+ x y) x)
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (+ x y) y)
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))

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

eval46.0ms (1.3%)

Memory: -28.6MiB live, 30.0MiB allocated; 14ms collecting garbage
Compiler: Compiled 1 840 to 181 computations (90.2% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	1	1
Picked	0	5	5
Done	0	4	4
Total	96	10	106

Accuracy

100.0%

Counts

106 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.8%	(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
▶	34.8%	(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
✓	48.5%	(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
✓	52.5%	(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
✓	26.2%	(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
✓	51.8%	(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
✓	26.4%	(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
✓	52.9%	#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
✓	28.2%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
✓	27.4%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Compiler

Compiled 123 to 94 computations (23.6% saved)

series13.0ms (0.4%)

Memory

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

Counts

11 → 56

Calls

Call 1

Inputs
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y))
(-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))
#s(literal 1 binary64)
(pow.f64 z #s(literal 3 binary64))
z
#s(literal 3 binary64)
#s(approx (+ x y) y)
y
(+.f64 (fma.f64 z z z) #s(literal 1 binary64))
(fma.f64 z z z)

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

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	y	@	0	((/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (* (- 1 (pow z 3)) (+ x y)) (- 1 (pow z 3)) 1 (pow z 3) z 3 (+ x y) y (+ (+ (* z z) z) 1) (+ (* z z) z))
2.0ms	z	@	-inf	((/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (* (- 1 (pow z 3)) (+ x y)) (- 1 (pow z 3)) 1 (pow z 3) z 3 (+ x y) y (+ (+ (* z z) z) 1) (+ (* z z) z))
2.0ms	z	@	inf	((/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (* (- 1 (pow z 3)) (+ x y)) (- 1 (pow z 3)) 1 (pow z 3) z 3 (+ x y) y (+ (+ (* z z) z) 1) (+ (* z z) z))
1.0ms	x	@	0	((/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (* (- 1 (pow z 3)) (+ x y)) (- 1 (pow z 3)) 1 (pow z 3) z 3 (+ x y) y (+ (+ (* z z) z) 1) (+ (* z z) z))
1.0ms	y	@	inf	((/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (* (- 1 (pow z 3)) (+ x y)) (- 1 (pow z 3)) 1 (pow z 3) z 3 (+ x y) y (+ (+ (* z z) z) 1) (+ (* z z) z))

simplify192.0ms (5.6%)

Memory

7.0MiB live, 135.7MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	241	1262
1	721	1134
2	3085	1104
0	8852	1057

Stop Event

1×	iter limit
1×	node limit

Counts

56 → 56

Calls

Call 1

Inputs
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (/ (* y (- 1 (pow z 3))) (+ 1 (+ z (pow z 2))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ (* x (- (/ 1 (+ 1 (+ z (pow z 2)))) (/ (pow z 3) (+ 1 (+ z (pow z 2)))))) (/ (* y (- 1 (pow z 3))) (+ 1 (+ z (pow z 2)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* y (- 1 (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ (* x (- 1 (pow z 3))) (* y (- 1 (pow z 3))))))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (/ (* x (- 1 (pow z 3))) (+ 1 (+ z (pow z 2))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* x (- (+ (/ 1 (+ 1 (+ z (pow z 2)))) (/ (* y (- 1 (pow z 3))) (* x (+ 1 (+ z (pow z 2)))))) (/ (pow z 3) (+ 1 (+ z (pow z 2))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* x (- 1 (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 (pow z 3))) x)) (pow z 3)))))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y (- 1 (pow z 3))) (* x (+ 1 (+ z (pow z 2)))))) (* -1 (/ (- 1 (pow z 3)) (+ 1 (+ z (pow z 2))))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 (pow z 3))) (* -1 (/ (* y (- 1 (pow z 3))) x)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ (* y (- (/ 1 (+ 1 (+ z (pow z 2)))) (/ (pow z 3) (+ 1 (+ z (pow z 2)))))) (/ (* x (- 1 (pow z 3))) (+ 1 (+ z (pow z 2)))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* y (- (+ (/ 1 (+ 1 (+ z (pow z 2)))) (/ (* x (- 1 (pow z 3))) (* y (+ 1 (+ z (pow z 2)))))) (/ (pow z 3) (+ 1 (+ z (pow z 2))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 (pow z 3))) y)) (pow z 3)))))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ (* x (- 1 (pow z 3))) (* y (+ 1 (+ z (pow z 2)))))) (* -1 (/ (- 1 (pow z 3)) (+ 1 (+ z (pow z 2))))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 (pow z 3))) (* -1 (/ (* x (- 1 (pow z 3))) y)))))))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x y)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* z (- (* -1 (* z (+ x (+ y (* -1 (+ x y)))))) (+ x y)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* z (- (* z (- (* z (+ x (+ y (* -1 (+ x y))))) (+ x (+ y (* -1 (+ x y)))))) (+ x y)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ x y)))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ x (+ y (* -1 (* (pow z 3) (+ x y)))))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 1))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (+ 1 (* -1 (pow z 3)))))
#s(approx (pow z 3) #s(hole binary64 (pow z 3)))
#s(approx z #s(hole binary64 z))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 1))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (+ 1 z)))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (+ 1 (* z (+ 1 z)))))
#s(approx (+ (* z z) z) #s(hole binary64 z))
#s(approx (+ (* z z) z) #s(hole binary64 (* z (+ 1 z))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (- (+ (* -1 (+ x y)) (* -1 (/ (+ x (+ y (* -1 (+ x y)))) (pow z 2)))) (* -1 (/ (+ x y) z))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (- (+ (* -1 (+ x y)) (+ (* -1 (/ (+ x y) (pow z 3))) (+ (/ x (pow z 3)) (/ y (pow z 3))))) (+ (* -1 (/ (+ x y) z)) (+ (* -1 (/ (+ x y) (pow z 2))) (+ (/ x (pow z 2)) (/ y (pow z 2)))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* (pow z 3) (+ x y)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* (pow z 3) (+ (* -1 (+ x y)) (+ (/ x (pow z 3)) (/ y (pow z 3)))))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* -1 (pow z 3))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* (pow z 3) (- (/ 1 (pow z 3)) 1))))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (pow z 2)))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (* (pow z 2) (+ 1 (/ 1 z)))))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (* (pow z 2) (+ 1 (+ (/ 1 z) (/ 1 (pow z 2)))))))
#s(approx (+ (* z z) z) #s(hole binary64 (pow z 2)))
#s(approx (+ (* z z) z) #s(hole binary64 (* (pow z 2) (+ 1 (/ 1 z)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (- (+ (* -1 (/ (+ x y) z)) (+ (/ x z) (/ y z))) (* -1 (+ x y))) z))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (- (* -1 (/ (- (* -1 (/ (- (+ x y) (+ (* -1 (+ x y)) (+ (* 2 x) (* 2 y)))) z)) (+ x (+ y (* -1 (+ x y))))) z)) (* -1 (+ x y))) z))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* (pow z 3) (+ x (+ y (* -1 (/ (+ x y) (pow z 3)))))))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* -1 (* (pow z 3) (- 1 (/ 1 (pow z 3)))))))

Outputs
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (/ (* y (- 1 (pow z 3))) (+ 1 (+ z (pow z 2))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (/.f64 y (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ (* x (- (/ 1 (+ 1 (+ z (pow z 2)))) (/ (pow z 3) (+ 1 (+ z (pow z 2)))))) (/ (* y (- 1 (pow z 3))) (+ 1 (+ z (pow z 2)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* y (- 1 (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) y))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ (* x (- 1 (pow z 3))) (* y (- 1 (pow z 3))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)))
#s(approx (+ x y) #s(hole binary64 y))
#s(approx (+ x y) y)
#s(approx (+ x y) #s(hole binary64 (+ x y)))
#s(approx (+ x y) (+.f64 y x))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (/ (* x (- 1 (pow z 3))) (+ 1 (+ z (pow z 2))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (/.f64 x (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* x (- (+ (/ 1 (+ 1 (+ z (pow z 2)))) (/ (* y (- 1 (pow z 3))) (* x (+ 1 (+ z (pow z 2)))))) (/ (pow z 3) (+ 1 (+ z (pow z 2))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 (/.f64 y x) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))) x))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* x (- 1 (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) x))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* x (- (+ 1 (/ (* y (- 1 (pow z 3))) x)) (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (-.f64 #s(literal -1 binary64) (/.f64 y x)))) x))
#s(approx (+ x y) #s(hole binary64 x))
#s(approx (+ x y) x)
#s(approx (+ x y) #s(hole binary64 (* x (+ 1 (/ y x)))))
#s(approx (+ x y) (fma.f64 (/.f64 y x) x x))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* x (+ (* -1 (/ (* y (- 1 (pow z 3))) (* x (+ 1 (+ z (pow z 2)))))) (* -1 (/ (- 1 (pow z 3)) (+ 1 (+ z (pow z 2))))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 (/.f64 y x) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))) x))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* x (+ (* -1 (- 1 (pow z 3))) (* -1 (/ (* y (- 1 (pow z 3))) x)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (-.f64 #s(literal -1 binary64) (/.f64 y x)))) x))
#s(approx (+ x y) #s(hole binary64 (* -1 (* x (- (* -1 (/ y x)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) (/.f64 y x) #s(literal -1 binary64))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ (* y (- (/ 1 (+ 1 (+ z (pow z 2)))) (/ (pow z 3) (+ 1 (+ z (pow z 2)))))) (/ (* x (- 1 (pow z 3))) (+ 1 (+ z (pow z 2)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64))))
#s(approx y #s(hole binary64 y))
#s(approx y y)
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* y (- (+ (/ 1 (+ 1 (+ z (pow z 2)))) (/ (* x (- 1 (pow z 3))) (* y (+ 1 (+ z (pow z 2)))))) (/ (pow z 3) (+ 1 (+ z (pow z 2))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 (/.f64 x y) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))) y))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* y (- (+ 1 (/ (* x (- 1 (pow z 3))) y)) (pow z 3)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (-.f64 #s(literal -1 binary64) (/.f64 x y)))) y))
#s(approx (+ x y) #s(hole binary64 (* y (+ 1 (/ x y)))))
#s(approx (+ x y) (fma.f64 (/.f64 x y) y y))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ (* x (- 1 (pow z 3))) (* y (+ 1 (+ z (pow z 2)))))) (* -1 (/ (- 1 (pow z 3)) (+ 1 (+ z (pow z 2))))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 (/.f64 x y) #s(literal 1 binary64)) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))) y))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* y (+ (* -1 (- 1 (pow z 3))) (* -1 (/ (* x (- 1 (pow z 3))) y)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (-.f64 #s(literal -1 binary64) (/.f64 x y)))) y))
#s(approx (+ x y) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) 1)))))
#s(approx (+ x y) (*.f64 (neg.f64 y) (fma.f64 (/.f64 x y) #s(literal -1 binary64) #s(literal -1 binary64))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x y)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (+.f64 y x))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* -1 (* z (+ x y)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (*.f64 (+.f64 y x) (-.f64 #s(literal 1 binary64) z)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* z (- (* -1 (* z (+ x (+ y (* -1 (+ x y)))))) (+ x y)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (+ x (+ y (* z (- (* z (- (* z (+ x (+ y (* -1 (+ x y))))) (+ x (+ y (* -1 (+ x y)))))) (+ x y)))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (fma.f64 (fma.f64 #s(literal 0 binary64) z #s(literal 0 binary64)) z (neg.f64 (+.f64 y x))) z (+.f64 y x)))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ x y)))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (+.f64 y x))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (+ x (+ y (* -1 (* (pow z 3) (+ x y)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)))
#s(approx (- 1 (pow z 3)) #s(hole binary64 1))
#s(approx (- 1 (pow z 3)) #s(literal 1 binary64))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (+ 1 (* -1 (pow z 3)))))
#s(approx (- 1 (pow z 3)) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))))
#s(approx (pow z 3) #s(hole binary64 (pow z 3)))
#s(approx (pow z 3) (pow.f64 z #s(literal 3 binary64)))
#s(approx z #s(hole binary64 z))
#s(approx z z)
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 1))
#s(approx (+ (+ (* z z) z) 1) #s(literal 1 binary64))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (+ 1 z)))
#s(approx (+ (+ (* z z) z) 1) (+.f64 #s(literal 1 binary64) z))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (+ 1 (* z (+ 1 z)))))
#s(approx (+ (+ (* z z) z) 1) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
#s(approx (+ (* z z) z) #s(hole binary64 z))
#s(approx (+ (* z z) z) z)
#s(approx (+ (* z z) z) #s(hole binary64 (* z (+ 1 z))))
#s(approx (+ (* z z) z) (fma.f64 z z z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x y)))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (*.f64 (neg.f64 z) (+.f64 y x)))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (+ (* -1 (+ x y)) (+ (/ x z) (/ y z))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (- (+ (* -1 (+ x y)) (* -1 (/ (+ x (+ y (* -1 (+ x y)))) (pow z 2)))) (* -1 (/ (+ x y) z))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* z (- (+ (* -1 (+ x y)) (+ (* -1 (/ (+ x y) (pow z 3))) (+ (/ x (pow z 3)) (/ y (pow z 3))))) (+ (* -1 (/ (+ x y) z)) (+ (* -1 (/ (+ x y) (pow z 2))) (+ (/ x (pow z 2)) (/ y (pow z 2)))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* (pow z 3) (+ x y)))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (neg.f64 (+.f64 y x)) (pow.f64 z #s(literal 3 binary64))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* (pow z 3) (+ (* -1 (+ x y)) (+ (/ x (pow z 3)) (/ y (pow z 3)))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 (/.f64 (+.f64 y x) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (pow.f64 z #s(literal 3 binary64))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* -1 (pow z 3))))
#s(approx (- 1 (pow z 3)) (pow.f64 (neg.f64 z) #s(literal 3 binary64)))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* (pow z 3) (- (/ 1 (pow z 3)) 1))))
#s(approx (- 1 (pow z 3)) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (pow.f64 z #s(literal 3 binary64))))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (pow z 2)))
#s(approx (+ (+ (* z z) z) 1) (*.f64 z z))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (* (pow z 2) (+ 1 (/ 1 z)))))
#s(approx (+ (+ (* z z) z) 1) (fma.f64 z z z))
#s(approx (+ (+ (* z z) z) 1) #s(hole binary64 (* (pow z 2) (+ 1 (+ (/ 1 z) (/ 1 (pow z 2)))))))
#s(approx (+ (+ (* z z) z) 1) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
#s(approx (+ (* z z) z) #s(hole binary64 (pow z 2)))
#s(approx (+ (* z z) z) (*.f64 z z))
#s(approx (+ (* z z) z) #s(hole binary64 (* (pow z 2) (+ 1 (/ 1 z)))))
#s(approx (+ (* z z) z) (fma.f64 z z z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (+ x y) z))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (- (+ (* -1 (/ (+ x y) z)) (+ (/ x z) (/ y z))) (* -1 (+ x y))) z))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) #s(hole binary64 (* -1 (* z (+ x (+ y (* -1 (/ (- (* -1 (/ (- (* -1 (/ (- (+ x y) (+ (* -1 (+ x y)) (+ (* 2 x) (* 2 y)))) z)) (+ x (+ y (* -1 (+ x y))))) z)) (* -1 (+ x y))) z))))))))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (.f64 (.f64 (+.f64 y x) (-.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) z))) z))
#s(approx (* (- 1 (pow z 3)) (+ x y)) #s(hole binary64 (* -1 (* (pow z 3) (+ x (+ y (* -1 (/ (+ x y) (pow z 3)))))))))
#s(approx (* (- 1 (pow z 3)) (+ x y)) (*.f64 (-.f64 (/.f64 (+.f64 y x) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (pow.f64 z #s(literal 3 binary64))))
#s(approx (- 1 (pow z 3)) #s(hole binary64 (* -1 (* (pow z 3) (- 1 (/ 1 (pow z 3)))))))
#s(approx (- 1 (pow z 3)) (*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (pow.f64 (neg.f64 z) #s(literal 3 binary64))))

rewrite167.0ms (4.9%)

Memory

-22.0MiB live, 37.9MiB allocated; 142ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	56
0	20	56
1	93	56
0	762	56

Stop Event

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

Counts

11 → 118

Calls

Call 1

Inputs
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y))
(-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))
#s(literal 1 binary64)
(pow.f64 z #s(literal 3 binary64))
z
#s(literal 3 binary64)
#s(approx (+ x y) y)
y
(+.f64 (fma.f64 z z z) #s(literal 1 binary64))
(fma.f64 z z z)

Outputs
(.f64 (/.f64 (.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64))) (-.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 3 binary64)) #s(literal -1 binary64))) (-.f64 (+.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 z z z)))
(*.f64 (/.f64 #s(approx (+ x y) y) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))))
(*.f64 #s(approx (+ x y) y) (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(approx (+ x y) y) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (/.f64 #s(approx (+ x y) y) (-.f64 (fma.f64 z z z) #s(literal -1 binary64)))) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64))) (/.f64 #s(approx (+ x y) y) (-.f64 (fma.f64 z z z) #s(literal -1 binary64)))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64))))
(/.f64 (neg.f64 (*.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) #s(approx (+ x y) y))) (neg.f64 (neg.f64 (-.f64 (fma.f64 z z z) #s(literal -1 binary64)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) #s(approx (+ x y) y)) (.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64)) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64))) #s(approx (+ x y) y)) (.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64))) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(/.f64 (*.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) #s(approx (+ x y) y)) (neg.f64 (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(/.f64 (*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (-.f64 (fma.f64 z z z) #s(literal -1 binary64)))
(neg.f64 (/.f64 (*.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) #s(approx (+ x y) y)) (-.f64 (fma.f64 z z z) #s(literal -1 binary64))))
(neg.f64 (/.f64 (*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (-.f64 (fma.f64 z z z) #s(literal -1 binary64)))))
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))))
(*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y))
(/.f64 (*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64)))) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64)))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64))))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) #s(approx (+ x y) y)) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64))) #s(approx (+ x y) y)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64))))
(*.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3/2 binary64))) (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3/2 binary64))))
(.f64 (+.f64 #s(literal 1 binary64) (fma.f64 z z (.f64 #s(literal 1 binary64) z))) (-.f64 #s(literal 1 binary64) z))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64)))) (neg.f64 (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64)))) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 9 binary64))) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 z #s(literal 6 binary64)) (+.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64)))) (/.f64 (pow.f64 z #s(literal 9 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 6 binary64))) (pow.f64 z #s(literal 3 binary64)))))
(-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (pow.f64 z #s(literal 3/2 binary64))) (pow.f64 z #s(literal 3/2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 (.f64 z z)) z))
(+.f64 #s(literal 1 binary64) (.f64 (neg.f64 z) (.f64 z z)))
#s(literal 1 binary64)
(.f64 (.f64 #s(literal 1 binary64) (*.f64 z z)) z)
(.f64 (.f64 z (neg.f64 z)) (neg.f64 z))
(.f64 (.f64 z (fabs.f64 z)) (fabs.f64 z))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3/2 binary64))) (*.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3/2 binary64))))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3/2 binary64))) (pow.f64 z #s(literal 3/2 binary64)))
(*.f64 (neg.f64 (pow.f64 z #s(literal 3/2 binary64))) (neg.f64 (pow.f64 z #s(literal 3/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 z #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 z #s(literal 3/2 binary64))))
(.f64 (.f64 #s(literal 1 binary64) z) (*.f64 z z))
(*.f64 (pow.f64 z #s(literal 3/2 binary64)) (pow.f64 z #s(literal 3/2 binary64)))
(.f64 (neg.f64 z) (.f64 (neg.f64 z) z))
(.f64 (fabs.f64 z) (.f64 (fabs.f64 z) z))
(.f64 (.f64 z z) z)
(*.f64 (pow.f64 z #s(literal 3 binary64)) #s(literal 1 binary64))
(.f64 z (.f64 z z))
(*.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64)))
(pow.f64 (exp.f64 (log.f64 z)) #s(literal 3 binary64))
(pow.f64 (*.f64 #s(literal 1 binary64) z) #s(literal 3 binary64))
(pow.f64 (pow.f64 z #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 z z) #s(literal 3/2 binary64))
(pow.f64 z #s(literal 3 binary64))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 z) #s(literal 3 binary64))))
(exp.f64 (*.f64 (log.f64 z) #s(literal 3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 z) #s(literal 3 binary64))) (sinh.f64 (.f64 (log.f64 z) #s(literal 3 binary64))))
z
#s(literal 3 binary64)
#s(approx (+ x y) y)
y
(/.f64 (-.f64 (pow.f64 z #s(literal 4 binary64)) (.f64 (-.f64 z #s(literal -1 binary64)) (-.f64 z #s(literal -1 binary64)))) (-.f64 (.f64 z z) (-.f64 z #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (fma.f64 z z z) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (fma.f64 z z z)))
(/.f64 (+.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 (-.f64 z #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (pow.f64 z #s(literal 4 binary64)) (-.f64 (.f64 (-.f64 z #s(literal -1 binary64)) (-.f64 z #s(literal -1 binary64))) (.f64 (*.f64 z z) (-.f64 z #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (-.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (-.f64 (+.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 z z z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 3 binary64)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) (fma.f64 z z z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 z z z) #s(literal 3 binary64)) #s(literal -1 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 z z z)))
(fma.f64 (pow.f64 z #s(literal 1 binary64)) (pow.f64 z #s(literal 1 binary64)) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 z)) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (neg.f64 (fabs.f64 z)) (neg.f64 (fabs.f64 z)) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (fabs.f64 (fabs.f64 z)) (fabs.f64 (fabs.f64 z)) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (-.f64 z #s(literal -1 binary64)) (*.f64 z #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (-.f64 z #s(literal -1 binary64)) z #s(literal 1 binary64))
(fma.f64 (neg.f64 z) (neg.f64 z) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (fabs.f64 z) (fabs.f64 z) (-.f64 z #s(literal -1 binary64)))
(fma.f64 (fma.f64 z z z) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 z (-.f64 z #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 z z (-.f64 z #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 z z z) #s(literal 1 binary64))
(-.f64 (/.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) (-.f64 (fma.f64 z z z) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 z z z) #s(literal 1 binary64))))
(-.f64 (fma.f64 z z z) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (-.f64 z #s(literal -1 binary64))) z))
(+.f64 (+.f64 #s(literal 1 binary64) (*.f64 z z)) z)
(+.f64 (/.f64 (pow.f64 (fma.f64 z z z) #s(literal 3 binary64)) (-.f64 (+.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 z z z))) (/.f64 #s(literal 1 binary64) (-.f64 (+.f64 (pow.f64 (fma.f64 z z z) #s(literal 2 binary64)) #s(literal 1 binary64)) (fma.f64 z z z))))
(+.f64 (-.f64 z #s(literal -1 binary64)) (*.f64 z z))
(+.f64 (*.f64 z z) (-.f64 z #s(literal -1 binary64)))
(+.f64 (fma.f64 z z z) #s(literal 1 binary64))
(+.f64 z (fma.f64 z z #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) (fma.f64 z z z))
(.f64 (-.f64 z #s(literal -1 binary64)) (.f64 z #s(literal 1 binary64)))
(*.f64 (-.f64 z #s(literal -1 binary64)) z)
(*.f64 (fma.f64 z z z) #s(literal 1 binary64))
(*.f64 z (-.f64 z #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (fma.f64 z z z))
(/.f64 (.f64 (-.f64 (pow.f64 z #s(literal 4 binary64)) (.f64 z z)) #s(literal 1 binary64)) (-.f64 (*.f64 z z) z))
(/.f64 (.f64 (+.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (-.f64 z (.f64 z z)) (pow.f64 z #s(literal 4 binary64))))
(/.f64 (-.f64 (.f64 z z) (pow.f64 z #s(literal 4 binary64))) (-.f64 z (.f64 z z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 z #s(literal 4 binary64)) (.f64 z z))) (neg.f64 (-.f64 (.f64 z z) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (-.f64 z (*.f64 z z)) (pow.f64 z #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 z #s(literal 4 binary64)) (.f64 z z)) (-.f64 (.f64 z z) z))
(/.f64 (+.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z z (-.f64 (pow.f64 z #s(literal 4 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (+.f64 (pow.f64 z #s(literal 6 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (-.f64 z (*.f64 z z)) (pow.f64 z #s(literal 4 binary64))))
(fma.f64 (pow.f64 z #s(literal 1 binary64)) (pow.f64 z #s(literal 1 binary64)) z)
(fma.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 z)) z)
(fma.f64 (neg.f64 (fabs.f64 z)) (neg.f64 (fabs.f64 z)) z)
(fma.f64 (fabs.f64 (fabs.f64 z)) (fabs.f64 (fabs.f64 z)) z)
(fma.f64 (neg.f64 z) (neg.f64 z) z)
(fma.f64 (fabs.f64 z) (fabs.f64 z) z)
(fma.f64 z z z)
(-.f64 (/.f64 (pow.f64 z #s(literal 4 binary64)) (-.f64 (.f64 z z) z)) (/.f64 (.f64 z z) (-.f64 (*.f64 z z) z)))
(-.f64 z (*.f64 (neg.f64 (neg.f64 z)) (neg.f64 z)))
(-.f64 z (*.f64 (neg.f64 (fabs.f64 z)) (fabs.f64 z)))
(-.f64 z (*.f64 (neg.f64 z) z))
(-.f64 z (*.f64 z (neg.f64 z)))
(+.f64 (/.f64 (pow.f64 z #s(literal 6 binary64)) (fma.f64 z (-.f64 z (.f64 z z)) (pow.f64 z #s(literal 4 binary64)))) (/.f64 (pow.f64 z #s(literal 3 binary64)) (fma.f64 z (-.f64 z (.f64 z z)) (pow.f64 z #s(literal 4 binary64)))))
(+.f64 (*.f64 z z) z)
(+.f64 z (*.f64 z z))

eval16.0ms (0.5%)

Memory: 22.2MiB live, 22.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 964 to 592 computations (85.1% saved)

prune47.0ms (1.4%)

Memory

-37.0MiB live, 14.0MiB allocated; 14ms collecting garbage

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	0	0	0
Picked	1	0	1
Done	0	9	9
Total	166	10	176

Accuracy

100.0%

Counts

176 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.8%	(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
✓	48.5%	(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
✓	52.5%	(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
✓	26.2%	(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
✓	51.8%	(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
✓	26.4%	(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
	100.0%	#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))
✓	52.9%	#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
✓	28.2%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
✓	27.4%	#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Compiler

Compiled 321 to 152 computations (52.6% saved)

regimes32.0ms (0.9%)

Memory

3.5MiB live, 49.4MiB allocated; 4ms collecting garbage

Counts

14 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) #s(approx (+ x y) y)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 z #s(literal 3 binary64))) (+.f64 y x)) (+.f64 (fma.f64 z z z) #s(literal 1 binary64)))

Outputs
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))

Calls

6 calls:

11.0ms	(+.f64 x y)
4.0ms	y
4.0ms	x
4.0ms	z
4.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Results

Accuracy	Segments	Branch
100.0%	1	`(-.f64 #s(literal 1 binary64) z)`
100.0%	1	`(+.f64 x y)`
100.0%	1	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes36.0ms (1%)

Memory

2.4MiB live, 48.5MiB allocated; 5ms collecting garbage

Counts

11 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(fma.f64 #s(approx (- 1 z) (neg.f64 z)) y (*.f64 #s(approx (- 1 z) (neg.f64 z)) x))
(fma.f64 (-.f64 #s(literal 1 binary64) z) y (*.f64 (-.f64 #s(literal 1 binary64) z) x))

Outputs
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Calls

6 calls:

18.0ms	(+.f64 x y)
4.0ms	y
4.0ms	z
4.0ms	x
3.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Results

Accuracy	Segments	Branch
100.0%	1	`(-.f64 #s(literal 1 binary64) z)`
100.0%	1	`(+.f64 x y)`
100.0%	1	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes17.0ms (0.5%)

Memory

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

Counts

8 → 2

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))
(*.f64 (+.f64 x y) #s(approx (- 1 z) (neg.f64 z)))

Outputs
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
(*.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z))

Calls

6 calls:

3.0ms	z
3.0ms	x
3.0ms	y
3.0ms	(+.f64 x y)
3.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Results

Accuracy	Segments	Branch
98.0%	3	`(-.f64 #s(literal 1 binary64) z)`
99.1%	2	`(+.f64 x y)`
86.8%	4	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
86.1%	2	`x`
83.2%	2	`y`
98.0%	3	`z`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes39.0ms (1.2%)

Memory

-32.4MiB live, 21.2MiB allocated; 8ms collecting garbage

Counts

6 → 4

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))

Outputs
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z))

Calls

6 calls:

27.0ms	(-.f64 #s(literal 1 binary64) z)
2.0ms	y
2.0ms	x
2.0ms	(+.f64 x y)
2.0ms	z

Results

Accuracy	Segments	Branch
72.1%	4	`y`
70.4%	3	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
75.0%	5	`x`
81.1%	4	`(-.f64 #s(literal 1 binary64) z)`
81.1%	4	`z`
82.5%	5	`(+.f64 x y)`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes7.0ms (0.2%)

Memory

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

Counts

5 → 4

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))

Outputs
(*.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z)))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))

Calls

3 calls:

2.0ms	z
2.0ms	(+.f64 x y)
2.0ms	(-.f64 #s(literal 1 binary64) z)

Results

Accuracy	Segments	Branch
60.8%	4	`(+.f64 x y)`
80.6%	4	`(-.f64 #s(literal 1 binary64) z)`
80.6%	4	`z`

Compiler

Compiled 7 to 12 computations (-71.4% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

4 → 3

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))

Outputs
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))

Calls

2 calls:

2.0ms	z
2.0ms	(-.f64 #s(literal 1 binary64) z)

Results

Accuracy	Segments	Branch
76.1%	3	`(-.f64 #s(literal 1 binary64) z)`
76.1%	3	`z`

Compiler

Compiled 4 to 8 computations (-100% saved)

regimes10.0ms (0.3%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))

Outputs
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))

Calls

6 calls:

2.0ms	x
2.0ms	z
2.0ms	y
2.0ms	(+.f64 x y)
2.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))

Results

Accuracy	Segments	Branch
52.9%	1	`(+.f64 x y)`
52.9%	1	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`
52.9%	1	`y`
52.9%	1	`x`
52.9%	1	`(-.f64 #s(literal 1 binary64) z)`
52.9%	1	`z`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes31.0ms (0.9%)

Memory

-23.8MiB live, 21.3MiB allocated; 4ms collecting garbage

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))

Outputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y))

Calls

6 calls:

24.0ms	(-.f64 #s(literal 1 binary64) z)
1.0ms	z
1.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
1.0ms	(+.f64 x y)
1.0ms	y

Results

Accuracy	Segments	Branch
52.6%	2	`(+.f64 x y)`
46.7%	2	`x`
47.1%	2	`y`
34.8%	3	`z`
28.2%	1	`(-.f64 #s(literal 1 binary64) z)`
53.1%	2	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes7.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Outputs
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Calls

6 calls:

1.0ms	z
1.0ms	(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
1.0ms	(+.f64 x y)
1.0ms	y
1.0ms	x

Results

Accuracy	Segments	Branch
27.4%	1	`(-.f64 #s(literal 1 binary64) z)`
27.4%	1	`z`
27.4%	1	`x`
27.4%	1	`y`
27.4%	1	`(+.f64 x y)`
27.4%	1	`(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.0648682528090966e-223	2.917388916420404e-264

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch52.0ms (1.5%)

Memory

2.2MiB live, 45.3MiB allocated; 11ms collecting garbage

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	0.02668667821052679	1.7194068836786707
5.0ms	-4.203250070120205e-6	-2.6693121568255916e-6
36.0ms	-1.517146992652751e+151	-1.2738006826018446e+143

Samples

38.0ms

320×

valid

Compiler

Compiled 419 to 402 computations (4.1% saved)

Precisions

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

ival-add: 26.0ms (85.8% of total)

ival-mult: 2.0ms (6.6% of total)

ival-sub: 1.0ms (3.3% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch36.0ms (1.1%)

Memory

1.0MiB live, 43.2MiB allocated; 16ms collecting garbage

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	0.02668667821052679	1.7194068836786707
25.0ms	-5.426317845312476e+40	-1.3507168613551469e+26
1.0ms	-1.517146992652751e+151	-1.2738006826018446e+143

Samples

24.0ms

256×

valid

Compiler

Compiled 617 to 568 computations (7.9% saved)

Precisions

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

ival-mult: 2.0ms (42.7% of total)

ival-sub: 1.0ms (21.4% of total)

ival-add: 1.0ms (21.4% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

bsearch2.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	0.02668667821052679	1.7194068836786707
1.0ms	-5.426317845312476e+40	-1.3507168613551469e+26

Compiler

Compiled 401 to 370 computations (7.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-7.67817540834211e-194	3.965831064433825e-262

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify43.0ms (1.3%)

Memory

-23.8MiB live, 36.2MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	246
1	95	246
2	176	246
3	388	246
4	1192	246

Stop Event

1×	node limit

Calls

Call 1

Inputs
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(if (<=.f64 (+.f64 x y) #s(literal -2604693137843693/13023465689218465379062210528752456635048356098273258125773941038601635230112562639690297267327254474107284981627799297745876565730701884922584679789708652433779604647488309684498199777171511767048759797140403519495489742260696213459304448 binary64)) (.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)) (.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z)))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal -8500259669165361/2361183241434822606848 binary64)) (.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)) (if (<=.f64 z #s(literal 1080863910568919/36028797018963968 binary64)) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)))))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal 1 binary64)) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))))))
(if (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal 1 binary64)) #s(approx ( (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(if (<=.f64 (.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)) #s(literal -4109481173084667/82189623461693336050640466920002010399224059419112091554660639110448939910891887845526039629337319550421608888377784651765928628909121935361372105791435638280550369861381946846744746216942542457363957058371584 binary64)) #s(approx ( (+ x y) (- 1 z)) #s(approx (+ x y) x)) #s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y)))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

Outputs
#s(approx (/ (* (- 1 (pow z 3)) (+ x y)) (+ (+ (* z z) z) 1)) (fma.f64 (-.f64 (fma.f64 #s(literal 0 binary64) z (neg.f64 x)) y) z (+.f64 y x)))
(*.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z))
(if (<=.f64 (+.f64 x y) #s(literal -2604693137843693/13023465689218465379062210528752456635048356098273258125773941038601635230112562639690297267327254474107284981627799297745876565730701884922584679789708652433779604647488309684498199777171511767048759797140403519495489742260696213459304448 binary64)) (.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)) (.f64 #s(approx (+ x y) y) (-.f64 #s(literal 1 binary64) z)))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal -8500259669165361/2361183241434822606848 binary64)) (.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)) (if (<=.f64 z #s(literal 1080863910568919/36028797018963968 binary64)) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)))))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (or (<=.f64 z #s(literal -8500259669165361/2361183241434822606848 binary64)) (not (<=.f64 z #s(literal 1080863910568919/36028797018963968 binary64)))) (.f64 #s(approx (+ x y) x) (-.f64 #s(literal 1 binary64) z)) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x))))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal 1 binary64)) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))))))
(if (<=.f64 z #s(literal -169999999999999991290760917097302001277501843225120187173187812571311566963448865251176044814273170887226469892023179219177483449309094169690161283072 binary64)) (.f64 #s(approx (+ x y) y) #s(approx (- 1 z) (neg.f64 z))) (if (or (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (not (<=.f64 z #s(literal 1 binary64)))) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) #s(approx (* (+ x y) (- 1 z)) (+.f64 y x))))
(if (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) (if (<=.f64 z #s(literal 1 binary64)) #s(approx ( (+ x y) (- 1 z)) (+.f64 y x)) (*.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z)))))
(if (or (<=.f64 z #s(literal -135999999999999993423331328 binary64)) (not (<=.f64 z #s(literal 1 binary64)))) (.f64 #s(approx (+ x y) x) #s(approx (- 1 z) (neg.f64 z))) #s(approx ( (+ x y) (- 1 z)) (+.f64 y x)))
#s(approx (* (+ x y) (- 1 z)) (+.f64 y x))
(if (<=.f64 (.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) z)) #s(literal -4109481173084667/82189623461693336050640466920002010399224059419112091554660639110448939910891887845526039629337319550421608888377784651765928628909121935361372105791435638280550369861381946846744746216942542457363957058371584 binary64)) #s(approx ( (+ x y) (- 1 z)) #s(approx (+ x y) x)) #s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) y)))
#s(approx (* (+ x y) (- 1 z)) #s(approx (+ x y) x))

derivations336.0ms (9.8%)

Memory

-20.8MiB live, 368.9MiB allocated; 33ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 246 to 60 computations (75.6% saved)

preprocess72.0ms (2.1%)

Memory: 11.6MiB live, 58.2MiB allocated; 5ms collecting garbage
Remove: (sort x y)
Compiler: Compiled 626 to 214 computations (65.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (37%)

explain122.0ms (3.6%)

preprocess204.0ms (6%)

eval0.0ms (0%)

prune0.0ms (0%)

series6.0ms (0.2%)

simplify115.0ms (3.4%)

rewrite49.0ms (1.4%)

eval6.0ms (0.2%)

prune29.0ms (0.8%)

series11.0ms (0.3%)

simplify142.0ms (4.2%)

rewrite41.0ms (1.2%)

eval22.0ms (0.6%)

prune7.0ms (0.2%)

series7.0ms (0.2%)

simplify122.0ms (3.6%)

rewrite55.0ms (1.6%)

eval46.0ms (1.3%)

prune6.0ms (0.2%)

series13.0ms (0.4%)

simplify192.0ms (5.6%)

rewrite167.0ms (4.9%)

eval16.0ms (0.5%)

prune47.0ms (1.4%)

regimes32.0ms (0.9%)

regimes36.0ms (1%)

regimes17.0ms (0.5%)

regimes39.0ms (1.2%)

regimes7.0ms (0.2%)

regimes4.0ms (0.1%)

regimes10.0ms (0.3%)

regimes31.0ms (0.9%)

regimes7.0ms (0.2%)

bsearch0.0ms (0%)

bsearch52.0ms (1.5%)

bsearch36.0ms (1.1%)

bsearch2.0ms (0%)

bsearch0.0ms (0%)

simplify43.0ms (1.3%)

derivations336.0ms (9.8%)

preprocess72.0ms (2.1%)

end0.0ms (0%)

Profiling