Metrics for FastMath test5

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

sample854.0ms (2.2%)

Results

450.0ms	4531×	body	256	valid
394.0ms	3725×	body	256	infinite

Bogosity

preprocess205.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1162×	`+-commutative`
1108×	`fma-def`
874×	`fma-neg`
854×	`unswap-sqr`
768×	`cancel-sign-sub-inv`

Problems

256×

No Errors

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	129
1	70	93
2	256	57
3	682	21
4	1378	21
5	3638	21
6	5384	21
7	6493	21
8	6998	21
9	7421	21

Stop Event

1×	node limit

Calls

Call 1

Inputs

(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 (.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(pow.f64 d1 10)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 (.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(pow.f64 d1 10)
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 (.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(pow.f64 d1 10)

Symmetry

(abs d1)

Compiler

Compiled 111 to 19 computations (82.9% saved)

eval2.0ms (0%)

Compiler: Compiled 90 to 52 computations (42.2% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 10)
▶	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	100.0%	(pow.f64 d1 10)
▶	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 48 to 24 computations (50% saved)

localize52.0ms (0.1%)

Localize:

Found 8 expressions with local error:

New	Accuracy	Program
	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
	99.9%	(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
	99.9%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))
✓	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	99.9%	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
✓	99.9%	(.f64 d1 (.f64 d1 d1))

Compiler

Compiled 96 to 13 computations (86.5% saved)

series4.0ms (0%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
0.0ms	d1	@	-inf	(.f64 d1 (.f64 d1 d1))
0.0ms	d1	@	0	(.f64 d1 (.f64 d1 d1))
0.0ms	d1	@	inf	(.f64 d1 (.f64 d1 d1))
0.0ms	d1	@	0	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)

rewrite109.0ms (0.3%)

Algorithm

3×	rewrite-once
1×	batch-egg-rewrite

Rules

1706×	`fma-def`
1372×	`prod-exp`
838×	`fma-neg`
740×	`distribute-lft-in`
594×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	28
1	20	28
2	53	28
3	141	28
4	569	28
5	3669	28

Stop Event

1×	node limit

Counts

4 → 488

Calls

Call 1

Inputs
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)

Outputs
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
d1
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
d1
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
d1
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
d1

Calls

12 calls:

1.0ms	(.f64 d1 (.f64 d1 d1))
0.0ms	(.f64 d1 (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
0.0ms	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
0.0ms	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)

simplify122.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1812×	`prod-exp`
1072×	`fma-def`
745×	`*-commutative`
590×	`distribute-lft-in`
584×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	228	1732
1	331	1460
2	1095	1334
3	2638	1280
4	6900	1280

Stop Event

1×	node limit

Counts

536 → 202

Calls

Call 1

Inputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 d1 d1))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 d1 d1))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))) (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
(.f64 1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 d1 d1))) (cbrt.f64 (.f64 d1 (.f64 d1 d1)))) (cbrt.f64 (.f64 d1 (.f64 d1 d1))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1))))
(pow.f64 (.f64 d1 (.f64 d1 d1)) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 d1 d1))))
(log.f64 (exp.f64 (.f64 d1 (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1))))
(.f64 1 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(.f64 1 (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (sqrt.f64 (.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) d1)))
(.f64 1 (.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1))) (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)))

Outputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))) (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 1 (.f64 d1 (*.f64 d1 d1)))
(pow.f64 d1 3)
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 d1 d1))) (cbrt.f64 (.f64 d1 (.f64 d1 d1)))) (cbrt.f64 (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(pow.f64 (.f64 d1 (.f64 d1 d1)) 1)
(pow.f64 d1 3)
(exp.f64 (log.f64 (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(log.f64 (exp.f64 (.f64 d1 (.f64 d1 d1))))
(pow.f64 d1 3)
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 3))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1))))
(pow.f64 d1 7)
(.f64 1 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)))
(pow.f64 d1 7)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(pow.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) 1)
(pow.f64 d1 7)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(pow.f64 d1 7)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 7)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 7)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (*.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 6)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 7))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(.f64 1 (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) (.f64 (.f64 d1 (.f64 d1 d1)) d1)) (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(pow.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) 1)
(pow.f64 d1 4)
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(pow.f64 d1 4)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 4)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 4)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 4))
-7/2
-3
-5/2
-9/4
-2
-27/16
-3/2
-5/4
-9/8
-1
-7/8
-3/4
-11/16
-5/8
-9/16
-1/2
-15/32
-3/8
-5/16
-9/32
-1/4
-3/16
-9/64
-1/8
-3/32
-1/16
0
1/256
1/128
1/64
3/128
1/32
9/256
3/64
1/16
9/128
3/32
15/128
1/8
9/64
5/32
3/16
15/64
1/4
9/32
5/16
21/64
3/8
25/64
27/64
15/32
1/2
33/64
9/16
5/8
3/4
27/32
7/8
15/16
1
17/16
35/32
9/8
19/16
5/4
11/8
45/32
3/2
13/8
27/16
7/4
15/8
2
17/8
9/4
19/8
5/2
21/8
43/16
11/4
45/16
3
25/8
13/4
7/2
15/4
4
17/4
9/2
19/4
5
21/4
11/2
6
25/4
13/2
7
15/2
8
9
10
11
12
13
14
15
27
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (sqrt.f64 (.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(.f64 1 (.f64 (.f64 (.f64 d1 (*.f64 d1 d1)) d1) d1))
(pow.f64 d1 5)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1))) (cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)) (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(pow.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) 1)
(pow.f64 d1 5)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(log.f64 (exp.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(pow.f64 d1 5)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 5)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 5)))
(binary32->binary64 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 5))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 3) 3)))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 8))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 9)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 3) 3)))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 8))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 9)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (pow.f32 (binary64->binary32 d1) 4) (pow.f32 (binary64->binary32 d1) 4))))
(binary32->binary64 (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 8)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 9))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 (pow.f64 d1 3) 3))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 5) 2)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 10)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 (pow.f64 d1 3) 3))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 5) 2)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 10)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))) (pow.f32 (binary64->binary32 d1) 3)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 (pow.f32 (binary64->binary32 d1) 4) (pow.f32 (binary64->binary32 d1) 4)))))
(binary32->binary64 (*.f32 (pow.f32 (binary64->binary32 d1) 4) (pow.f32 (binary64->binary32 d1) 6)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 10))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 4) 2)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 8)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (pow.f64 (pow.f64 d1 4) 2)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 8)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (*.f32 (pow.f32 (binary64->binary32 d1) 4) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 8))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 5)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (*.f64 d1 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 5)))
(binary32->binary64 (.f32 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 5))

eval42.0ms (0.1%)

Compiler: Compiled 3522 to 1421 computations (59.7% saved)

prune61.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	199	3	202
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	199	5	204

Accuracy

100.0%

Counts

204 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	42.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	42.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 144 to 78 computations (45.8% saved)

localize125.0ms (0.3%)

Localize:

Found 18 expressions with local error:

New	Accuracy	Program
	99.9%	(.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))
	99.9%	(.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)
	99.9%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))
	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
	99.8%	(.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))
	99.9%	(.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)
	100.0%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
	100.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
	74.6%	(.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))
✓	99.9%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))
✓	99.9%	(.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)
✓	99.9%	(.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))
✓	99.8%	(.f64 (.f64 27 d1) d1)
✓	100.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	100.0%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
✓	99.9%	(.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)
✓	99.8%	(.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))
✓	74.6%	(.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))

Compiler

Compiled 185 to 87 computations (53% saved)

series6.0ms (0%)

Counts

9 → 108

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	(.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)
0.0ms	d1	@	0	(.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
0.0ms	d1	@	inf	(.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))
0.0ms	d1	@	inf	(.f64 (.f64 27 d1) d1)
0.0ms	d1	@	-inf	(.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)

rewrite120.0ms (0.3%)

Algorithm

3×	rewrite-once
1×	batch-egg-rewrite

Rules

2364×	`prod-exp`
410×	`fma-def`
372×	`frac-add`
350×	`*-commutative`
240×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	21	105
1	54	81
2	120	57
3	211	57
4	579	57
5	1708	57

Stop Event

1×	node limit

Counts

9 → 459

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))
(.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)
(.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 27 d1) d1)
(.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)
(.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))

Outputs
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
d1
1/256
1/256
1/256
1/256
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
d1
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
d1
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
d1
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
d1

Calls

27 calls:

1.0ms	(.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))
0.0ms	(.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)

simplify148.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1308×	`log-prod`
1180×	`exp-prod`
1132×	`unswap-sqr`
1002×	`exp-sum`
777×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	5021
1	570	3841
2	2275	3753
3	5993	3753

Stop Event

1×	node limit

Counts

567 → 230

Calls

Call 1

Inputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1))))
(.f64 1 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(pow.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 0 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1))))
(.f64 1 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(pow.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(pow.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
1/256
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1))))
(.f64 1 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(pow.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 1 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1) (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(pow.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 27 d1) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 27 d1) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 27 d1) d1)) (sqrt.f64 (.f64 (*.f64 27 d1) d1)))
(.f64 1 (.f64 (*.f64 27 d1) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 27 d1) d1)) (cbrt.f64 (.f64 (.f64 27 d1) d1))) (cbrt.f64 (.f64 (.f64 27 d1) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 (.f64 27 d1) d1)) (.f64 (.f64 27 d1) d1)))
(pow.f64 (.f64 (.f64 27 d1) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 27 d1) d1)))
(log.f64 (exp.f64 (.f64 (.f64 27 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) d1)))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1))))
(.f64 1 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(pow.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(pow.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1))))
(.f64 1 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(pow.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 0 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))

Outputs
0
0
0
0
0
0
0
0
0
0
0
0
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 4))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 5))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 6))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 1/256 (pow.f64 d1 7))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 5))
(*.f64 (pow.f64 d1 5) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) 27)
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
0
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
0
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1))))
0
(.f64 1 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)))
0
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
0
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(cbrt.f64 0)
(pow.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1)) 1)
0
(exp.f64 (log.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
0
(log.f64 (exp.f64 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
0
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 0))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 0))
(binary32->binary64 (.f32 (.f32 (.f32 0 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 0)
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(.f64 1 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)))
(*.f64 1/256 (pow.f64 d1 4))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(pow.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) 1)
(*.f64 1/256 (pow.f64 d1 4))
(exp.f64 (log.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(*.f64 1/256 (pow.f64 d1 4))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 4))))
(binary32->binary64 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 1/256 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 1/256 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 4)))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(.f64 1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(pow.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1) 1)
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 4)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 4)))))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))))))
(binary32->binary64 (.f32 (.f32 1/256 (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 1/256 (pow.f32 (binary64->binary32 d1) 4))))
1/256
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(.f64 1 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 6))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))) (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(pow.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) 1)
(*.f64 1/256 (pow.f64 d1 6))
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 1/256 (pow.f64 d1 6))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 1/256 (binary64->binary32 d1)))))))
(binary32->binary64 (.f32 (.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (.f32 1/256 (.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 3))))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(.f64 1 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1) (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1)) d1)) (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(pow.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1) 1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(.f64 d1 (.f64 1/256 (pow.f64 d1 6)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 6)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 6)))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (.f32 1/256 (pow.f32 (binary64->binary32 d1) 4)) (pow.f32 (binary64->binary32 d1) 3)))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(expm1.f64 (log1p.f64 (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(.f64 (sqrt.f64 (.f64 (.f64 27 d1) d1)) (sqrt.f64 (.f64 (*.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(.f64 1 (.f64 (*.f64 27 d1) d1))
(.f64 d1 (.f64 d1 27))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 27 d1) d1)) (cbrt.f64 (.f64 (.f64 27 d1) d1))) (cbrt.f64 (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 (.f64 27 d1) d1)) (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(pow.f64 (.f64 (.f64 27 d1) d1) 1)
(.f64 d1 (.f64 d1 27))
(exp.f64 (log.f64 (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(log.f64 (exp.f64 (.f64 (.f64 27 d1) d1)))
(.f64 d1 (.f64 d1 27))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (binary64->binary32 d1))))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (sqrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(.f64 1 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)))
(*.f64 (pow.f64 d1 4) 27)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))) (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(pow.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) 1)
(*.f64 (pow.f64 d1 4) 27)
(exp.f64 (log.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(log.f64 (exp.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(*.f64 (pow.f64 d1 4) 27)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 27)))))
(binary32->binary64 (binary64->binary32 (*.f64 (pow.f64 d1 4) 27)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 27)))))
(binary32->binary64 (binary64->binary32 (*.f64 (pow.f64 d1 4) 27)))
(binary32->binary64 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 4)))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(expm1.f64 (log1p.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (sqrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(.f64 1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(pow.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1) 1)
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(exp.f64 (log.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(log.f64 (exp.f64 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 d1 (.f64 (pow.f64 d1 4) 27))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (pow.f64 d1 4) 27))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (pow.f64 d1 4) 27))))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 4))))
-4
-3
-2
-3/2
-1
-3/4
-1/2
-7/16
-3/8
-1/4
-3/16
-1/8
0
27/512
1/16
1/8
513/4096
9/64
729/4096
3/16
27/128
1/4
9/32
3/8
7/16
1/2
9/16
5/8
3/4
1
9/8
19/16
5/4
11/8
3/2
25/16
7/4
2
9/4
5/2
11/4
3
25/8
7/2
4
17/4
9/2
5
11/2
6
13/2
7
15/2
8
9
10
11
12
13
14
16
18
27
64
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (sqrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(.f64 1 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))) (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(pow.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1)) 1)
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(*.f64 (pow.f64 d1 6) 27)
(*.f64 27 (pow.f64 d1 6))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 27 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 0))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 0 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 0))
(binary32->binary64 (.f32 (.f32 (.f32 0 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 0)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 6)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 6)))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (.f32 1/256 (pow.f32 (binary64->binary32 d1) 4)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 1/256 (binary64->binary32 d1)))))))
(binary32->binary64 (.f32 (.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (.f32 1/256 (.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 1/256 (*.f64 d1 d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 1/256 (pow.f64 d1 4)))))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))))))
(binary32->binary64 (.f32 (.f32 1/256 (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 1/256 (pow.f32 (binary64->binary32 d1) 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 1/256 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 1/256 (.f64 d1 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 4))))
(binary32->binary64 (.f32 (.f32 (.f32 1/256 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 1/256 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 1/256 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 6)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 6)))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (*.f32 27 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 (.f32 27 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1)) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 27 (pow.f32 (binary64->binary32 d1) 3)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (pow.f64 d1 4) 27))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (pow.f64 d1 4) 27))))
(binary32->binary64 (.f32 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 27)))))
(binary32->binary64 (binary64->binary32 (*.f64 (pow.f64 d1 4) 27)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 (.f64 27 d1) d1) (.f64 d1 d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 27)))))
(binary32->binary64 (binary64->binary32 (*.f64 (pow.f64 d1 4) 27)))
(binary32->binary64 (.f32 (.f32 (.f32 27 (binary64->binary32 d1)) (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 4)))

eval89.0ms (0.2%)

Compiler: Compiled 3627 to 1903 computations (47.5% saved)

prune43.0ms (0.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	226	4	230
Fresh	0	0	0
Picked	1	2	3
Done	0	2	2
Total	227	8	235

Accuracy

100.0%

Counts

235 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
▶	72.6%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
▶	72.4%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
▶	42.6%	(.f64 (.f64 d1 (*.f64 0 d1)) d1)
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	84.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
▶	72.6%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
▶	72.4%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
▶	42.6%	(.f64 (.f64 d1 (*.f64 0 d1)) d1)

Compiler

Compiled 192 to 108 computations (43.8% saved)

localize91.0ms (0.2%)

Localize:

Found 12 expressions with local error:

New	Accuracy	Program
	99.8%	(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
	99.9%	(.f64 (.f64 d1 d1) d1)
	99.9%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))
	99.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
	99.9%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
	99.9%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
✓	99.9%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))
✓	99.9%	(.f64 (.f64 d1 d1) d1)
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
✓	99.8%	(.f64 d1 (.f64 d1 27))
✓	99.9%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)

Compiler

Compiled 110 to 55 computations (50% saved)

series5.0ms (0%)

Counts

6 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
0.0ms	d1	@	-inf	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
0.0ms	d1	@	inf	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
0.0ms	d1	@	-inf	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
0.0ms	d1	@	0	(.f64 (.f64 d1 (*.f64 64 d1)) d1)

rewrite145.0ms (0.4%)

Algorithm

3×	rewrite-once
1×	batch-egg-rewrite

Rules

658×	`prod-exp`
628×	`fma-def`
556×	`frac-add`
402×	`*-commutative`
342×	`distribute-lft-in`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	18	84
1	40	84
2	94	72
3	184	72
4	632	72
5	2110	6

Stop Event

1×	node limit

Counts

6 → 96

Calls

Call 1

Inputs
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)
(.f64 d1 (.f64 d1 27))
(.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))

Outputs
1/256
64
27
27
1
d1
27

Calls

18 calls:

1.0ms	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
0.0ms	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
0.0ms	(.f64 (.f64 d1 d1) d1)
0.0ms	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
0.0ms	(.f64 (.f64 d1 d1) d1)

simplify107.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1108×	`fma-def`
984×	`log-prod`
922×	`unswap-sqr`
908×	`exp-prod`
659×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	180	2534
1	353	2254
2	1698	2166
3	4553	2138

Stop Event

1×	node limit

Counts

168 → 113

Calls

Call 1

Inputs
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 2))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(.f64 1 (.f64 (.f64 d1 (.f64 1/256 d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1) (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(pow.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))) (binary64->binary32 d1)))
64
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(.f64 1 (.f64 (.f64 d1 (.f64 64 d1)) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1) (.f64 (.f64 d1 (.f64 64 d1)) d1)) (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(pow.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1))) (binary64->binary32 d1)))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 d1 27))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 d1 27))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 d1 27))) (sqrt.f64 (.f64 d1 (*.f64 d1 27))))
(.f64 1 (.f64 d1 (*.f64 d1 27)))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 d1 27))) (cbrt.f64 (.f64 d1 (.f64 d1 27)))) (cbrt.f64 (.f64 d1 (.f64 d1 27))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 d1 (.f64 d1 27))) (.f64 d1 (.f64 d1 27))))
(pow.f64 (.f64 d1 (.f64 d1 27)) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 d1 27))))
(log.f64 (exp.f64 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)))
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(.f64 1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(pow.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1)) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
1
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 d1) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 d1) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 d1) d1)) (sqrt.f64 (.f64 (*.f64 d1 d1) d1)))
(.f64 1 (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 d1) d1)) (cbrt.f64 (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 (.f64 d1 d1) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 d1 d1) d1)))
(pow.f64 (.f64 (.f64 d1 d1) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 d1) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (sqrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1)))))
(.f64 1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))))) (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(pow.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))

Outputs
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 1/256 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 64 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 2))
(.f64 d1 (.f64 d1 27))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
(*.f64 27 (pow.f64 d1 6))
1/256
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(.f64 1 (.f64 (.f64 d1 (.f64 1/256 d1)) d1))
(*.f64 1/256 (pow.f64 d1 3))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 1/256 d1)) d1) (.f64 (.f64 d1 (.f64 1/256 d1)) d1)) (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(pow.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1) 1)
(*.f64 1/256 (pow.f64 d1 3))
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(*.f64 1/256 (pow.f64 d1 3))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 1/256 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 1/256 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 3))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 1/256 (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)))
64
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1)) (sqrt.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(.f64 1 (.f64 (.f64 d1 (.f64 64 d1)) d1))
(*.f64 64 (pow.f64 d1 3))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1))) (cbrt.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 64 d1)) d1) (.f64 (.f64 d1 (.f64 64 d1)) d1)) (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(pow.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1) 1)
(*.f64 64 (pow.f64 d1 3))
(exp.f64 (log.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(log.f64 (exp.f64 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(*.f64 64 (pow.f64 d1 3))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 d1 64)))))
(binary32->binary64 (binary64->binary32 (*.f64 64 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 d1 64)))))
(binary32->binary64 (binary64->binary32 (*.f64 64 (pow.f64 d1 3))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 64 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))
(binary32->binary64 (*.f32 64 (pow.f32 (binary64->binary32 d1) 3)))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(.f64 (sqrt.f64 (.f64 d1 (.f64 d1 27))) (sqrt.f64 (.f64 d1 (*.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(.f64 1 (.f64 d1 (*.f64 d1 27)))
(.f64 d1 (.f64 d1 27))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 d1 27))) (cbrt.f64 (.f64 d1 (.f64 d1 27)))) (cbrt.f64 (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 d1 (.f64 d1 27))) (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(pow.f64 (.f64 d1 (.f64 d1 27)) 1)
(.f64 d1 (.f64 d1 27))
(exp.f64 (log.f64 (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(log.f64 (exp.f64 (.f64 d1 (.f64 d1 27))))
(.f64 d1 (.f64 d1 27))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 27))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (binary64->binary32 d1))))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (sqrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(.f64 1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))
(*.f64 27 (pow.f64 d1 5))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(pow.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1)) 1)
(*.f64 27 (pow.f64 d1 5))
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 5))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 d1 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 5))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 d1 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 5))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 27 (pow.f32 (binary64->binary32 d1) 3)))))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 5)))
1
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(.f64 (sqrt.f64 (.f64 (.f64 d1 d1) d1)) (sqrt.f64 (.f64 (*.f64 d1 d1) d1)))
(pow.f64 d1 3)
(.f64 1 (.f64 (*.f64 d1 d1) d1))
(pow.f64 d1 3)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 d1) d1)) (cbrt.f64 (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 d1 d1) d1)) (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(pow.f64 (.f64 (.f64 d1 d1) d1) 1)
(pow.f64 d1 3)
(exp.f64 (log.f64 (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(log.f64 (exp.f64 (.f64 (.f64 d1 d1) d1)))
(pow.f64 d1 3)
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 3))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(.f64 (sqrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (sqrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(.f64 1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 6))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))))) (cbrt.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))) (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(pow.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1))) 1)
(*.f64 27 (pow.f64 d1 6))
(exp.f64 (log.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(log.f64 (exp.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 6))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 27) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 27) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))))
(binary32->binary64 (.f32 (pow.f32 (binary64->binary32 d1) 3) (.f32 (pow.f32 (binary64->binary32 d1) 3) 27)))
(binary32->binary64 (.f32 (pow.f32 (binary64->binary32 d1) 3) (.f32 27 (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 5))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 1/256 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 1/256 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 1/256 d1)))))
(binary32->binary64 (binary64->binary32 (*.f64 1/256 (pow.f64 d1 3))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 1/256 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (.f32 1/256 (binary64->binary32 d1)) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 1/256 (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 d1 64)))))
(binary32->binary64 (binary64->binary32 (*.f64 64 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (*.f64 64 d1)) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (*.f64 d1 64)))))
(binary32->binary64 (binary64->binary32 (*.f64 64 (pow.f64 d1 3))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 64 (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 64 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))
(binary32->binary64 (*.f32 64 (pow.f32 (binary64->binary32 d1) 3)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 6)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 6)))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (pow.f32 (binary64->binary32 d1) 3) (*.f32 (pow.f32 (binary64->binary32 d1) 3) 27))))
(binary32->binary64 (.f32 (pow.f32 (binary64->binary32 d1) 3) (.f32 27 (pow.f32 (binary64->binary32 d1) 4))))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 3) (pow.f32 (binary64->binary32 d1) 4))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 27) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 27) (pow.f64 d1 3))))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 6))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1)))))))
(binary32->binary64 (.f32 (pow.f32 (binary64->binary32 d1) 3) (.f32 (pow.f32 (binary64->binary32 d1) 3) 27)))
(binary32->binary64 (.f32 (pow.f32 (binary64->binary32 d1) 3) (.f32 27 (pow.f32 (binary64->binary32 d1) 3))))
(binary32->binary64 (.f32 27 (.f32 (binary64->binary32 d1) (pow.f32 (binary64->binary32 d1) 5))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 3))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 d1 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 5))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 d1 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 5))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) 27)) (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (binary64->binary32 d1)) (.f32 (binary64->binary32 d1) (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (*.f32 27 (pow.f32 (binary64->binary32 d1) 3)))))
(binary32->binary64 (.f32 (.f32 27 (binary64->binary32 d1)) (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 5)))

eval32.0ms (0.1%)

Compiler: Compiled 1815 to 927 computations (48.9% saved)

prune21.0ms (0.1%)

Pruning

11 alts after pruning (3 fresh and 8 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	0	0	0
Picked	0	4	4
Done	0	4	4
Total	110	11	121

Accuracy

100.0%

Counts

121 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.6%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
▶	80.7%	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.4%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
✓	42.6%	(.f64 (.f64 d1 (*.f64 0 d1)) d1)
	3.4%	64
	3.4%	1/256
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.6%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
▶	80.7%	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.4%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
✓	42.6%	(.f64 (.f64 d1 (*.f64 0 d1)) d1)
	3.4%	64
	3.4%	1/256

Compiler

Compiled 224 to 130 computations (42% saved)

localize31.0ms (0.1%)

Localize:

Found 8 expressions with local error:

New	Accuracy	Program
	99.9%	(.f64 27 (.f64 (*.f64 d1 d1) d1))
	99.9%	(.f64 (.f64 d1 d1) d1)
	99.9%	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
	99.9%	(.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))
✓	99.9%	(.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))
✓	99.9%	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
	99.9%	(.f64 (.f64 d1 d1) d1)
✓	99.9%	(.f64 27 (.f64 (*.f64 d1 d1) d1))

Compiler

Compiled 39 to 14 computations (64.1% saved)

series1.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	inf	(.f64 27 (.f64 (*.f64 d1 d1) d1))
0.0ms	d1	@	-inf	(.f64 27 (.f64 (*.f64 d1 d1) d1))
0.0ms	d1	@	0	(.f64 27 (.f64 (*.f64 d1 d1) d1))
0.0ms	d1	@	-inf	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
0.0ms	d1	@	inf	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)

rewrite94.0ms (0.2%)

Algorithm

3×	rewrite-once
1×	batch-egg-rewrite

Rules

626×	`associate-r`
548×	`*-commutative`
474×	`unpow-prod-down`
392×	`associate-l`
390×	`fma-def`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	9	39
1	21	39
2	55	39
3	119	39
4	402	39
5	1788	3

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

Inputs
(.f64 27 (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))

Outputs
27
27
27

Calls

10 calls:

1.0ms	(.f64 27 (.f64 (*.f64 d1 d1) d1))
0.0ms	(.f64 27 (.f64 (*.f64 d1 d1) d1))
0.0ms	(.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))
0.0ms	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
0.0ms	(.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))

simplify112.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1184×	`exp-sum`
718×	`exp-prod`
710×	`distribute-lft-out`
700×	`fma-def`
689×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1459
1	184	1287
2	837	1255
3	2242	1239
4	5365	1239

Stop Event

1×	node limit

Counts

87 → 60

Calls

Call 1

Inputs
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
27
(log1p.f64 (expm1.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(.f64 (sqrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1))) (sqrt.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(.f64 1 (.f64 27 (.f64 (.f64 d1 d1) d1)))
(.f64 (.f64 (cbrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(cbrt.f64 (.f64 (.f64 (.f64 27 (.f64 (.f64 d1 d1) d1)) (.f64 27 (.f64 (.f64 d1 d1) d1))) (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(pow.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1)) 1)
(exp.f64 (log.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(log.f64 (exp.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (sqrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 1 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1) (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(pow.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1) 1)
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(.f64 (sqrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (sqrt.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1)))))
(.f64 1 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))))) (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(pow.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) 1)
(exp.f64 (log.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(log.f64 (exp.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))

Outputs
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 3))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 5))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
(*.f64 27 (pow.f64 d1 4))
27
(log1p.f64 (expm1.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(.f64 (sqrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1))) (sqrt.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(.f64 1 (.f64 27 (.f64 (.f64 d1 d1) d1)))
(*.f64 27 (pow.f64 d1 3))
(.f64 (.f64 (cbrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1))) (cbrt.f64 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(cbrt.f64 (.f64 (.f64 (.f64 27 (.f64 (.f64 d1 d1) d1)) (.f64 27 (.f64 (.f64 d1 d1) d1))) (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(pow.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1)) 1)
(*.f64 27 (pow.f64 d1 3))
(exp.f64 (log.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(log.f64 (exp.f64 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 3))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 3))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 27 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 3)))
27
(log1p.f64 (expm1.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(expm1.f64 (log1p.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(.f64 (sqrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (sqrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(.f64 1 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))) (cbrt.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1) (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1)) (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(pow.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1) 1)
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(exp.f64 (log.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(log.f64 (exp.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))
(.f64 d1 (.f64 27 (pow.f64 d1 4)))
(.f64 (.f64 27 d1) (pow.f64 d1 4))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) (pow.f64 d1 4))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (*.f32 (pow.f32 (binary64->binary32 d1) 3) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 4) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 5)))
27
(log1p.f64 (expm1.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(expm1.f64 (log1p.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(.f64 (sqrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (sqrt.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(.f64 1 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(*.f64 27 (pow.f64 d1 4))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))))) (cbrt.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(cbrt.f64 (.f64 (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))) (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(pow.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) 1)
(*.f64 27 (pow.f64 d1 4))
(exp.f64 (log.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(log.f64 (exp.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(*.f64 27 (pow.f64 d1 4))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 27) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 27) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 4))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 3) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 27) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 27) (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 4))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1))))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 3) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 4)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) (pow.f64 d1 4))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 (*.f64 d1 27) (pow.f64 d1 3)))))
(binary32->binary64 (binary64->binary32 (.f64 d1 (.f64 27 (pow.f64 d1 4)))))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 27 d1) (pow.f64 d1 4))))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (.f32 (.f32 27 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 27 (*.f32 (pow.f32 (binary64->binary32 d1) 3) (binary64->binary32 d1)))))
(binary32->binary64 (.f32 27 (.f32 (pow.f32 (binary64->binary32 d1) 4) (binary64->binary32 d1))))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 5)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (binary64->binary32 (.f64 (.f64 d1 d1) d1)))
(binary32->binary64 (binary64->binary32 (pow.f64 d1 3)))
(binary32->binary64 (.f32 (.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1)))
(binary32->binary64 (.f32 (binary64->binary32 d1) (.f32 (binary64->binary32 d1) (binary64->binary32 d1))))
(binary32->binary64 (pow.f32 (binary64->binary32 d1) 3))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 3))))
(binary32->binary64 (binary64->binary32 (.f64 27 (.f64 (*.f64 d1 d1) d1))))
(binary32->binary64 (binary64->binary32 (*.f64 27 (pow.f64 d1 3))))
(binary32->binary64 (.f32 27 (.f32 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1)) (binary64->binary32 d1))))
(binary32->binary64 (.f32 (.f32 27 (*.f32 (binary64->binary32 d1) (binary64->binary32 d1))) (binary64->binary32 d1)))
(binary32->binary64 (*.f32 27 (pow.f32 (binary64->binary32 d1) 3)))

eval16.0ms (0%)

Compiler: Compiled 1101 to 522 computations (52.6% saved)

prune15.0ms (0%)

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	0	2	2
Picked	0	1	1
Done	0	8	8
Total	75	12	87

Accuracy

100.0%

Counts

87 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	84.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.6%	(.f64 (.f64 d1 (*.f64 64 d1)) d1)
✓	80.7%	(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
✓	72.4%	(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
✓	42.6%	(.f64 (.f64 d1 (*.f64 0 d1)) d1)
	56.8%	(.f64 (.f64 d1 27) d1)
	3.4%	64
	3.4%	1/256

Compiler

Compiled 240 to 129 computations (46.3% saved)

regimes93.0ms (0.2%)

Counts

13 → 1

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(pow.f64 d1 10)

Outputs
(pow.f64 d1 10)

Calls

2 calls:

86.0ms	d1
3.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 144 to 70 computations (51.4% saved)

regimes22.0ms (0.1%)

Counts

12 → 1

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Calls

2 calls:

16.0ms	d1
3.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
99.8%	1	`d1`
99.8%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 141 to 68 computations (51.8% saved)

regimes9.0ms (0%)

Counts

11 → 1

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 0 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 1/256 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 27 d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)

Calls

1 calls:

6.0ms

d1

Results

Accuracy	Segments	Branch
84.9%	1	`d1`

Compiler

Compiled 102 to 52 computations (49% saved)

regimes12.0ms (0%)

Counts

7 → 2

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)

Outputs
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (.f64 27 (.f64 (*.f64 d1 d1) d1))) d1)

Calls

1 calls:

10.0ms

d1

Results

Accuracy	Segments	Branch
83.3%	2	`d1`

Compiler

Compiled 42 to 25 computations (40.5% saved)

regimes11.0ms (0%)

Counts

6 → 2

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)

Outputs
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 64 d1)) d1)

Calls

1 calls:

10.0ms

d1

Results

Accuracy	Segments	Branch
78.0%	2	`d1`

Compiler

Compiled 31 to 19 computations (38.7% saved)

regimes10.0ms (0%)

Counts

5 → 2

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)

Outputs
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 (*.f64 1/256 d1)) d1)

Calls

1 calls:

8.0ms

d1

Results

Accuracy	Segments	Branch
77.6%	2	`d1`

Compiler

Compiled 24 to 15 computations (37.5% saved)

regimes9.0ms (0%)

Counts

4 → 2

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)
(.f64 (.f64 d1 (*.f64 0 d1)) d1)

Outputs
(.f64 (.f64 d1 (*.f64 0 d1)) d1)
(.f64 (.f64 d1 27) d1)

Calls

1 calls:

8.0ms

d1

Results

Accuracy	Segments	Branch
69.2%	2	`d1`

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes4.0ms (0%)

Counts

3 → 1

Calls

Call 1

Inputs
1/256
64
(.f64 (.f64 d1 27) d1)

Outputs
(.f64 (.f64 d1 27) d1)

Calls

1 calls:

4.0ms

d1

Results

Accuracy	Segments	Branch
56.8%	1	`d1`

Compiler

Compiled 10 to 7 computations (30% saved)

regimes5.0ms (0%)

Counts

2 → 1

Calls

Call 1

Inputs
1/256
64

Outputs
64

Calls

1 calls:

4.0ms

d1

Results

Accuracy	Segments	Branch
3.4%	1	`d1`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes3.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
1/256

Outputs
1/256

Calls

1 calls:

3.0ms

d1

Results

Accuracy	Segments	Branch
3.4%	1	`d1`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch16.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.5065555938418087e-21	1.3282421660307178e-18

Results

14.0ms

128×

body

256

valid

Compiler

Compiled 200 to 124 computations (38% saved)

bsearch15.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.5065555938418087e-21	1.3282421660307178e-18

Results

14.0ms

128×

body

256

valid

Compiler

Compiled 168 to 108 computations (35.7% saved)

bsearch15.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.5065555938418087e-21	1.3282421660307178e-18

Results

13.0ms

128×

body

256

valid

Compiler

Compiled 168 to 108 computations (35.7% saved)

bsearch10.0ms (0%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
10.0ms	6.337121352999102e-18	2.0657926627179596e-17

Results

9.0ms

80×

body

256

valid

Compiler

Compiled 104 to 67 computations (35.6% saved)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Rules

48×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	314
1	75	314

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 10)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
(if (<=.f64 d1 4918143584404189/1329227995784915872903807060280344576) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))
(if (<=.f64 d1 5088450921364131/5192296858534827628530496329220096) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 64 d1)) d1))
(if (<=.f64 d1 2855763272194155/5192296858534827628530496329220096) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 1/256 d1)) d1))
(if (<=.f64 d1 1541463129877527/162259276829213363391578010288128) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (*.f64 d1 27) d1))
(.f64 (.f64 d1 27) d1)
64
1/256

Outputs
(pow.f64 d1 10)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 27)) (.f64 (*.f64 d1 d1) d1))) d1)
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 27)))))
(if (<=.f64 d1 4918143584404189/1329227995784915872903807060280344576) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 27 (.f64 (.f64 d1 d1) d1))) d1))
(if (<=.f64 d1 4918143584404189/1329227995784915872903807060280344576) (.f64 d1 (.f64 d1 (.f64 d1 0))) (.f64 d1 (.f64 d1 (.f64 27 (.f64 d1 (.f64 d1 d1))))))
(if (<=.f64 d1 5088450921364131/5192296858534827628530496329220096) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 64 d1)) d1))
(if (<=.f64 d1 5088450921364131/5192296858534827628530496329220096) (.f64 d1 (.f64 d1 (.f64 d1 0))) (.f64 d1 (.f64 d1 (.f64 d1 64))))
(if (<=.f64 d1 2855763272194155/5192296858534827628530496329220096) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (.f64 d1 (.f64 1/256 d1)) d1))
(if (<=.f64 d1 2855763272194155/5192296858534827628530496329220096) (.f64 d1 (.f64 d1 (.f64 d1 0))) (.f64 d1 (.f64 d1 (.f64 d1 1/256))))
(if (<=.f64 d1 1541463129877527/162259276829213363391578010288128) (.f64 (.f64 d1 (.f64 0 d1)) d1) (.f64 (*.f64 d1 27) d1))
(if (<=.f64 d1 1541463129877527/162259276829213363391578010288128) (.f64 d1 (.f64 d1 (.f64 d1 0))) (.f64 d1 (*.f64 d1 27)))
(.f64 (.f64 d1 27) d1)
(.f64 d1 (.f64 d1 27))
64
1/256

Compiler

Compiled 128 to 78 computations (39.1% saved)

soundness35.4s (92.1%)

Rules

2364×	`prod-exp`
2364×	`prod-exp`
1706×	`fma-def`
1706×	`fma-def`
1706×	`fma-def`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	21	129
1	70	93
2	256	57
3	682	21
4	1378	21
5	3638	21
6	5384	21
7	6493	21
8	6998	21
9	7421	21
0	8	28
1	20	28
2	53	28
3	141	28
4	569	28
5	3669	28
0	21	105
1	54	81
2	120	57
3	211	57
4	579	57
5	1708	57
0	18	84
1	40	84
2	94	72
3	184	72
4	632	72
5	2110	6
0	8	28
1	20	28
2	53	28
3	141	28
4	569	28
5	3669	28
0	21	105
1	54	81
2	120	57
3	211	57
4	579	57
5	1708	57
0	18	84
1	40	84
2	94	72
3	184	72
4	632	72
5	2110	6
0	8	28
1	20	28
2	53	28
3	141	28
4	569	28
5	3669	28
0	310	5021
1	570	3841
2	2275	3753
3	5993	3753
0	18	84
1	40	84
2	94	72
3	184	72
4	632	72
5	2110	6
0	9	39
1	21	39
2	55	39
3	119	39
4	402	39
5	1788	3

Stop Event

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

Compiler

Compiled 329 to 86 computations (73.9% saved)

end0.0ms (0%)

preprocess142.0ms (0.4%)

Remove: (abs d1)
Compiler: Compiled 294 to 160 computations (45.6% saved)

analyze0.0ms (0%)

sample854.0ms (2.2%)

preprocess205.0ms (0.5%)

eval2.0ms (0%)

prune2.0ms (0%)

localize52.0ms (0.1%)

series4.0ms (0%)

rewrite109.0ms (0.3%)

simplify122.0ms (0.3%)

eval42.0ms (0.1%)

prune61.0ms (0.2%)

localize125.0ms (0.3%)

series6.0ms (0%)

rewrite120.0ms (0.3%)

simplify148.0ms (0.4%)

eval89.0ms (0.2%)

prune43.0ms (0.1%)

localize91.0ms (0.2%)

series5.0ms (0%)

rewrite145.0ms (0.4%)

simplify107.0ms (0.3%)

eval32.0ms (0.1%)

prune21.0ms (0.1%)

localize31.0ms (0.1%)

series1.0ms (0%)

rewrite94.0ms (0.2%)

simplify112.0ms (0.3%)

eval16.0ms (0%)

prune15.0ms (0%)

regimes93.0ms (0.2%)

regimes22.0ms (0.1%)

regimes9.0ms (0%)

regimes12.0ms (0%)

regimes11.0ms (0%)

regimes10.0ms (0%)

regimes9.0ms (0%)

regimes4.0ms (0%)

regimes5.0ms (0%)

regimes3.0ms (0%)

bsearch16.0ms (0%)

bsearch15.0ms (0%)

bsearch15.0ms (0%)

bsearch10.0ms (0%)

simplify13.0ms (0%)

soundness35.4s (92.1%)

end0.0ms (0%)

preprocess142.0ms (0.4%)

Profiling