Metrics for From Rump in a 1983 paper

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 23 to 18 computations (21.7% saved)

sample972.0ms (32.9%)

Memory

-6.7MiB live, 916.2MiB allocated; 313ms collecting garbage

Samples

682.0ms

8 256×

valid

Precisions

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

ival-pow: 288.0ms (62.4% of total)

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

ival-add!: 31.0ms (6.7% of total)

ival-sub!: 23.0ms (5% of total)

adjust: 2.0ms (0.4% of total)

Bogosity

preprocess49.0ms (1.6%)

Memory

4.0MiB live, 50.0MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	94
1	90	94
2	307	94
3	927	92
4	2624	90

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	18.8%	(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))

Symmetry

(abs x)

(abs y)

Compiler

Compiled 26 to 24 computations (7.7% saved)

series10.0ms (0.3%)

Memory

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

Counts

12 → 22

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64)))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
#s(literal 9 binary64)
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
(.f64 #s(literal 2 binary64) (.f64 y y))
#s(literal 2 binary64)
(*.f64 y y)

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

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	y	@	inf	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))
2.0ms	x	@	inf	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))
1.0ms	x	@	0	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))
1.0ms	y	@	-inf	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))
1.0ms	y	@	0	((+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) (- (* 9 (pow x 4)) (pow y 4)) (* 9 (pow x 4)) 9 (pow x 4) x 4 (pow y 4) y (* 2 (* y y)) 2 (* y y))

rewrite989.0ms (33.5%)

Memory

-33.4MiB live, 512.1MiB allocated; 325ms collecting garbage

Counts

34 → 33

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64)))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
#s(literal 9 binary64)
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
(pow.f64 y #s(literal 4 binary64))
y
(.f64 #s(literal 2 binary64) (.f64 y y))
#s(literal 2 binary64)
(*.f64 y y)
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (- (* 2 (pow y 2)) (pow y 4))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (- (* 9 (pow x 4)) (pow y 4))))
#s(approx (* 9 (pow x 4)) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (* (pow x 4) (- (+ 9 (* 2 (/ (pow y 2) (pow x 4)))) (/ (pow y 4) (pow x 4))))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (+ (* 2 (pow y 2)) (* 9 (pow x 4)))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (+ (* -1 (pow y 4)) (* 9 (pow x 4)))))
#s(approx (pow y 4) #s(hole binary64 (pow y 4)))
#s(approx y #s(hole binary64 y))
#s(approx (* 2 (* y y)) #s(hole binary64 (* 2 (pow y 2))))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))))
#s(approx (+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y))) #s(hole binary64 (* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))))
#s(approx (- (* 9 (pow x 4)) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))))

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

eval3.0ms (0.1%)

Memory: 4.1MiB live, 4.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 221 to 73 computations (67% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	2	34

Accuracy

100.0%

Counts

34 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
▶	18.8%	#s(literal 2 binary64)

Status

Accuracy

Program

▶

100.0%

#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (*.f64 y y)) (*.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))

▶

18.8%

#s(literal 2 binary64)

Compiler

Compiled 23 to 24 computations (-4.3% saved)

series28.0ms (0.9%)

Memory

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

Counts

11 → 27

Calls

Call 1

Inputs
#s(literal 2 binary64)
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 y y))
(*.f64 y y)
y
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
#s(literal 9 binary64)
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)

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

Calls

6 calls:

Time	Variable		Point	Expression
20.0ms	x	@	inf	(2 (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) (- 2 (* y y)) (* y y) y (* 9 (pow x 4)) 9 (pow x 4) x 4)
2.0ms	x	@	-inf	(2 (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) (- 2 (* y y)) (* y y) y (* 9 (pow x 4)) 9 (pow x 4) x 4)
2.0ms	y	@	inf	(2 (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) (- 2 (* y y)) (* y y) y (* 9 (pow x 4)) 9 (pow x 4) x 4)
1.0ms	x	@	0	(2 (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) (- 2 (* y y)) (* y y) y (* 9 (pow x 4)) 9 (pow x 4) x 4)
1.0ms	y	@	-inf	(2 (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) (- 2 (* y y)) (* y y) y (* 9 (pow x 4)) 9 (pow x 4) x 4)

rewrite857.0ms (29%)

Memory

7.7MiB live, 240.5MiB allocated; 34ms collecting garbage

Counts

38 → 36

Calls

Call 1

Inputs
#s(literal 2 binary64)
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(-.f64 #s(literal 2 binary64) (*.f64 y y))
(*.f64 y y)
y
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
#s(literal 9 binary64)
(pow.f64 x #s(literal 4 binary64))
x
#s(literal 4 binary64)
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (- (* 2 (pow y 2)) (pow y 4))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (- (+ (* 2 (pow y 2)) (* 9 (pow x 4))) (pow y 4))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* (pow y 2) (- 2 (pow y 2)))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))))
#s(approx (* 9 (pow x 4)) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (pow x 4) #s(hole binary64 (pow x 4)))
#s(approx x #s(hole binary64 x))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (* (pow x 4) (- (+ 9 (* 2 (/ (pow y 2) (pow x 4)))) (/ (pow y 4) (pow x 4))))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* 9 (pow x 4))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (+ (* 2 (pow y 2)) (* 9 (pow x 4)))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (+ (* 2 (pow y 2)) (* 9 (pow x 4)))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))))
#s(approx (- 2 (* y y)) #s(hole binary64 2))
#s(approx (- 2 (* y y)) #s(hole binary64 (+ 2 (* -1 (pow y 2)))))
#s(approx (* y y) #s(hole binary64 (pow y 2)))
#s(approx y #s(hole binary64 y))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))))
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) #s(hole binary64 (* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* -1 (pow y 4))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))))
#s(approx (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4))) #s(hole binary64 (* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))))
#s(approx (- 2 (* y y)) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (- 2 (* y y)) #s(hole binary64 (* (pow y 2) (- (* 2 (/ 1 (pow y 2))) 1))))

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

eval8.0ms (0.3%)

Memory: 7.1MiB live, 7.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 675 to 185 computations (72.6% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	70	2	72

Accuracy

100.0%

Counts

72 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
✓	18.8%	#s(literal 2 binary64)

Status

Accuracy

Program

✓

100.0%

#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (*.f64 y y)) (*.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))

✓

18.8%

#s(literal 2 binary64)

Compiler

Compiled 53 to 49 computations (7.5% saved)

regimes7.0ms (0.2%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs

#s(literal 2 binary64)

#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (*.f64 y y)) (*.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))

(+.f64 (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 y y)))

Outputs
#s(approx (- (+ (* (* 2 y) y) (* 9 (pow x 4))) (pow y 4)) (fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))

Calls

5 calls:

1.0ms	(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
1.0ms	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
1.0ms	(pow.f64 x #s(literal 4 binary64))
1.0ms	y
1.0ms	x

Results

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

Compiler

Compiled 23 to 26 computations (-13% saved)

regimes5.0ms (0.2%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 2 binary64)

Outputs
#s(literal 2 binary64)

Calls

5 calls:

1.0ms	(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
1.0ms	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
1.0ms	(pow.f64 x #s(literal 4 binary64))
1.0ms	y
1.0ms	x

Results

Accuracy	Segments	Branch
18.8%	1	`(pow.f64 x #s(literal 4 binary64))`
18.8%	1	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
18.8%	1	`(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))`
18.8%	1	`x`
18.8%	1	`y`

Compiler

Compiled 23 to 26 computations (-13% saved)

derivations0.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 22 to 21 computations (4.5% saved)

preprocess22.0ms (0.8%)

Memory

-29.0MiB live, 17.4MiB allocated; 3ms collecting garbage

Remove

(abs y)

(abs x)

Compiler

Compiled 127 to 129 computations (-1.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample972.0ms (32.9%)

preprocess49.0ms (1.6%)

series10.0ms (0.3%)

rewrite989.0ms (33.5%)

eval3.0ms (0.1%)

prune2.0ms (0.1%)

series28.0ms (0.9%)

rewrite857.0ms (29%)

eval8.0ms (0.3%)

prune4.0ms (0.1%)

regimes7.0ms (0.2%)

regimes5.0ms (0.2%)

derivations0.0ms (0%)

preprocess22.0ms (0.8%)

end0.0ms (0%)

Profiling