Metrics for Linear.Quaternion:$csin from linear-1.19.1.3

analyze19.0ms (0.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

Precisions

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

Operation ival-mult, time spent: 4.0ms, 42.0% of total-time

Operation ival-cos, time spent: 3.0ms, 31.0% of total-time

Operation ival-div, time spent: 1.0ms, 10.0% of total-time

Operation ival-sinh, time spent: 1.0ms, 10.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.5s (36.5%)

Results

747.0ms	4172×	256	infinite
718.0ms	4082×	256	valid
0.0ms	1×	256	infinite
0.0ms	1×	512	valid

Precisions

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

Operation ival-cos, time spent: 346.0ms, 59.0% of total-time

Operation ival-div, time spent: 118.0ms, 20.0% of total-time

Operation ival-mult, time spent: 62.0ms, 10.0% of total-time

Operation ival-sinh, time spent: 57.0ms, 10.0% of total-time

Operation const, time spent: 9.0ms, 2.0% of total-time

Bogosity

preprocess183.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1838×	`fma-define`
1280×	`div-sub`
1064×	`fma-neg`
648×	`associate-/r*`
556×	`distribute-rgt-in`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))`
-	-	`(cos.f64 x)`
-	-	`(/.f64 (sinh.f64 y) y)`
-	-	`y`
-	-	`(sinh.f64 y)`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	218
1	67	218
2	170	218
3	547	218
4	1851	218
5	4596	218
6	6978	218

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y)))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y)))
(neg.f64 (*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y))))
(*.f64 (cos.f64 y) (/.f64 (sinh.f64 x) x))

Outputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y)))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (/.f64 (sinh.f64 y) y)))
(*.f64 (cos.f64 x) (neg.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) (neg.f64 y)))
(*.f64 (cos.f64 x) (/.f64 (neg.f64 (sinh.f64 y)) y))
(neg.f64 (*.f64 (cos.f64 x) (/.f64 (sinh.f64 (neg.f64 y)) (neg.f64 y))))
(*.f64 (cos.f64 x) (neg.f64 (/.f64 (sinh.f64 y) y)))
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) (neg.f64 y)))
(*.f64 (cos.f64 x) (/.f64 (neg.f64 (sinh.f64 y)) y))
(*.f64 (cos.f64 y) (/.f64 (sinh.f64 x) x))

Symmetry

(abs x)

(abs y)

Compiler

Compiled 49 to 20 computations (59.2% saved)

Precisions

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

Operation ival-cos, time spent: 14.0ms, 54.0% of total-time

Operation ival-div, time spent: 4.0ms, 15.0% of total-time

Operation ival-mult, time spent: 4.0ms, 15.0% of total-time

Operation ival-sinh, time spent: 3.0ms, 12.0% of total-time

Operation const, time spent: 1.0ms, 4.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize38.0ms (0.9%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(sinh.f64 y)

Compiler

Compiled 20 to 7 computations (65% saved)

Precisions

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

Operation ival-cos, time spent: 6.0ms, 49.0% of total-time

Operation ival-div, time spent: 2.0ms, 16.0% of total-time

Operation ival-mult, time spent: 2.0ms, 16.0% of total-time

Operation ival-sinh, time spent: 2.0ms, 16.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series3.0ms (0.1%)

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (sinh.f64 y)>

Outputs
#<alt y>
#<alt (.f64 y (+.f64 1 (.f64 1/6 (pow.f64 y 2))))>
#<alt (.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (*.f64 1/120 (pow.f64 y 2))))))>
#<alt (.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (.f64 (pow.f64 y 2) (+.f64 1/120 (.f64 1/5040 (pow.f64 y 2))))))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>
#<alt (*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))>

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	(sinh y)
1.0ms	y	@	-inf	(sinh y)
1.0ms	y	@	0	(sinh y)

rewrite421.0ms (10.1%)

Algorithm

1×	batch-egg-rewrite

Rules

498×	`associate-r`
400×	`associate-l`
296×	`unpow-prod-down`
210×	`cbrt-prod`
208×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	49	8
2	556	8

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(sinh.f64 y)

Outputs
-8
-4
-2
-1
-1/2
0
1/9
1/8
1/6
1/4
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
5
6
8
9
16

simplify292.0ms (7%)

Algorithm

1×	egg-herbie

Rules

2478×	`fma-define`
1472×	`fma-neg`
1352×	`unsub-neg`
792×	`distribute-lft-in`
764×	`distribute-lft-out--`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	53	433
1	107	409
2	279	375
3	823	375
4	1634	375
5	2205	375
6	2479	375
7	2808	375
8	3508	375
9	4375	375
10	5470	375
11	6732	375
12	7417	375

Stop Event

1×	node limit

Counts

37 → 43

Calls

Call 1

Inputs
y
(.f64 y (+.f64 1 (.f64 1/6 (pow.f64 y 2))))
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (*.f64 1/120 (pow.f64 y 2))))))
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (.f64 (pow.f64 y 2) (+.f64 1/120 (.f64 1/5040 (pow.f64 y 2))))))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
-8
-4
-2
-1
-1/2
0
1/9
1/8
1/6
1/4
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
5
6
8
9
16

Outputs
y
(.f64 y (+.f64 1 (.f64 1/6 (pow.f64 y 2))))
(*.f64 y (fma.f64 1/6 (pow.f64 y 2) 1))
(fma.f64 1/6 (pow.f64 y 3) y)
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (*.f64 1/120 (pow.f64 y 2))))))
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (*.f64 (pow.f64 y 2) 1/120)))))
(*.f64 y (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) 1/120 1/6) 1))
(fma.f64 (fma.f64 (pow.f64 y 2) 1/120 1/6) (pow.f64 y 3) y)
(fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) y))
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (.f64 (pow.f64 y 2) (+.f64 1/120 (.f64 1/5040 (pow.f64 y 2))))))))
(.f64 y (+.f64 1 (.f64 (pow.f64 y 2) (+.f64 1/6 (.f64 (pow.f64 y 2) (+.f64 1/120 (.f64 (pow.f64 y 2) 1/5040)))))))
(*.f64 y (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) 1/5040 1/120) 1/6) 1))
(fma.f64 (fma.f64 (pow.f64 y 2) 1/120 (fma.f64 1/5040 (pow.f64 y 4) 1/6)) (pow.f64 y 3) y)
(fma.f64 1/120 (pow.f64 y 5) (fma.f64 (fma.f64 1/5040 (pow.f64 y 4) 1/6) (pow.f64 y 3) y))
(fma.f64 1/6 (pow.f64 y 3) (fma.f64 1/120 (pow.f64 y 5) (fma.f64 1/5040 (pow.f64 y 7) y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
(*.f64 1/2 (-.f64 (exp.f64 y) (/.f64 1 (exp.f64 y))))
(*.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y))))
(fma.f64 1/2 (exp.f64 y) (/.f64 -1/2 (exp.f64 y)))
-8
-4
-2
-1
-1/2
0
1/9
1/8
1/6
1/4
1/3
1/2
2/3
1
4/3
3/2
2
5/2
3
4
5
6
8
9
16

eval10.0ms (0.2%)

Compiler: Compiled 464 to 280 computations (39.7% saved)

prune101.0ms (2.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	4	44

Accuracy

100.0%

Counts

44 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.1%	(.f64 (cos.f64 x) (/.f64 (.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))) y))
✓	100.0%	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
▶	51.6%	(*.f64 (cos.f64 x) (/.f64 y y))
▶	3.9%	(*.f64 (cos.f64 x) (/.f64 16 y))

Compiler

Compiled 40 to 28 computations (30% saved)

localize263.0ms (6.3%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	53.4%	(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))
✓	99.7%	(*.f64 (cos.f64 x) (/.f64 16 y))

Compiler

Compiled 79 to 26 computations (67.1% saved)

Precisions

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

Operation ival-div, time spent: 114.0ms, 66.0% of total-time

Operation ival-mult, time spent: 20.0ms, 12.0% of total-time

Operation ival-exp, time spent: 18.0ms, 10.0% of total-time

Operation ival-cos, time spent: 13.0ms, 8.0% of total-time

Operation ival-sub, time spent: 3.0ms, 2.0% of total-time

Operation const, time spent: 2.0ms, 1.0% of total-time

Operation ival-neg, time spent: 2.0ms, 1.0% of total-time

series7.0ms (0.2%)

Counts

2 → 32

Calls

Call 1

Inputs
#<alt (*.f64 (cos.f64 x) (/.f64 16 y))>
#<alt (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))>

Outputs
#<alt (/.f64 16 y)>
#<alt (+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))>
#<alt (+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 2/3 (/.f64 (pow.f64 x 2) y)) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))>
#<alt (+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) (+.f64 (.f64 -1/45 (/.f64 (pow.f64 x 2) y)) (.f64 2/3 (/.f64 1 y)))) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 16 (/.f64 (cos.f64 x) y))>
#<alt (*.f64 2 y)>
#<alt (.f64 y (+.f64 2 (.f64 1/3 (pow.f64 y 2))))>
#<alt (.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (*.f64 1/60 (pow.f64 y 2))))))>
#<alt (.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (.f64 (pow.f64 y 2) (+.f64 1/60 (.f64 1/2520 (pow.f64 y 2))))))))>
#<alt (-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))>
#<alt (-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))>
#<alt (-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))>
#<alt (-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))>

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(* (cos x) (/ 16 y))
1.0ms	y	@	0	(* (cos x) (/ 16 y))
1.0ms	x	@	0	(* (cos x) (/ 16 y))
1.0ms	x	@	-inf	(* (cos x) (/ 16 y))
1.0ms	y	@	inf	(* (cos x) (/ 16 y))

rewrite35.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

150×	`associate-r`
96×	`associate-l`
90×	`add-exp-log`
90×	`add-log-exp`
90×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	206	46
2	3220	46

Stop Event

1×

unsound

Counts

2 → 16

Calls

Call 1

Inputs
(*.f64 (cos.f64 x) (/.f64 16 y))
(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))

Outputs
-2
0
1/2
3/2
2
4
6
8
-2
0
1/2
3/2
2
4
6
8

simplify199.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1512×	`fma-define`
892×	`distribute-lft-neg-in`
746×	`distribute-rgt-neg-in`
724×	`fma-neg`
644×	`distribute-rgt-neg-out`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	68	946
1	173	914
2	450	913
3	1168	900
4	2669	895
5	3695	885
6	5460	880
7	7264	877

Stop Event

1×	node limit

Counts

48 → 49

Calls

Call 1

Inputs
(/.f64 16 y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 2/3 (/.f64 (pow.f64 x 2) y)) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))
(+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) (+.f64 (.f64 -1/45 (/.f64 (pow.f64 x 2) y)) (.f64 2/3 (/.f64 1 y)))) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 2 y)
(.f64 y (+.f64 2 (.f64 1/3 (pow.f64 y 2))))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (*.f64 1/60 (pow.f64 y 2))))))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (.f64 (pow.f64 y 2) (+.f64 1/60 (.f64 1/2520 (pow.f64 y 2))))))))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
-2
0
1/2
3/2
2
4
6
8
-2
0
1/2
3/2
2
4
6
8

Outputs
(/.f64 16 y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (/.f64 -8 y) (/.f64 16 y))
(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)
(+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 2/3 (/.f64 (pow.f64 x 2) y)) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))
(fma.f64 (pow.f64 x 2) (-.f64 (*.f64 (/.f64 (pow.f64 x 2) y) 2/3) (/.f64 8 y)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (fma.f64 (/.f64 (pow.f64 x 2) y) 2/3 (/.f64 -8 y)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (fma.f64 (pow.f64 x 2) (/.f64 2/3 y) (/.f64 -8 y)) (/.f64 16 y))
(+.f64 (/.f64 16 y) (*.f64 (/.f64 (pow.f64 x 2) y) (fma.f64 (pow.f64 x 2) 2/3 -8)))
(fma.f64 (pow.f64 x 2) (/.f64 (fma.f64 (pow.f64 x 2) 2/3 -8) y) (/.f64 16 y))
(/.f64 (+.f64 16 (fma.f64 2/3 (pow.f64 x 4) (*.f64 -8 (pow.f64 x 2)))) y)
(+.f64 (.f64 (pow.f64 x 2) (-.f64 (.f64 (pow.f64 x 2) (+.f64 (.f64 -1/45 (/.f64 (pow.f64 x 2) y)) (.f64 2/3 (/.f64 1 y)))) (.f64 8 (/.f64 1 y)))) (.f64 16 (/.f64 1 y)))
(fma.f64 (pow.f64 x 2) (-.f64 (*.f64 (pow.f64 x 2) (fma.f64 -1/45 (/.f64 (pow.f64 x 2) y) (/.f64 2/3 y))) (/.f64 8 y)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (fma.f64 (pow.f64 x 2) (fma.f64 (/.f64 (pow.f64 x 2) y) -1/45 (/.f64 2/3 y)) (/.f64 -8 y)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (+.f64 (.f64 (/.f64 (pow.f64 x 2) y) (+.f64 2/3 (.f64 (pow.f64 x 2) -1/45))) (/.f64 -8 y)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (fma.f64 (/.f64 (pow.f64 x 2) y) (fma.f64 (pow.f64 x 2) -1/45 2/3) (/.f64 -8 y)) (/.f64 16 y))
(+.f64 (/.f64 16 y) (.f64 (/.f64 (pow.f64 x 2) y) (+.f64 (.f64 (pow.f64 x 2) (fma.f64 (pow.f64 x 2) -1/45 2/3)) -8)))
(fma.f64 x (*.f64 (/.f64 x y) (fma.f64 (pow.f64 x 2) (fma.f64 (pow.f64 x 2) -1/45 2/3) -8)) (/.f64 16 y))
(fma.f64 (pow.f64 x 2) (/.f64 (fma.f64 (pow.f64 x 2) (fma.f64 (pow.f64 x 2) -1/45 2/3) -8) y) (/.f64 16 y))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 16 (/.f64 (cos.f64 x) y))
(*.f64 (/.f64 16 y) (cos.f64 x))
(*.f64 2 y)
(*.f64 y 2)
(.f64 y (+.f64 2 (.f64 1/3 (pow.f64 y 2))))
(*.f64 y (fma.f64 1/3 (pow.f64 y 2) 2))
(fma.f64 1/3 (pow.f64 y 3) (*.f64 y 2))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (*.f64 1/60 (pow.f64 y 2))))))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (*.f64 (pow.f64 y 2) 1/60)))))
(*.f64 y (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) 1/60 1/3) 2))
(*.f64 y (fma.f64 1/3 (pow.f64 y 2) (fma.f64 1/60 (pow.f64 y 4) 2)))
(fma.f64 1/3 (pow.f64 y 3) (fma.f64 1/60 (pow.f64 y 5) (*.f64 y 2)))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (.f64 (pow.f64 y 2) (+.f64 1/60 (.f64 1/2520 (pow.f64 y 2))))))))
(.f64 y (+.f64 2 (.f64 (pow.f64 y 2) (+.f64 1/3 (.f64 (pow.f64 y 2) (+.f64 1/60 (.f64 (pow.f64 y 2) 1/2520)))))))
(*.f64 y (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) (fma.f64 (pow.f64 y 2) 1/2520 1/60) 1/3) 2))
(*.f64 y (fma.f64 1/3 (pow.f64 y 2) (fma.f64 (fma.f64 (pow.f64 y 2) 1/2520 1/60) (pow.f64 y 4) 2)))
(*.f64 y (fma.f64 (fma.f64 (pow.f64 y 2) 1/2520 1/60) (pow.f64 y 4) (fma.f64 1/3 (pow.f64 y 2) 2)))
(fma.f64 y 2 (fma.f64 1/60 (pow.f64 y 5) (*.f64 (fma.f64 1/2520 (pow.f64 y 4) 1/3) (pow.f64 y 3))))
(fma.f64 y 2 (fma.f64 1/3 (pow.f64 y 3) (fma.f64 1/60 (pow.f64 y 5) (*.f64 1/2520 (pow.f64 y 7)))))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))
(-.f64 (exp.f64 y) (exp.f64 (*.f64 -1 y)))
(-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))
-2
0
1/2
3/2
2
4
6
8
-2
0
1/2
3/2
2
4
6
8

eval18.0ms (0.4%)

Compiler: Compiled 755 to 545 computations (27.8% saved)

prune14.0ms (0.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	43	6	49
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	44	9	53

Accuracy

100.0%

Counts

53 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	6.5%	(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)
✓	52.1%	(.f64 (cos.f64 x) (/.f64 (.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))) y))
✓	100.0%	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
✓	51.6%	(*.f64 (cos.f64 x) (/.f64 y y))
▶	7.5%	8
▶	7.8%	4
▶	8.9%	3/2
▶	8.5%	1/2
▶	3.5%	-2

Compiler

Compiled 84 to 70 computations (16.7% saved)

localize19.0ms (0.5%)

Compiler: Compiled 8 to 8 computations (0% saved)
Precisions: Click to see histograms. Total time spent on operations: 1.0ms
Operation const, time spent: 1.0ms, 109.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	5	5
Done	3	3
Total	9	9

Accuracy

100.0%

Counts

9 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	6.5%	(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)
✓	52.1%	(.f64 (cos.f64 x) (/.f64 (.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))) y))
✓	100.0%	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
✓	51.6%	(*.f64 (cos.f64 x) (/.f64 y y))
✓	7.5%	8
✓	7.8%	4
✓	8.9%	3/2
✓	8.5%	1/2
✓	3.5%	-2

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize57.0ms (1.4%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 -8 (pow.f64 x 2))
✓	94.8%	(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)

Compiler

Compiled 32 to 25 computations (21.9% saved)

Precisions

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

Operation ival-pow, time spent: 7.0ms, 37.0% of total-time

Operation ival-mult, time spent: 5.0ms, 27.0% of total-time

Operation ival-add, time spent: 3.0ms, 16.0% of total-time

Operation ival-div, time spent: 2.0ms, 11.0% of total-time

Operation const, time spent: 2.0ms, 11.0% of total-time

series8.0ms (0.2%)

Counts

2 → 12

Calls

Call 1

Inputs
#<alt (/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)>
#<alt (*.f64 -8 (pow.f64 x 2))>

Outputs
#<alt (/.f64 16 y)>
#<alt (+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))>
#<alt (+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))>
#<alt (+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))>
#<alt (*.f64 -8 (/.f64 (pow.f64 x 2) y))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>
#<alt (*.f64 -8 (/.f64 (pow.f64 x 2) y))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>
#<alt (.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))>

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(* -8 (pow x 2))
2.0ms	x	@	inf	(/ (+ 16 (* -8 (pow x 2))) y)
1.0ms	y	@	0	(/ (+ 16 (* -8 (pow x 2))) y)
1.0ms	x	@	0	(/ (+ 16 (* -8 (pow x 2))) y)
1.0ms	y	@	inf	(/ (+ 16 (* -8 (pow x 2))) y)

rewrite98.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1310×	`unpow-prod-down`
730×	`log-prod`
717×	`log1p-expm1-u`
717×	`expm1-log1p-u`
276×	`prod-diff`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	47
1	150	43
2	1958	43

Stop Event

1×	node limit

Counts

2 → 107

Calls

Call 1

Inputs
(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)
(*.f64 -8 (pow.f64 x 2))

Outputs
(+.f64 0 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1)
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (/.f64 1 y))
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 (/.f64 1 y)) 3))
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (sqrt.f64 (/.f64 1 y)) 2))
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (log.f64 (exp.f64 1)))
(*.f64 1 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(*.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 1 (neg.f64 y)) 1))
(*.f64 (/.f64 1 y) (fma.f64 -8 (pow.f64 x 2) 16))
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)))
(*.f64 (pow.f64 1 1/3) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 y)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) 1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(.f64 (pow.f64 (.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (fma.f64 -8 (pow.f64 x 2) 16)) 1/3) (pow.f64 (/.f64 1 y) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 1/3) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))) -1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 y (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 y (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(.f64 (pow.f64 (/.f64 y (fma.f64 (pow.f64 x 6) -512 4096)) -1) (/.f64 1 (fma.f64 (.f64 -8 (pow.f64 x 2)) (fma.f64 -8 (pow.f64 x 2) -16) 256)))
(.f64 (pow.f64 (/.f64 y (-.f64 256 (.f64 (pow.f64 x 4) 64))) -1) (/.f64 1 (+.f64 16 (*.f64 8 (pow.f64 x 2)))))
(pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 3)
(pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)
(pow.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) -1)
(pow.f64 (/.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) 1) -1)
(neg.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (neg.f64 y)))
(neg.f64 (/.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2))
(log.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 -8 (pow.f64 x 2) 16) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(log1p.f64 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(exp.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(+.f64 0 (*.f64 -8 (pow.f64 x 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))) (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2)))) 1)
(pow.f64 (*.f64 -8 (pow.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -8 (pow.f64 x 2))) 3)
(pow.f64 (*.f64 (pow.f64 x 6) -512) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 -8)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 64))
(log.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -8 (pow.f64 x 2)))))
(cbrt.f64 (*.f64 (pow.f64 x 6) -512))
(expm1.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2))))
(log1p.f64 (expm1.f64 (*.f64 -8 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 -8 (pow.f64 x 2))))
(exp.f64 (.f64 (log.f64 (.f64 -8 (pow.f64 x 2))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -8 (pow.f64 x 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) -512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 -8))) 2))

simplify120.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

916×	`fma-neg`
910×	`exp-prod`
778×	`cube-prod`
718×	`fma-define`
660×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	332	5105
1	611	5005
2	1547	4386
3	6419	4213

Stop Event

1×	node limit

Counts

119 → 150

Calls

Call 1

Inputs
(/.f64 16 y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(+.f64 0 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1)
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (/.f64 1 y))
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 (/.f64 1 y)) 3))
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (sqrt.f64 (/.f64 1 y)) 2))
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (log.f64 (exp.f64 1)))
(*.f64 1 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(*.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 (neg.f64 y)))
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 1 (neg.f64 y)) 1))
(*.f64 (/.f64 1 y) (fma.f64 -8 (pow.f64 x 2) 16))
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)))
(*.f64 (pow.f64 1 1/3) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 y)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) 1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)) 1))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(.f64 (pow.f64 (.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (fma.f64 -8 (pow.f64 x 2) 16)) 1/3) (pow.f64 (/.f64 1 y) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 1/3) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))) -1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 y (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 y (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(.f64 (pow.f64 (/.f64 y (fma.f64 (pow.f64 x 6) -512 4096)) -1) (/.f64 1 (fma.f64 (.f64 -8 (pow.f64 x 2)) (fma.f64 -8 (pow.f64 x 2) -16) 256)))
(.f64 (pow.f64 (/.f64 y (-.f64 256 (.f64 (pow.f64 x 4) 64))) -1) (/.f64 1 (+.f64 16 (*.f64 8 (pow.f64 x 2)))))
(pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 3)
(pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)
(pow.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) -1)
(pow.f64 (/.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) 1) -1)
(neg.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (neg.f64 y)))
(neg.f64 (/.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2))
(log.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 -8 (pow.f64 x 2) 16) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(log1p.f64 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(exp.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(+.f64 0 (*.f64 -8 (pow.f64 x 2)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))) (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2)))) 1)
(pow.f64 (*.f64 -8 (pow.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 -8 (pow.f64 x 2))) 3)
(pow.f64 (*.f64 (pow.f64 x 6) -512) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 -8)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 4) 64))
(log.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -8 (pow.f64 x 2)))))
(cbrt.f64 (*.f64 (pow.f64 x 6) -512))
(expm1.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2))))
(log1p.f64 (expm1.f64 (*.f64 -8 (pow.f64 x 2))))
(exp.f64 (log.f64 (*.f64 -8 (pow.f64 x 2))))
(exp.f64 (.f64 (log.f64 (.f64 -8 (pow.f64 x 2))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -8 (pow.f64 x 2)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) -512)) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 -8))) 2))

Outputs
(/.f64 16 y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(+.f64 (.f64 -8 (/.f64 (pow.f64 x 2) y)) (.f64 16 (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(*.f64 (pow.f64 x 2) (/.f64 -8 y))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(*.f64 (pow.f64 x 2) (/.f64 -8 y))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(.f64 (pow.f64 x 2) (-.f64 (.f64 16 (/.f64 1 (.f64 (pow.f64 x 2) y))) (.f64 8 (/.f64 1 y))))
(.f64 (pow.f64 x 2) (-.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 8 y)))
(.f64 (pow.f64 x 2) (+.f64 (/.f64 16 (.f64 y (pow.f64 x 2))) (/.f64 -8 y)))
(+.f64 0 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (/.f64 1 y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 (/.f64 1 y)) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (sqrt.f64 (/.f64 1 y)) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (log.f64 (exp.f64 1)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 1 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2)))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (cbrt.f64 (pow.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) -2)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 y)) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (/.f64 1 (neg.f64 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (/.f64 1 (neg.f64 y)) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 1 y) (fma.f64 -8 (pow.f64 x 2) 16))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 1 y) (pow.f64 (/.f64 1 (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (pow.f64 1 1/3) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) 1))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 y)) 1) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) 1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) 1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (sqrt.f64 y)) 1) (pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (sqrt.f64 y)) 1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (pow.f64 (cbrt.f64 y) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)) 1))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) 1/3) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2)))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (cbrt.f64 (pow.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) -2)))
(.f64 (pow.f64 (.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (*.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3)) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3))))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (fma.f64 -8 (pow.f64 x 2) 16)) 1/3) (pow.f64 (/.f64 1 y) 1/3))
(.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2))))
(.f64 (cbrt.f64 (/.f64 1 y)) (cbrt.f64 (/.f64 (pow.f64 (fma.f64 -8 (pow.f64 x 2) 16) 3) (.f64 y y))))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 1/3) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2) (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 7))))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 8)))
(.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2) (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))))
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 5)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))) -1) (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (/.f64 1 (.f64 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))))))
(*.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (/.f64 (/.f64 1 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))))
(/.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) (*.f64 (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) (cbrt.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)))))
(*.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 y (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (/.f64 1 (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 y (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 y) 2) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2))) (/.f64 1 (/.f64 (cbrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)))))
(.f64 (.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) (*.f64 (/.f64 1 (cbrt.f64 y)) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)))
(pow.f64 (/.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y)) 3)
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 y) 2) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(/.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (fma.f64 -8 (pow.f64 x 2) 16)) (cbrt.f64 y))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) 1) -1) (pow.f64 (/.f64 (sqrt.f64 y) (fma.f64 -8 (pow.f64 x 2) 16)) -1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (pow.f64 (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 y) (cbrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)))
(/.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1) (pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(pow.f64 (/.f64 (sqrt.f64 y) (sqrt.f64 (fma.f64 -8 (pow.f64 x 2) 16))) -2)
(.f64 (pow.f64 (/.f64 y (fma.f64 (pow.f64 x 6) -512 4096)) -1) (/.f64 1 (fma.f64 (.f64 -8 (pow.f64 x 2)) (fma.f64 -8 (pow.f64 x 2) -16) 256)))
(.f64 (/.f64 1 (/.f64 y (fma.f64 (pow.f64 x 6) -512 4096))) (/.f64 1 (fma.f64 (.f64 -8 (pow.f64 x 2)) (fma.f64 -8 (pow.f64 x 2) -16) 256)))
(/.f64 (.f64 (/.f64 1 y) (fma.f64 (pow.f64 x 6) -512 4096)) (fma.f64 (.f64 -8 (pow.f64 x 2)) (fma.f64 -8 (pow.f64 x 2) -16) 256))
(.f64 (/.f64 1 y) (/.f64 (fma.f64 (pow.f64 x 6) -512 4096) (fma.f64 -8 (.f64 (pow.f64 x 2) (fma.f64 -8 (pow.f64 x 2) -16)) 256)))
(.f64 (pow.f64 (/.f64 y (-.f64 256 (.f64 (pow.f64 x 4) 64))) -1) (/.f64 1 (+.f64 16 (*.f64 8 (pow.f64 x 2)))))
(.f64 (/.f64 1 (/.f64 y (-.f64 256 (.f64 (pow.f64 x 4) 64)))) (/.f64 1 (+.f64 16 (*.f64 (pow.f64 x 2) 8))))
(/.f64 (.f64 (/.f64 1 y) (+.f64 256 (.f64 (pow.f64 x 4) -64))) (fma.f64 (pow.f64 x 2) 8 16))
(*.f64 (/.f64 1 y) (/.f64 (fma.f64 (pow.f64 x 4) -64 256) (fma.f64 (pow.f64 x 2) 8 16)))
(pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 1)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(pow.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 3)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(pow.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3) 1/3)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(pow.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 2)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(pow.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) -1)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(pow.f64 (/.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16)) 1) -1)
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(neg.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) (neg.f64 y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(neg.f64 (/.f64 (neg.f64 (fma.f64 -8 (pow.f64 x 2) 16)) y))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(sqrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(log.f64 (exp.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(cbrt.f64 (pow.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 -8 (pow.f64 x 2) 16) 3) (pow.f64 y 3)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(expm1.f64 (log1p.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(log1p.f64 (expm1.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (*.f64 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)) 1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 1/3))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y))) 2))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(exp.f64 (*.f64 (log.f64 (/.f64 y (fma.f64 -8 (pow.f64 x 2) 16))) -1))
(fma.f64 -8 (/.f64 (pow.f64 x 2) y) (/.f64 16 y))
(/.f64 (fma.f64 -8 (pow.f64 x 2) 16) y)
(+.f64 0 (*.f64 -8 (pow.f64 x 2)))
(*.f64 -8 (pow.f64 x 2))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))) (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2)))) 1)
(*.f64 -8 (pow.f64 x 2))
(pow.f64 (*.f64 -8 (pow.f64 x 2)) 1)
(*.f64 -8 (pow.f64 x 2))
(pow.f64 (cbrt.f64 (*.f64 -8 (pow.f64 x 2))) 3)
(*.f64 -8 (pow.f64 x 2))
(pow.f64 (*.f64 (pow.f64 x 6) -512) 1/3)
(cbrt.f64 (*.f64 (pow.f64 x 6) -512))
(pow.f64 (*.f64 x (sqrt.f64 -8)) 2)
(*.f64 -8 (pow.f64 x 2))
(sqrt.f64 (*.f64 (pow.f64 x 4) 64))
(log.f64 (pow.f64 (exp.f64 -8) (pow.f64 x 2)))
(*.f64 -8 (pow.f64 x 2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -8 (pow.f64 x 2)))))
(*.f64 -8 (pow.f64 x 2))
(cbrt.f64 (*.f64 (pow.f64 x 6) -512))
(expm1.f64 (log1p.f64 (*.f64 -8 (pow.f64 x 2))))
(*.f64 -8 (pow.f64 x 2))
(log1p.f64 (expm1.f64 (*.f64 -8 (pow.f64 x 2))))
(*.f64 -8 (pow.f64 x 2))
(exp.f64 (log.f64 (*.f64 -8 (pow.f64 x 2))))
(*.f64 -8 (pow.f64 x 2))
(exp.f64 (.f64 (log.f64 (.f64 -8 (pow.f64 x 2))) 1))
(*.f64 -8 (pow.f64 x 2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -8 (pow.f64 x 2)))) 3))
(*.f64 -8 (pow.f64 x 2))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 6) -512)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 x 6) -512))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 -8))) 2))
(*.f64 -8 (pow.f64 x 2))

eval124.0ms (3%)

Compiler: Compiled 2741 to 2218 computations (19.1% saved)

prune26.0ms (0.6%)

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	0	0	0
Picked	1	0	1
Done	0	8	8
Total	149	10	159

Accuracy

100.0%

Counts

159 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	5.4%	(*.f64 (pow.f64 x 2) (/.f64 -8 y))
✓	52.1%	(.f64 (cos.f64 x) (/.f64 (.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))) y))
✓	100.0%	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
✓	51.6%	(*.f64 (cos.f64 x) (/.f64 y y))
	5.4%	(*.f64 -8 (/.f64 (pow.f64 x 2) y))
✓	7.5%	8
✓	7.8%	4
✓	8.9%	3/2
✓	8.5%	1/2
✓	3.5%	-2

Compiler

Compiled 127 to 92 computations (27.6% saved)

regimes83.0ms (2%)

Counts

12 → 1

Calls

Call 1

Inputs
-2
1/2
3/2
4
8
(*.f64 (cos.f64 x) (/.f64 16 y))
(*.f64 (cos.f64 x) (/.f64 y y))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(*.f64 (pow.f64 x 2) (/.f64 -8 y))
(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(.f64 (cos.f64 x) (/.f64 (.f64 1/2 (-.f64 (exp.f64 y) (exp.f64 (neg.f64 y)))) y))

Outputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))

Calls

5 calls:

61.0ms	y
8.0ms	x
7.0ms	(cos.f64 x)
4.0ms	(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
3.0ms	(/.f64 (sinh.f64 y) y)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))`
100.0%	1	`(cos.f64 x)`
100.0%	1	`(/.f64 (sinh.f64 y) y)`

Compiler

Compiled 25 to 17 computations (32% saved)

regimes32.0ms (0.8%)

Counts

10 → 2

Calls

Call 1

Inputs
-2
1/2
3/2
4
8
(*.f64 (cos.f64 x) (/.f64 16 y))
(*.f64 (cos.f64 x) (/.f64 y y))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(*.f64 (pow.f64 x 2) (/.f64 -8 y))
(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)

Outputs
(*.f64 (cos.f64 x) (/.f64 y y))
(/.f64 (+.f64 16 (*.f64 -8 (pow.f64 x 2))) y)

Calls

3 calls:

12.0ms	y
12.0ms	(cos.f64 x)
7.0ms	x

Results

Accuracy	Segments	Branch
51.6%	1	`x`
54.5%	2	`y`
51.6%	1	`(cos.f64 x)`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes12.0ms (0.3%)

Counts

9 → 2

Calls

Call 1

Inputs
-2
1/2
3/2
4
8
(*.f64 (cos.f64 x) (/.f64 16 y))
(*.f64 (cos.f64 x) (/.f64 y y))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))
(*.f64 (pow.f64 x 2) (/.f64 -8 y))

Outputs
(*.f64 (cos.f64 x) (/.f64 y y))
(*.f64 -8 (/.f64 (pow.f64 x 2) y))

Calls

1 calls:

12.0ms

Results

Accuracy	Segments	Branch
54.3%	2	`y`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes11.0ms (0.3%)

Counts

7 → 1

Calls

Call 1

Inputs
-2
1/2
3/2
4
8
(*.f64 (cos.f64 x) (/.f64 16 y))
(*.f64 (cos.f64 x) (/.f64 y y))

Outputs
(*.f64 (cos.f64 x) (/.f64 y y))

Calls

2 calls:

6.0ms	y
4.0ms	(cos.f64 x)

Results

Accuracy	Segments	Branch
51.6%	1	`(cos.f64 x)`
51.6%	1	`y`

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes19.0ms (0.5%)

Counts

6 → 2

Calls

Call 1

Inputs
-2
1/2
3/2
4
8
(*.f64 (cos.f64 x) (/.f64 16 y))

Outputs
-2
3/2

Calls

3 calls:

8.0ms	(cos.f64 x)
6.0ms	y
5.0ms	x

Results

Accuracy	Segments	Branch
8.9%	1	`x`
8.9%	1	`y`
11.3%	2	`(cos.f64 x)`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes8.0ms (0.2%)

Counts

2 → 1

Calls

Call 1

Inputs
-2
1/2

Outputs
1/2

Calls

2 calls:

4.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
8.5%	1	`y`
8.5%	1	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes7.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
-2

Outputs
-2

Calls

2 calls:

4.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
3.5%	1	`y`
3.5%	1	`x`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch18.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	53484408118456.805	5696397450064319.0

Results

15.0ms	111×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 161 to 122 computations (24.2% saved)

Precisions

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

Operation ival-cos, time spent: 3.0ms, 48.0% of total-time

Operation ival-div, time spent: 1.0ms, 16.0% of total-time

Operation ival-mult, time spent: 1.0ms, 16.0% of total-time

Operation ival-sinh, time spent: 1.0ms, 16.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch18.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
18.0ms	53484408118456.805	5696397450064319.0

Results

16.0ms	111×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 147 to 108 computations (26.5% saved)

Precisions

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

Operation ival-cos, time spent: 3.0ms, 46.0% of total-time

Operation ival-div, time spent: 1.0ms, 15.0% of total-time

Operation ival-mult, time spent: 1.0ms, 15.0% of total-time

Operation ival-sinh, time spent: 1.0ms, 15.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch31.0ms (0.7%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
31.0ms	-0.004193341009649533	0.12280300670408853

Results

17.0ms	131×	256	valid
10.0ms	108×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 134 to 130 computations (3% saved)

Precisions

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

Operation ival-sinh, time spent: 3.0ms, 45.0% of total-time

Operation ival-div, time spent: 2.0ms, 30.0% of total-time

Operation ival-mult, time spent: 2.0ms, 30.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	208
1	43	208

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(if (<=.f64 y 65000000000000) (.f64 (cos.f64 x) (/.f64 y y)) (/.f64 (+.f64 16 (.f64 -8 (pow.f64 x 2))) y))
(if (<=.f64 y 750000000000000) (.f64 (cos.f64 x) (/.f64 y y)) (.f64 -8 (/.f64 (pow.f64 x 2) y)))
(*.f64 (cos.f64 x) (/.f64 y y))
(if (<=.f64 (cos.f64 x) -101201126653655/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) -2 3/2)
1/2
-2

Outputs
(*.f64 (cos.f64 x) (/.f64 (sinh.f64 y) y))
(if (<=.f64 y 65000000000000) (.f64 (cos.f64 x) (/.f64 y y)) (/.f64 (+.f64 16 (.f64 -8 (pow.f64 x 2))) y))
(if (<=.f64 y 750000000000000) (.f64 (cos.f64 x) (/.f64 y y)) (.f64 -8 (/.f64 (pow.f64 x 2) y)))
(*.f64 (cos.f64 x) (/.f64 y y))
(if (<=.f64 (cos.f64 x) -101201126653655/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) -2 3/2)
1/2
-2

Compiler

Compiled 72 to 53 computations (26.4% saved)

soundness265.0ms (6.4%)

Rules

1512×	`fma-define`
892×	`distribute-lft-neg-in`
746×	`distribute-rgt-neg-in`
724×	`fma-neg`
644×	`distribute-rgt-neg-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	46
1	206	46
2	3220	46
0	68	946
1	173	914
2	450	913
3	1168	900
4	2669	895
5	3695	885
6	5460	880
7	7264	877
0	6	8
1	49	8
2	556	8

Stop Event

1×	node limit
1×	node limit
1×	unsound

Compiler

Compiled 98 to 78 computations (20.4% saved)

end0.0ms (0%)

preprocess71.0ms (1.7%)

Remove

(abs y)

(abs x)

Compiler

Compiled 318 to 198 computations (37.7% saved)

analyze19.0ms (0.5%)

sample1.5s (36.5%)

preprocess183.0ms (4.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize38.0ms (0.9%)

series3.0ms (0.1%)

rewrite421.0ms (10.1%)

simplify292.0ms (7%)

eval10.0ms (0.2%)

prune101.0ms (2.4%)

localize263.0ms (6.3%)

series7.0ms (0.2%)

rewrite35.0ms (0.9%)

simplify199.0ms (4.8%)

eval18.0ms (0.4%)

prune14.0ms (0.3%)

localize19.0ms (0.5%)

eval0.0ms (0%)

prune3.0ms (0.1%)

localize57.0ms (1.4%)

series8.0ms (0.2%)

rewrite98.0ms (2.3%)

simplify120.0ms (2.9%)

eval124.0ms (3%)

prune26.0ms (0.6%)

regimes83.0ms (2%)

regimes32.0ms (0.8%)

regimes12.0ms (0.3%)

regimes11.0ms (0.3%)

regimes19.0ms (0.5%)

regimes8.0ms (0.2%)

regimes7.0ms (0.2%)

bsearch18.0ms (0.4%)

bsearch18.0ms (0.4%)

bsearch31.0ms (0.7%)

simplify6.0ms (0.1%)

soundness265.0ms (6.4%)

end0.0ms (0%)

preprocess71.0ms (1.7%)

Profiling