Metrics for Data.Number.Erf:$dmerfcx from erf-2.0.0.0

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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 8 to 7 computations (12.5% saved)

sample929.0ms (29.5%)

Memory

24.3MiB live, 1 228.5MiB allocated; 472ms collecting garbage

Samples

706.0ms

8 256×

valid

Precisions

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

ival-mult: 161.0ms (53.3% of total)

ival-exp: 130.0ms (43% of total)

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

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

adjust: 2.0ms (0.7% of total)

Bogosity

explain57.0ms (1.8%)

Memory

14.1MiB live, 111.0MiB allocated; 11ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`y`
-	-	`(exp.f64 (*.f64 y y))`
-	-	`(*.f64 y y)`
-	-	`(.f64 x (exp.f64 (.f64 y y)))`
-	-	`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

24.0ms

512×

valid

Compiler

Compiled 40 to 19 computations (52.5% saved)

Precisions

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

ival-mult: 7.0ms (61.3% of total)

ival-exp: 4.0ms (35% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess151.0ms (4.8%)

Memory

-6.5MiB live, 220.6MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	32
1	58	32
2	171	32
3	409	32
4	1265	32
0	5	6
0	8	6
1	18	6
2	52	6
3	151	6
4	429	6
5	2656	6
0	8918	6

Stop Event

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

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 (pow.f64 (exp.f64 y) y) x)

Symmetry

(abs y)

(negabs x)

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 6 to 5 computations (16.7% saved)

series6.0ms (0.2%)

Memory

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

Counts

5 → 13

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))
x
(exp.f64 (*.f64 y y))
(*.f64 y y)
y

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

Calls

6 calls:

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

simplify180.0ms (5.7%)

Memory

41.0MiB live, 220.6MiB allocated; 36ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	167
1	156	167
2	700	161
3	3154	159
4	6912	159
0	8531	147

Stop Event

1×	iter limit
1×	node limit

Counts

13 → 13

Calls

Call 1

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

Outputs
#s(approx (* x (exp (* y y))) #s(hole binary64 (* x (exp (pow y 2)))))
#s(approx (* x (exp (* y y))) (*.f64 (pow.f64 (exp.f64 y) y) x))
#s(approx x #s(hole binary64 x))
#s(approx x x)
#s(approx (* x (exp (* y y))) #s(hole binary64 x))
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(hole binary64 (+ x (* x (pow y 2)))))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
#s(approx (* x (exp (* y y))) #s(hole binary64 (+ x (* (pow y 2) (+ x (* 1/2 (* x (pow y 2))))))))
#s(approx (* x (exp (* y y))) (*.f64 x (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64) (fma.f64 y y #s(literal 1 binary64)))))
#s(approx (* x (exp (* y y))) #s(hole binary64 (+ x (* (pow y 2) (+ x (* (pow y 2) (+ (* 1/6 (* x (pow y 2))) (* 1/2 x))))))))
#s(approx (* x (exp (* y y))) (fma.f64 (.f64 y x) y (fma.f64 (.f64 x (pow.f64 y #s(literal 4 binary64))) (fma.f64 #s(literal 1/6 binary64) (*.f64 y y) #s(literal 1/2 binary64)) x)))
#s(approx (exp (* y y)) #s(hole binary64 1))
#s(approx (exp (* y y)) #s(literal 1 binary64))
#s(approx (exp (* y y)) #s(hole binary64 (+ 1 (pow y 2))))
#s(approx (exp (* y y)) (fma.f64 y y #s(literal 1 binary64)))
#s(approx (exp (* y y)) #s(hole binary64 (+ 1 (* (pow y 2) (+ 1 (* 1/2 (pow y 2)))))))
#s(approx (exp (* y y)) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal 1/2 binary64) (fma.f64 y y #s(literal 1 binary64))))
#s(approx (exp (* y y)) #s(hole binary64 (+ 1 (* (pow y 2) (+ 1 (* (pow y 2) (+ 1/2 (* 1/6 (pow y 2)))))))))
#s(approx (exp (* y y)) (fma.f64 (pow.f64 y #s(literal 4 binary64)) (fma.f64 #s(literal 1/6 binary64) (*.f64 y y) #s(literal 1/2 binary64)) (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 #s(hole binary64 y))
#s(approx y y)
#s(approx (exp (* y y)) #s(hole binary64 (exp (pow y 2))))
#s(approx (exp (* y y)) (pow.f64 (exp.f64 y) y))

rewrite73.0ms (2.3%)

Memory

-12.5MiB live, 86.3MiB allocated; 51ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	20	15
2	83	15
0	549	15

Stop Event

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

Counts

5 → 66

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))
x
(exp.f64 (*.f64 y y))
(*.f64 y y)
y

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

eval20.0ms (0.6%)

Memory: -23.1MiB live, 20.8MiB allocated; 22ms collecting garbage
Compiler: Compiled 1 157 to 248 computations (78.6% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	3	82

Accuracy

100.0%

Counts

82 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
▶	83.5%	#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
▶	52.3%	#s(approx (* x (exp (* y y))) x)

Compiler

Compiled 27 to 19 computations (29.6% saved)

series6.0ms (0.2%)

Memory

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

Counts

6 → 14

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
x
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
(fma.f64 (*.f64 y y) x x)
(*.f64 y y)
y

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

Calls

6 calls:

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

simplify233.0ms (7.4%)

Memory

-15.8MiB live, 218.7MiB allocated; 50ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	182
1	147	182
2	546	180
3	3123	178
0	8581	162

Stop Event

1×	iter limit
1×	node limit

Counts

14 → 14

Calls

Call 1

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

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

rewrite170.0ms (5.4%)

Memory

28.3MiB live, 128.3MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
0	12	32
1	44	32
2	265	32
0	2917	32

Stop Event

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

Counts

6 → 150

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
x
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
(fma.f64 (*.f64 y y) x x)
(*.f64 y y)
y

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

eval74.0ms (2.3%)

Memory: -17.2MiB live, 28.0MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 380 to 518 computations (88.2% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	163	2	165
Fresh	0	0	0
Picked	1	1	2
Done	0	1	1
Total	164	4	168

Accuracy

100.0%

Counts

168 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
▶	78.0%	#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
▶	35.3%	#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
✓	52.3%	#s(approx (* x (exp (* y y))) x)

Compiler

Compiled 47 to 30 computations (36.2% saved)

series7.0ms (0.2%)

Memory

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

Counts

9 → 22

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
(*.f64 y y)
y
x
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
(fma.f64 (*.f64 y x) y x)
(*.f64 y x)

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

Calls

6 calls:

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

simplify222.0ms (7.1%)

Memory

9.2MiB live, 284.5MiB allocated; 39ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	282
1	162	282
2	573	280
3	3198	278
0	8258	252

Stop Event

1×	iter limit
1×	node limit

Counts

22 → 22

Calls

Call 1

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

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

rewrite142.0ms (4.5%)

Memory

-3.6MiB live, 154.6MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	65
0	19	63
1	67	63
2	294	63
0	3047	63

Stop Event

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

Counts

9 → 170

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))
(.f64 (.f64 y y) x)
(*.f64 y y)
y
x
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
(fma.f64 (*.f64 y x) y x)
(*.f64 y x)

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

eval60.0ms (1.9%)

Memory: -1.5MiB live, 45.4MiB allocated; 2ms collecting garbage
Compiler: Compiled 5 187 to 610 computations (88.2% saved)

prune22.0ms (0.7%)

Memory

-27.8MiB live, 23.6MiB allocated; 9ms collecting garbage

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	191	5	196

Accuracy

100.0%

Counts

196 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
✓	78.0%	#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
✓	35.3%	#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
▶	29.9%	#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
✓	52.3%	#s(approx (* x (exp (* y y))) x)

Compiler

Compiled 67 to 41 computations (38.8% saved)

series6.0ms (0.2%)

Memory

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

Counts

6 → 15

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y))
(.f64 (.f64 y x) y)
(*.f64 y x)
y
x

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

Calls

6 calls:

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

simplify199.0ms (6.3%)

Memory

24.0MiB live, 257.4MiB allocated; 34ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	193
1	153	193
2	564	191
3	3194	189
0	8258	173

Stop Event

1×	iter limit
1×	node limit

Counts

15 → 15

Calls

Call 1

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

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

rewrite131.0ms (4.2%)

Memory

-25.9MiB live, 163.0MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	43
0	13	43
1	47	43
2	274	43
0	3033	41

Stop Event

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

Counts

6 → 22

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y))
(.f64 (.f64 y x) y)
(*.f64 y x)
y
x

Outputs
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))
(.f64 (.f64 (neg.f64 x) (neg.f64 y)) (neg.f64 y))
(.f64 (neg.f64 (.f64 (neg.f64 x) y)) (neg.f64 y))
(.f64 (.f64 (neg.f64 x) y) (neg.f64 y))
(.f64 (.f64 (neg.f64 x) y) y)
(.f64 (neg.f64 x) (.f64 y y))
(.f64 (neg.f64 y) (neg.f64 (.f64 (neg.f64 x) y)))
(.f64 (neg.f64 y) (.f64 (neg.f64 x) y))
(.f64 (neg.f64 y) (.f64 y x))
(.f64 (.f64 y x) (neg.f64 y))
(.f64 (.f64 y x) y)
(.f64 (.f64 y y) (neg.f64 x))
(.f64 (.f64 y y) x)
(.f64 y (.f64 (neg.f64 x) y))
(.f64 y (.f64 y x))
(.f64 x (.f64 y y))
(neg.f64 (.f64 (.f64 y y) x))
(*.f64 y x)
(*.f64 x y)
y
x

eval3.0ms (0.1%)

Memory: 6.0MiB live, 6.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 730 to 113 computations (84.5% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	36	5	41

Accuracy

100.0%

Counts

41 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 x (exp.f64 (.f64 y y)))
✓	78.0%	#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
✓	35.3%	#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
✓	29.9%	#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
✓	52.3%	#s(approx (* x (exp (* y y))) x)

Compiler

Compiled 147 to 63 computations (57.1% saved)

regimes47.0ms (1.5%)

Memory

-17.3MiB live, 28.8MiB allocated; 5ms collecting garbage

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))

Calls

5 calls:

37.0ms	(exp.f64 (*.f64 y y))
2.0ms	x
2.0ms	y
2.0ms	(*.f64 y y)
2.0ms	(.f64 x (exp.f64 (.f64 y y)))

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 y y)`
100.0%	1	`(exp.f64 (*.f64 y y))`
100.0%	1	`(.f64 x (exp.f64 (.f64 y y)))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes10.0ms (0.3%)

Memory

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

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))

Outputs
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))

Calls

5 calls:

2.0ms	x
2.0ms	y
2.0ms	(.f64 x (exp.f64 (.f64 y y)))
2.0ms	(*.f64 y y)
1.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
83.5%	1	`(*.f64 y y)`
83.5%	1	`(exp.f64 (*.f64 y y))`
83.5%	1	`(.f64 x (exp.f64 (.f64 y y)))`
83.5%	1	`x`
83.5%	1	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes14.0ms (0.4%)

Memory

-16.2MiB live, 27.5MiB allocated; 10ms collecting garbage

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))

Outputs
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y x) y x))
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))

Calls

5 calls:

6.0ms	x
2.0ms	y
2.0ms	(.f64 x (exp.f64 (.f64 y y)))
2.0ms	(*.f64 y y)
1.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
83.5%	2	`(exp.f64 (*.f64 y y))`
83.5%	2	`(.f64 x (exp.f64 (.f64 y y)))`
83.5%	2	`(*.f64 y y)`
78.0%	1	`x`
83.5%	2	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes6.0ms (0.2%)

Memory

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

Counts

3 → 2

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))

Outputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x)))

Calls

4 calls:

1.0ms	y
1.0ms	(.f64 x (exp.f64 (.f64 y y)))
1.0ms	(*.f64 y y)
1.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
83.2%	2	`(exp.f64 (*.f64 y y))`
83.2%	2	`(.f64 x (exp.f64 (.f64 y y)))`
83.2%	2	`(*.f64 y y)`
83.2%	2	`y`

Compiler

Compiled 14 to 14 computations (0% saved)

regimes21.0ms (0.7%)

Memory

-36.5MiB live, 18.9MiB allocated; 30ms collecting garbage

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))

Outputs
#s(approx (* x (exp (* y y))) x)
#s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y)))

Calls

5 calls:

16.0ms	(.f64 x (exp.f64 (.f64 y y)))
1.0ms	y
1.0ms	x
1.0ms	(*.f64 y y)
1.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
54.3%	2	`x`
77.8%	2	`(exp.f64 (*.f64 y y))`
77.8%	2	`(.f64 x (exp.f64 (.f64 y y)))`
77.8%	2	`(*.f64 y y)`
77.8%	2	`y`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

regimes5.0ms (0.2%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* x (exp (* y y))) x)

Outputs
#s(approx (* x (exp (* y y))) x)

Calls

5 calls:

1.0ms	(.f64 x (exp.f64 (.f64 y y)))
1.0ms	y
1.0ms	x
1.0ms	(*.f64 y y)
1.0ms	(exp.f64 (*.f64 y y))

Results

Accuracy	Segments	Branch
52.3%	1	`x`
52.3%	1	`(*.f64 y y)`
52.3%	1	`y`
52.3%	1	`(exp.f64 (*.f64 y y))`
52.3%	1	`(.f64 x (exp.f64 (.f64 y y)))`

Compiler

Compiled 15 to 16 computations (-6.7% saved)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	predicate-same

Steps

Time	Left	Right
1.0ms	9.846091022131016e+41	1.1270793290885725e+43

Samples

1.0ms

16×

valid

Compiler

Compiled 42 to 31 computations (26.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

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

bsearch20.0ms (0.6%)

Memory

-7.3MiB live, 36.6MiB allocated; 10ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	0.6840908804372486	11031636135507784.0

Samples

13.0ms

160×

valid

Compiler

Compiled 289 to 200 computations (30.8% saved)

Precisions

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

ival-exp: 7.0ms (77.1% of total)

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

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

adjust: 0.0ms (0% of total)

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

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	2.890263719401313e+296	+inf

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify62.0ms (2%)

Memory

15.8MiB live, 60.4MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	133
1	49	133
2	106	133
3	283	133
4	706	133
5	4597	133

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
(if (<=.f64 y #s(literal 1000000000000000044885712678075916785549312 binary64)) #s(approx (* x (exp (* y y))) (fma.f64 (.f64 y x) y x)) #s(approx ( x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))))
(if (<=.f64 y #s(literal 1 binary64)) #s(approx (* x (exp (* y y))) x) #s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))))
(if (<=.f64 (.f64 x (exp.f64 (.f64 y y))) #s(literal 500000000000000008826400731378189857187439390359932388419721569559872411934627621534506111441735179539411036414609705614267467201356312352807725246163989728250397728169600880974725580403723647263828111371808796024424983945052915681430896212664913964198626187199191511121654255195349215029229518848 binary64)) #s(approx (* x (exp (* y y))) x) #s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y))))
#s(approx (* x (exp (* y y))) x)

Outputs
(.f64 x (exp.f64 (.f64 y y)))
#s(approx (* x (exp (* y y))) (fma.f64 (*.f64 y y) x x))
(if (<=.f64 y #s(literal 1000000000000000044885712678075916785549312 binary64)) #s(approx (* x (exp (* y y))) (fma.f64 (.f64 y x) y x)) #s(approx ( x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))))
(if (<=.f64 y #s(literal 1 binary64)) #s(approx (* x (exp (* y y))) x) #s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y y) x))))
(if (<=.f64 (.f64 x (exp.f64 (.f64 y y))) #s(literal 500000000000000008826400731378189857187439390359932388419721569559872411934627621534506111441735179539411036414609705614267467201356312352807725246163989728250397728169600880974725580403723647263828111371808796024424983945052915681430896212664913964198626187199191511121654255195349215029229518848 binary64)) #s(approx (* x (exp (* y y))) x) #s(approx (* x (exp (* y y))) #s(approx (+ (* (* y y) x) x) (.f64 (.f64 y x) y))))
#s(approx (* x (exp (* y y))) x)

derivations163.0ms (5.2%)

Memory

-1.3MiB live, 191.0MiB allocated; 20ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 133 to 31 computations (76.7% saved)

preprocess99.0ms (3.1%)

Memory

-22.2MiB live, 174.9MiB allocated; 13ms collecting garbage

Remove

(negabs x)

(abs y)

Compiler

Compiled 338 to 122 computations (63.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample929.0ms (29.5%)

explain57.0ms (1.8%)

preprocess151.0ms (4.8%)

eval0.0ms (0%)

prune0.0ms (0%)

series6.0ms (0.2%)

simplify180.0ms (5.7%)

rewrite73.0ms (2.3%)

eval20.0ms (0.6%)

prune2.0ms (0.1%)

series6.0ms (0.2%)

simplify233.0ms (7.4%)

rewrite170.0ms (5.4%)

eval74.0ms (2.3%)

prune6.0ms (0.2%)

series7.0ms (0.2%)

simplify222.0ms (7.1%)

rewrite142.0ms (4.5%)

eval60.0ms (1.9%)

prune22.0ms (0.7%)

series6.0ms (0.2%)

simplify199.0ms (6.3%)

rewrite131.0ms (4.2%)

eval3.0ms (0.1%)

prune6.0ms (0.2%)

regimes47.0ms (1.5%)

regimes10.0ms (0.3%)

regimes14.0ms (0.4%)

regimes6.0ms (0.2%)

regimes21.0ms (0.7%)

regimes5.0ms (0.2%)

bsearch2.0ms (0.1%)

bsearch20.0ms (0.6%)

bsearch0.0ms (0%)

simplify62.0ms (2%)

derivations163.0ms (5.2%)

preprocess99.0ms (3.1%)

end0.0ms (0%)

Profiling