Metrics for Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample668.0ms (26.5%)

Memory

-21.3MiB live, 730.5MiB allocated; 124ms collecting garbage

Samples

439.0ms

8 256×

valid

Precisions

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

ival-sub: 118.0ms (58.4% of total)

ival-mult: 69.0ms (34.2% of total)

ival-true: 5.0ms (2.5% of total)

exact: 5.0ms (2.5% of total)

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

adjust: 2.0ms (1% of total)

Bogosity

explain79.0ms (3.1%)

Memory

-13.0MiB live, 94.2MiB allocated; 36ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 #s(literal 1 binary64) y)`
-	-	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
-	-	`y`
-	-	`#s(literal 1 binary64)`
-	-	`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

19.0ms

512×

valid

Compiler

Compiled 31 to 19 computations (38.7% saved)

Precisions

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

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

ival-mult: 3.0ms (41.5% 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 (8.1%)

Memory

30.3MiB live, 267.9MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	28	34
2	37	34
3	61	34
4	154	31
5	665	30
6	5931	30
0	5	5
0	7	5
1	10	5
2	13	5
3	23	5
4	62	5
5	302	5
6	2755	5
7	6681	5
0	8265	5

Stop Event

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

Calls

Call 1

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

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

Symmetry

(negabs x)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 5 computations (0% saved)

series4.0ms (0.1%)

Memory

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

Counts

5 → 13

Calls

Call 1

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

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

Calls

6 calls:

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

simplify117.0ms (4.6%)

Memory

-0.6MiB live, 92.0MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	102
1	84	99
2	178	99
3	447	99
4	2037	99
5	5618	99
0	8011	99

Stop Event

1×	iter limit
1×	node limit

Counts

13 → 13

Calls

Call 1

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

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

rewrite237.0ms (9.4%)

Memory

-26.7MiB live, 70.3MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	24	11
0	148	11

Stop Event

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

Counts

5 → 16

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 6.8MiB live, 6.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 236 to 62 computations (73.7% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	20	4	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	5	25

Accuracy

100.0%

Counts

25 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	67.2%	(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))) x) (+.f64 (fma.f64 y y y) #s(literal 1 binary64)))
▶	85.1%	(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 y y)) x) (+.f64 y #s(literal 1 binary64)))
✓	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))
▶	52.1%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
▶	49.5%	#s(approx (* x (- 1 y)) x)

Compiler

Compiled 45 to 36 computations (20% saved)

series55.0ms (2.2%)

Memory

0.3MiB live, 41.7MiB allocated; 7ms collecting garbage

Counts

19 → 68

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable		Point	Expression
39.0ms	y	@	0	((* x (- 1 y)) x (* x (- 1 y)) (- 1 y) (neg y) y (/ (* (- 1 (* y y)) x) (+ y 1)) (* (- 1 (* y y)) x) (- 1 (* y y)) 1 (* y y) (+ y 1) (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (* (- 1 (pow y 3)) x) (- 1 (pow y 3)) (pow y 3) 3 (+ (+ (* y y) y) 1) (+ (* y y) y))
3.0ms	x	@	0	((* x (- 1 y)) x (* x (- 1 y)) (- 1 y) (neg y) y (/ (* (- 1 (* y y)) x) (+ y 1)) (* (- 1 (* y y)) x) (- 1 (* y y)) 1 (* y y) (+ y 1) (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (* (- 1 (pow y 3)) x) (- 1 (pow y 3)) (pow y 3) 3 (+ (+ (* y y) y) 1) (+ (* y y) y))
3.0ms	x	@	-inf	((* x (- 1 y)) x (* x (- 1 y)) (- 1 y) (neg y) y (/ (* (- 1 (* y y)) x) (+ y 1)) (* (- 1 (* y y)) x) (- 1 (* y y)) 1 (* y y) (+ y 1) (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (* (- 1 (pow y 3)) x) (- 1 (pow y 3)) (pow y 3) 3 (+ (+ (* y y) y) 1) (+ (* y y) y))
3.0ms	y	@	-inf	((* x (- 1 y)) x (* x (- 1 y)) (- 1 y) (neg y) y (/ (* (- 1 (* y y)) x) (+ y 1)) (* (- 1 (* y y)) x) (- 1 (* y y)) 1 (* y y) (+ y 1) (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (* (- 1 (pow y 3)) x) (- 1 (pow y 3)) (pow y 3) 3 (+ (+ (* y y) y) 1) (+ (* y y) y))
3.0ms	y	@	inf	((* x (- 1 y)) x (* x (- 1 y)) (- 1 y) (neg y) y (/ (* (- 1 (* y y)) x) (+ y 1)) (* (- 1 (* y y)) x) (- 1 (* y y)) 1 (* y y) (+ y 1) (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (* (- 1 (pow y 3)) x) (- 1 (pow y 3)) (pow y 3) 3 (+ (+ (* y y) y) 1) (+ (* y y) y))

simplify435.0ms (17.3%)

Memory

18.5MiB live, 306.5MiB allocated; 176ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	197	935
1	510	910
2	1680	910
0	8496	882

Stop Event

1×	iter limit
1×	node limit

Counts

68 → 68

Calls

Call 1

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

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

rewrite70.0ms (2.8%)

Memory

-17.5MiB live, 83.3MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	95
0	34	92
1	125	80
0	971	80

Stop Event

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

Counts

19 → 231

Calls

Call 1

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

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

eval34.0ms (1.3%)

Memory: -10.5MiB live, 86.1MiB allocated; 11ms collecting garbage
Compiler: Compiled 4 728 to 842 computations (82.2% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	274	1	275
Fresh	0	0	0
Picked	2	2	4
Done	0	1	1
Total	276	4	280

Accuracy

100.0%

Counts

280 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))
✓	52.1%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
▶	88.2%	#s(approx (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (*.f64 (-.f64 (/.f64 x y) x) y))
✓	49.5%	#s(approx (* x (- 1 y)) x)

Compiler

Compiled 43 to 33 computations (23.3% saved)

series11.0ms (0.4%)

Memory

-18.6MiB live, 28.4MiB allocated; 3ms collecting garbage

Counts

6 → 28

Calls

Call 1

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

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

Calls

6 calls:

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

simplify296.0ms (11.7%)

Memory

15.1MiB live, 244.2MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	454
1	328	445
2	1153	403
3	7574	403
0	8559	390

Stop Event

1×	iter limit
1×	node limit

Counts

28 → 28

Calls

Call 1

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

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

rewrite52.0ms (2.1%)

Memory

20.1MiB live, 65.5MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	40
0	18	40
1	93	40
0	783	39

Stop Event

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

Counts

6 → 21

Calls

Call 1

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

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

eval9.0ms (0.3%)

Memory: -44.7MiB live, 10.2MiB allocated; 10ms collecting garbage
Compiler: Compiled 1 076 to 139 computations (87.1% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	38	4	42

Accuracy

100.0%

Counts

42 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))
✓	52.1%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
✓	88.2%	#s(approx (/ (* (- 1 (pow y 3)) x) (+ (+ (* y y) y) 1)) (*.f64 (-.f64 (/.f64 x y) x) y))
✓	49.5%	#s(approx (* x (- 1 y)) x)

Compiler

Compiled 111 to 69 computations (37.8% saved)

regimes9.0ms (0.4%)

Memory

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

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes8.0ms (0.3%)

Memory

-29.3MiB live, 16.7MiB allocated; 4ms collecting garbage

Counts

2 → 3

Calls

Call 1

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

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

Calls

4 calls:

4.0ms	y
2.0ms	x
1.0ms	(*.f64 x (-.f64 #s(literal 1 binary64) y))
1.0ms	(-.f64 #s(literal 1 binary64) y)

Results

Accuracy	Segments	Branch
97.2%	3	`(-.f64 #s(literal 1 binary64) y)`
82.5%	3	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
56.0%	2	`x`
97.2%	3	`y`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes4.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch22.0ms (0.9%)

Memory

1.6MiB live, 47.9MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	0.30186931235572484	4104285.5632072533
8.0ms	-18.348798341922777	-0.13957922443561804

Samples

11.0ms

256×

valid

Compiler

Compiled 248 to 250 computations (-0.8% saved)

Precisions

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

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

ival-sub: 1.0ms (27.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)

simplify76.0ms (3%)

Memory

-9.9MiB live, 86.5MiB allocated; 35ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	36
1	26	36
2	30	36
3	40	36
4	72	36
5	292	36
6	2746	36
7	7697	36

Stop Event

1×	node limit

Calls

Call 1

Inputs

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

(if (<=.f64 y #s(literal -1 binary64)) (*.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 y #s(literal 1 binary64)) #s(approx (* x (- 1 y)) x) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))

#s(approx (* x (- 1 y)) x)

Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(if (<=.f64 y #s(literal -1 binary64)) (.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 y #s(literal 1 binary64)) #s(approx ( x (- 1 y)) x) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))
(if (or (<=.f64 y #s(literal -1 binary64)) (not (<=.f64 y #s(literal 1 binary64)))) (.f64 x #s(approx (- 1 y) (neg.f64 y))) #s(approx ( x (- 1 y)) x))
#s(approx (* x (- 1 y)) x)

derivations84.0ms (3.3%)

Memory

-4.3MiB live, 78.8MiB allocated; 24ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 36 to 18 computations (50% saved)

preprocess31.0ms (1.2%)

Memory: 37.3MiB live, 81.3MiB allocated; 15ms collecting garbage
Remove: (negabs x)
Compiler: Compiled 102 to 66 computations (35.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample668.0ms (26.5%)

explain79.0ms (3.1%)

preprocess204.0ms (8.1%)

eval0.0ms (0%)

prune0.0ms (0%)

series4.0ms (0.1%)

simplify117.0ms (4.6%)

rewrite237.0ms (9.4%)

eval2.0ms (0.1%)

prune2.0ms (0.1%)

series55.0ms (2.2%)

simplify435.0ms (17.3%)

rewrite70.0ms (2.8%)

eval34.0ms (1.3%)

prune6.0ms (0.2%)

series11.0ms (0.4%)

simplify296.0ms (11.7%)

rewrite52.0ms (2.1%)

eval9.0ms (0.3%)

prune7.0ms (0.3%)

regimes9.0ms (0.4%)

regimes8.0ms (0.3%)

regimes4.0ms (0.2%)

bsearch22.0ms (0.9%)

simplify76.0ms (3%)

derivations84.0ms (3.3%)

preprocess31.0ms (1.2%)

end0.0ms (0%)

Profiling