Details

analyze48.0ms (1.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	6.2%	93.8%	0
0%	6.2%	93.8%	1
3.1%	3.1%	93.8%	2
3.1%	3.1%	93.8%	3
4.7%	1.6%	93.8%	4
4.7%	1.6%	93.8%	5
5.5%	0.8%	93.8%	6
5.5%	0.8%	93.8%	7
5.8%	0.4%	93.8%	8
5.8%	0.4%	93.8%	9
6%	0.2%	93.8%	10
6%	0.2%	93.8%	11
6.1%	0.1%	93.8%	12

Compiler

Compiled 36 to 30 computations (16.7% saved)

sample2.0s (45.1%)

Results

2.0s	8235×	body	64	valid
11.0ms	21×	body	128	valid

preprocess134.0ms (3%)

Algorithm

2×	egg-herbie

Rules

836×	`sqr-pow_binary64`
652×	`cube-prod_binary64`
598×	`fabs-mul_binary64`
553×	`*-commutative_binary64`
493×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	48
1	59	48
2	110	48
3	207	48
4	495	48
5	1512	48
6	2056	48
7	2701	48
8	2820	48
9	2994	48
10	3213	48
11	3545	48
12	4005	48
13	4604	48
14	5353	48
15	6281	48
16	6785	48
17	7267	48
18	7665	48
19	7991	48
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs

(+.f64 (*.f64 (*.f64 (/.f64 1 6) (pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (*.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

(+.f64 (*.f64 (*.f64 (/.f64 1 6) (pow.f64 (*.f64 -2 (log.f64 u2)) 1/2)) (cos.f64 (*.f64 (*.f64 2 (PI.f64)) u1))) 1/2)

Outputs
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)
(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u2)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u1))) 1/2)
(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u2)))) (cos.f64 (.f64 u1 (.f64 2 (PI.f64)))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u2))) (cos.f64 (.f64 u1 (.f64 2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u2))) (cos.f64 (.f64 2 (.f64 u1 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u2))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 u1 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u2))) (.f64 1/6 (cos.f64 (.f64 u1 (.f64 2 (PI.f64))))) 1/2)

Compiler

Compiled 21 to 19 computations (9.5% saved)

simplify93.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

836×	`cube-prod_binary64`
818×	`unswap-sqr_binary64`
670×	`sqr-pow_binary64`
499×	`unpow3_binary64`
498×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	24
1	38	24
2	65	24
3	114	24
4	255	24
5	739	24
6	1007	24
7	1337	24
8	2621	24
9	2723	24
10	2884	24
11	3093	24
12	3400	24
13	3828	24
14	4392	24
15	5040	24
16	5880	24
17	6544	24
18	7101	24
19	7661	24

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Outputs
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)
(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)
▶	0.4b	(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Status

Error

Program

0.4b

(fma.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (*.f64 1/6 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)

▶

0.4b

(+.f64 (*.f64 (*.f64 (/.f64 1 6) (pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (*.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Compiler

Compiled 112 to 98 computations (12.5% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
✓	0.2b	(pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)
✓	0.3b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.4b	(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))

series79.0ms (1.8%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
25.0ms	u1	@	0	(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))
22.0ms	u1	@	-inf	(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))
14.0ms	u2	@	inf	(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
8.0ms	u1	@	inf	(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))
2.0ms	u2	@	0	(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

rewrite86.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

847×	`log-prod_binary64`
572×	`prod-diff_binary64`
317×	`expm1-udef_binary64`
317×	`log1p-udef_binary64`
260×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	51
1	395	51
2	4433	51

Stop Event

1×	node limit

Counts

4 → 105

Calls

Call 1

Inputs
(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))
(.f64 (.f64 2 (PI.f64)) u2)
(pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 2 (.f64 (PI.f64) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64)))) (cbrt.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (.f64 (PI.f64) u2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 2 (.f64 (PI.f64) u2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (.f64 (PI.f64) u2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 2 (.f64 (PI.f64) u2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 2 (.f64 (PI.f64) u2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 u2) (.f64 2 (PI.f64))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 2 (.f64 (PI.f64) u2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 2 (.f64 (PI.f64) u2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 2 (PI.f64)) 3) (pow.f64 u2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 u2 3) (pow.f64 (.f64 2 (PI.f64)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (.f64 (PI.f64) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 2 (.f64 (PI.f64) u2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 2 (.f64 (PI.f64) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (.f64 (PI.f64) u2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -2 (log.f64 u1))) (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cbrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 -2) (sqrt.f64 (log.f64 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log.f64 u1)) (sqrt.f64 -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 -2 (log.f64 u1)) 1/4) (pow.f64 (.f64 -2 (log.f64 u1)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 -2 (log.f64 u1))) 2)) (sqrt.f64 (cbrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/2) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 -2 (log.f64 u1))) 2) 1/2) (pow.f64 (cbrt.f64 (.f64 -2 (log.f64 u1))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 -2 (log.f64 u1)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 -2 (log.f64 u1)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2)) (/.f64 1/4 (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)) (cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 2)) (cbrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)) (sqrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))))) (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2) (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8) (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8) (+.f64 1/4 (-.f64 (.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4) (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8)) (neg.f64 (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4)) (neg.f64 (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36))) (-.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) 1 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 2) (.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (.f64 (cbrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))) (cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36))) (cbrt.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (.f64 (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (.f64 (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))) (sqrt.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/6 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 2)) (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (cbrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))) (cbrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))) (sqrt.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))))))

simplify129.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1001×	`fma-neg_binary64`
482×	`unswap-sqr_binary64`
436×	`*-commutative_binary64`
422×	`sqr-pow_binary64`
266×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	71	1092
1	174	1050
2	442	1020
3	1612	1002
4	2682	1002
5	3860	1002
6	4981	1002
7	6353	1002
8	7244	1002
9	7631	1002

Stop Event

1×	node limit

Counts

165 → 127

Calls

Call 1

Inputs
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 2 (.f64 u2 (PI.f64)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2))))))
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (.f64 -2/135 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))

Outputs
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))))
(.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(.f64 2 (.f64 u2 (PI.f64)))
(.f64 (PI.f64) (.f64 2 u2))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -2 (log.f64 u1)))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 2) (.f64 (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) (sqrt.f64 (neg.f64 (log.f64 u1)))))))
(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) (sqrt.f64 (neg.f64 (log.f64 u1))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 (PI.f64) (.f64 2 u2))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 2) (.f64 (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) (sqrt.f64 (neg.f64 (log.f64 u1)))))))
(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) (sqrt.f64 (neg.f64 (log.f64 u1))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 (PI.f64) (.f64 2 u2))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 2) (.f64 (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) (sqrt.f64 (neg.f64 (log.f64 u1)))))))
(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) (sqrt.f64 (neg.f64 (log.f64 u1))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 (PI.f64) (.f64 2 u2))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) (sqrt.f64 (log.f64 (/.f64 1 u1))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 2) (.f64 (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) (sqrt.f64 (neg.f64 (log.f64 u1)))))))
(fma.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) (sqrt.f64 (neg.f64 (log.f64 u1))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 (PI.f64) (.f64 2 u2))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 2) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))))
(+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 1/2)
(fma.f64 1/6 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/2)
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2))))))
(+.f64 1/2 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 -1/3 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2))))))
(+.f64 1/2 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 -1/3 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (.f64 u2 u2))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (.f64 -1/3 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (.f64 (pow.f64 (PI.f64) 2) (.f64 -1/3 (*.f64 u2 u2))))))
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) (fma.f64 -1/3 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) (fma.f64 -1/3 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (.f64 u2 u2))) (.f64 (.f64 (.f64 1/9 (pow.f64 u2 4)) (pow.f64 (PI.f64) 4)) (sqrt.f64 (*.f64 -2 (log.f64 u1)))))))
(+.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (.f64 -1/3 (.f64 (.f64 u2 u2) (pow.f64 (PI.f64) 2))))) (fma.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (sqrt.f64 (.f64 -2 (log.f64 u1))) 1/2))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (+.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -1/3 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (+.f64 (.f64 (pow.f64 u2 4) (.f64 1/9 (pow.f64 (PI.f64) 4))) (.f64 (pow.f64 (PI.f64) 2) (.f64 -1/3 (*.f64 u2 u2)))))))
(+.f64 1/2 (+.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) (+.f64 (.f64 -1/3 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (.f64 -2/135 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(+.f64 1/2 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) (fma.f64 -1/3 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (fma.f64 1/9 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 4))) (.f64 -2/135 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(+.f64 (fma.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))) 1/2) (fma.f64 -1/3 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (.f64 u2 u2))) (fma.f64 -2/135 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 6) (pow.f64 u2 6))) (.f64 (.f64 (.f64 1/9 (pow.f64 u2 4)) (pow.f64 (PI.f64) 4)) (sqrt.f64 (.f64 -2 (log.f64 u1)))))))
(+.f64 1/2 (+.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (.f64 -1/3 (.f64 (.f64 u2 u2) (pow.f64 (PI.f64) 2))))) (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -2/135 (*.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 (+.f64 (.f64 1/9 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -1/3 (.f64 (.f64 u2 u2) (pow.f64 (PI.f64) 2)))) (+.f64 1/6 (.f64 -2/135 (*.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (+.f64 1/6 (+.f64 (.f64 (pow.f64 u2 4) (.f64 1/9 (pow.f64 (PI.f64) 4))) (+.f64 (.f64 (pow.f64 (PI.f64) 2) (.f64 -1/3 (.f64 u2 u2))) (.f64 (pow.f64 (PI.f64) 6) (*.f64 -2/135 (pow.f64 u2 6))))))))
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)
(+.f64 1/2 (.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))))))
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))) 1/2)
(fma.f64 1/6 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 (PI.f64) (.f64 2 u2)))) 1/2)

prune301.0ms (6.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	119	8	127
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	121	8	129

Error

0.0b

Counts

129 → 8

Alt Table

Status	Error	Program
	0.5b	(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(+.f64 (.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
▶	0.2b	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.5b	(/.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4) (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2))
	0.4b	(+.f64 (.f64 (.f64 (/.f64 1 6) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	2.1b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
	0.9b	(.f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (*.f64 (PI.f64) u2)))))))))

Compiler

Compiled 3556 to 2716 computations (23.6% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
✓	0.1b	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
	0.3b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.4b	(.f64 (.f64 -2 (log.f64 u1)) 1/36)

series8.0ms (0.2%)

Counts

3 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	u2	@	0	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
1.0ms	u2	@	inf	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
1.0ms	u1	@	-inf	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
1.0ms	u1	@	-inf	(.f64 (.f64 -2 (log.f64 u1)) 1/36)
1.0ms	u1	@	inf	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

rewrite92.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

808×	`log-prod_binary64`
520×	`prod-diff_binary64`
298×	`expm1-udef_binary64`
298×	`log1p-udef_binary64`
273×	`pow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	353	35
2	4076	35

Stop Event

1×	node limit

Counts

3 → 97

Calls

Call 1

Inputs
(.f64 (.f64 -2 (log.f64 u1)) 1/36)
(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (log.f64 u1) -1/18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36)) (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (log.f64 u1) -1/18) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (log.f64 u1) -1/18)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (log.f64 u1) -1/18)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))) (cbrt.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) (cbrt.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4) (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (pow.f64 1/36 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 -2) (sqrt.f64 (.f64 (log.f64 u1) 1/36)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 -2) (pow.f64 (.f64 (log.f64 u1) 1/36) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 2))) (sqrt.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1/36 1/2) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/2) (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 2)) 1/2) (pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (log.f64 u1) -1/18) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (log.f64 u1) -1/18)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2)) (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2)) (/.f64 1/4 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) (pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) 2) (cbrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) (sqrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8) (/.f64 1 (-.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) 1/4) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) 1/4) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))) (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8) (-.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) 1/4) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8) (+.f64 1/4 (-.f64 (.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2)) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4) (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8)) (neg.f64 (-.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) 1/4) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4)) (neg.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/4 (.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2))) (-.f64 1/2 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) 1/4) (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))) (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 3) (pow.f64 (.f64 (log.f64 u1) -1/18) 3/2) 1/8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (sqrt.f64 (.f64 (log.f64 u1) -1/18)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) (cbrt.f64 (.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2))) (cbrt.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 2) (.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (sqrt.f64 (.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) (.f64 (cbrt.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) (sqrt.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (.f64 (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) (sqrt.f64 (.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4) (.f64 (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 2)) (cbrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))))) (sqrt.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (cbrt.f64 (.f64 (log.f64 u1) -1/18))) (cbrt.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4)) (pow.f64 (.f64 (log.f64 u1) -1/18) 1/4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) (sqrt.f64 (.f64 -2 (log.f64 u1)))) 1/6 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 1/2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (log.f64 u1) -1/18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36)) (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (log.f64 u1) -1/18))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (log.f64 u1) -1/18) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 u1 -2) 1/36))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (log.f64 u1) -1/18)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (log.f64 u1) -1/18)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))) (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) (cbrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/6 (sqrt.f64 (*.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (pow.f64 1/36 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 -2) (sqrt.f64 (*.f64 (log.f64 u1) 1/36)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 -2) (pow.f64 (*.f64 (log.f64 u1) 1/36) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 2))) (sqrt.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1/36 1/2) (sqrt.f64 (*.f64 -2 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 2)) 1/2) (pow.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (log.f64 u1) -1/18) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (log.f64 u1) -1/18)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2)) (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2)) (/.f64 1/4 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) (pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) 2) (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8) (/.f64 1 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))) (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2) (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8) (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8) (+.f64 1/4 (-.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2)) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) -1/4) (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8)) (neg.f64 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) -1/4)) (neg.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/4 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2))) (-.f64 1/2 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))) (fma.f64 (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 3) (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) 1/8)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) -1/2) (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2) -1/4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))) (cbrt.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 2))) (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 2) (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))) (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) (*.f64 (sqrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) (*.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (*.f64 1/6 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 2)) (cbrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (sqrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))))) (sqrt.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) (cbrt.f64 (*.f64 (log.f64 u1) -1/18))) (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4)) (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) (sqrt.f64 (*.f64 -2 (log.f64 u1)))) 1/6 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 2 (*.f64 (PI.f64) u2))) 1/2)))))))

simplify94.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1079×	`fma-neg_binary64`
480×	`unswap-sqr_binary64`
415×	`distribute-rgt-in_binary64`
409×	`*-commutative_binary64`
293×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	850
1	151	808
2	393	786
3	1466	776
4	2398	769
5	3601	769
6	4754	769
7	6841	769

Stop Event

1×	node limit

Counts

145 → 117

Calls

Call 1

Inputs
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))
(+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))

Outputs
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 -1/18 (log.f64 u1))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 -1/18 (log.f64 u1))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 -1/18 (log.f64 u1))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 -1/18 (log.f64 u1))
(*.f64 1/18 (log.f64 (/.f64 1 u1)))
(*.f64 -1/18 (log.f64 u1))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(*.f64 -1/18 (log.f64 u1))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(*.f64 -1/18 (log.f64 u1))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(*.f64 -1/18 (log.f64 u1))
(.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1)))
(*.f64 -1/18 (log.f64 u1))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (sqrt.f64 1/18))
(*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(sqrt.f64 (.f64 -1/18 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))
(sqrt.f64 (*.f64 -1/18 (log.f64 u1)))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 1/18) (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 1/18) (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 1/18) (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (sqrt.f64 1/18) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(fma.f64 (sqrt.f64 1/18) (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64))))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))
(+.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) 1/2)
(+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) 1/2))
(+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (fma.f64 (.f64 -2 (.f64 u2 u2)) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)) 1/2))
(+.f64 1/2 (.f64 (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) 1) (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (.f64 -2 (.f64 u2 (*.f64 u2 (pow.f64 (PI.f64) 2)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (.f64 -2 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))))
(fma.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4))) (fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) 1/2)))
(fma.f64 2/3 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 u2 4))) (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (fma.f64 (.f64 -2 (.f64 u2 u2)) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)) 1/2)))
(+.f64 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) 1/2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 (pow.f64 u2 4) (.f64 2/3 (pow.f64 (PI.f64) 4))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (+.f64 1 (.f64 (pow.f64 u2 4) (*.f64 2/3 (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -2 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2)))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(fma.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4))) (fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(fma.f64 2/3 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 u2 4))) (+.f64 (fma.f64 -4/45 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 6) (pow.f64 u2 6))) (sqrt.f64 (.f64 -1/18 (log.f64 u1)))) (fma.f64 (.f64 -2 (.f64 u2 u2)) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)) 1/2)))
(+.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 (pow.f64 u2 6) (.f64 -4/45 (pow.f64 (PI.f64) 6))) 1) (sqrt.f64 (.f64 -1/18 (log.f64 u1)))) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 (pow.f64 u2 4) (*.f64 2/3 (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (+.f64 (.f64 (pow.f64 u2 6) (.f64 -4/45 (pow.f64 (PI.f64) 6))) (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2))))) (.f64 (pow.f64 u2 4) (.f64 2/3 (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -2 (.f64 (.f64 u2 u2) (pow.f64 (PI.f64) 2)))) (+.f64 1 (.f64 (pow.f64 u2 6) (*.f64 -4/45 (pow.f64 (PI.f64) 6)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (+.f64 1 (.f64 (pow.f64 u2 6) (.f64 -4/45 (pow.f64 (PI.f64) 6)))) (+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (.f64 -2 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))) (+.f64 (.f64 (pow.f64 u2 6) (.f64 -4/45 (pow.f64 (PI.f64) 6))) (.f64 -2 (.f64 (*.f64 u2 u2) (pow.f64 (PI.f64) 2))))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (*.f64 u2 (PI.f64)))) 1/2)

prune392.0ms (8.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	131	6	137
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	137	8	145

Error

0.0b

Counts

145 → 8

Alt Table

Status	Error	Program
	0.4b	(+.f64 (.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(+.f64 (.f64 (sqrt.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
▶	0.3b	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
	0.8b	(+.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 3)) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(/.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4)))
	0.4b	(.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (*.f64 (PI.f64) u2))) -1/2)))
	2.1b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.5b	(+.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) 1) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)

Compiler

Compiled 3311 to 2442 computations (26.2% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
	0.1b	(sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36))
✓	0.3b	(*.f64 (PI.f64) u2)
	0.4b	(.f64 (.f64 -2 (log.f64 u1)) 1/36)

series3.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	u2	@	-inf	(*.f64 (PI.f64) u2)
0.0ms	u1	@	0	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
0.0ms	u2	@	0	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
0.0ms	u2	@	0	(*.f64 (PI.f64) u2)
0.0ms	u2	@	-inf	(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)

rewrite68.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

847×	`log-prod_binary64`
771×	`prod-diff_binary64`
313×	`expm1-udef_binary64`
313×	`log1p-udef_binary64`
261×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	374	26
2	4284	26

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

Inputs
(*.f64 (PI.f64) u2)
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (PI.f64) u2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 u2) (PI.f64))) (cbrt.f64 (pow.f64 (exp.f64 u2) (PI.f64))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 u2) (PI.f64)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 u2) (PI.f64)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 u2) (PI.f64)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (PI.f64) u2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (PI.f64) u2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (PI.f64) u2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (PI.f64) u2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (PI.f64) u2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (PI.f64) u2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 u2) (PI.f64)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (PI.f64) u2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (PI.f64) u2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 u2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 u2 3) (pow.f64 (PI.f64) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (PI.f64) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (PI.f64) u2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (PI.f64) u2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (PI.f64) u2)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2)) (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2)) (/.f64 1/4 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)) (cbrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 2)) (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)) (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 3) 1/8) (/.f64 1 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2))) (fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 3) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2) (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 3) 1/8) (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 3) 1/8) (+.f64 1/4 (-.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2)) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) -1/4) (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 3) 1/8)) (neg.f64 (-.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) 1/4) (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2) -1/4)) (neg.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/4 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2))) (-.f64 1/2 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))) (cbrt.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2))) (cbrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2)) (*.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))) (sqrt.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) (*.f64 (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1))) (*.f64 1/6 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) (*.f64 (sqrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 2))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (sqrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))))) (sqrt.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) (cbrt.f64 (*.f64 (log.f64 u1) -1/18))) (cbrt.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4)) (pow.f64 (*.f64 (log.f64 u1) -1/18) 1/4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) (sqrt.f64 (*.f64 -2 (log.f64 u1)))) 1/6 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -1/18)) (cos.f64 (*.f64 (PI.f64) (*.f64 u2 2))) 1/2)))))))

simplify91.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

931×	`fma-neg_binary64`
482×	`unswap-sqr_binary64`
411×	`*-commutative_binary64`
406×	`distribute-rgt-in_binary64`
403×	`unsub-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	61	726
1	147	684
2	385	662
3	1447	652
4	2350	645
5	3534	645
6	4587	645
7	6592	645
8	7786	645

Stop Event

1×	node limit

Counts

100 → 77

Calls

Call 1

Inputs
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))
(+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))

Outputs
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(*.f64 u2 (PI.f64))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2)) (sqrt.f64 1/18))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) (sqrt.f64 1/18)) 1/2)
(fma.f64 (cos.f64 (.f64 u2 (.f64 (PI.f64) 2))) (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18)) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2)) (sqrt.f64 1/18))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) (sqrt.f64 1/18)) 1/2)
(fma.f64 (cos.f64 (.f64 u2 (.f64 (PI.f64) 2))) (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18)) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2)) (sqrt.f64 1/18))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) (sqrt.f64 1/18)) 1/2)
(fma.f64 (cos.f64 (.f64 u2 (.f64 (PI.f64) 2))) (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18)) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (log.f64 (/.f64 1 u1))) (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 1/18))))
(+.f64 1/2 (.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2)) (sqrt.f64 1/18))))
(fma.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (.f64 (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) (sqrt.f64 1/18)) 1/2)
(fma.f64 (cos.f64 (.f64 u2 (.f64 (PI.f64) 2))) (*.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) (sqrt.f64 1/18)) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (cos.f64 (.f64 2 (.f64 u2 (PI.f64)))) (sqrt.f64 (.f64 -1/18 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 u1))) (log.f64 -1))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))
(+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(fma.f64 -2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (.f64 u2 u2))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(+.f64 1/2 (.f64 (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) 1) (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (.f64 -2 (.f64 u2 (*.f64 u2 (pow.f64 (PI.f64) 2)))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))))))
(fma.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4))) (fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 1/2 (sqrt.f64 (.f64 -1/18 (log.f64 u1))))))
(fma.f64 2/3 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 u2 4))) (fma.f64 -2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (.f64 u2 u2))) (+.f64 1/2 (sqrt.f64 (.f64 -1/18 (log.f64 u1))))))
(+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (+.f64 1 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2))))) (.f64 2/3 (*.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 2/3 (*.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1 (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 (pow.f64 (PI.f64) 4) (*.f64 2/3 (pow.f64 u2 4)))))))
(+.f64 (.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4)))) (+.f64 (.f64 -2 (.f64 (pow.f64 u2 2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2)))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (*.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(fma.f64 2/3 (.f64 (pow.f64 u2 4) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 4))) (fma.f64 -2 (.f64 (.f64 u2 u2) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 2))) (+.f64 1/2 (+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 -4/45 (.f64 (pow.f64 u2 6) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (pow.f64 (PI.f64) 6))))))))
(fma.f64 2/3 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 u2 4))) (+.f64 (fma.f64 -4/45 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 6) (pow.f64 u2 6))) (sqrt.f64 (.f64 -1/18 (log.f64 u1)))) (fma.f64 -2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (.f64 (pow.f64 (PI.f64) 2) (*.f64 u2 u2))) 1/2)))
(+.f64 1/2 (+.f64 (.f64 (+.f64 (.f64 -4/45 (.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6))) 1) (sqrt.f64 (.f64 -1/18 (log.f64 u1)))) (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 2/3 (*.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4)))))))
(+.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 -4/45 (.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 2/3 (.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4))))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (+.f64 1 (.f64 -4/45 (.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6)))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (.f64 2/3 (*.f64 (pow.f64 u2 4) (pow.f64 (PI.f64) 4)))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (+.f64 (.f64 (pow.f64 (PI.f64) 4) (.f64 2/3 (pow.f64 u2 4))) (+.f64 (.f64 -2 (.f64 u2 (.f64 u2 (pow.f64 (PI.f64) 2)))) (+.f64 1 (.f64 -4/45 (*.f64 (pow.f64 u2 6) (pow.f64 (PI.f64) 6))))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 u2 (PI.f64))))))
(+.f64 1/2 (.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 (.f64 u2 (PI.f64)) 2))))
(fma.f64 (sqrt.f64 (.f64 -1/18 (log.f64 u1))) (cos.f64 (.f64 u2 (*.f64 (PI.f64) 2))) 1/2)

prune375.0ms (8.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	130	3	133
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	134	7	141

Error

0.0b

Counts

141 → 7

Alt Table

Status	Error	Program
▶	0.4b	(+.f64 (.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(+.f64 (.f64 (sqrt.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	0.8b	(+.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 3)) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(/.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4)))
	0.5b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
	0.4b	(.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (*.f64 u2 2))) -1/2)))
	2.1b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Compiler

Compiled 3350 to 2521 computations (24.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (log.f64 (/.f64 1 u1)))
	0.3b	(.f64 (.f64 2 (PI.f64)) u2)
✓	0.4b	(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
✓	0.4b	(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))

series12.0ms (0.3%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
8.0ms	u1	@	-inf	(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
1.0ms	u1	@	0	(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
1.0ms	u1	@	inf	(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
0.0ms	u1	@	0	(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
0.0ms	u1	@	-inf	(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))

rewrite55.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

889×	`pow1_binary64`
824×	`add-log-exp_binary64`
824×	`log1p-expm1-u_binary64`
824×	`expm1-log1p-u_binary64`
807×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	222	30
2	2386	30

Stop Event

1×	node limit

Counts

3 → 45

Calls

Call 1

Inputs
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1)))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))
(sqrt.f64 (log.f64 (/.f64 1 u1)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/36 (*.f64 2 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/6 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (neg.f64 (log.f64 u1))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 2 (sqrt.f64 2)) (pow.f64 (neg.f64 (log.f64 u1)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (neg.f64 (log.f64 u1)) 3/2) (*.f64 2 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 2 (neg.f64 (log.f64 u1))))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (neg.f64 (log.f64 u1)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (neg.f64 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (neg.f64 (log.f64 u1))) (cbrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))) (cbrt.f64 (neg.f64 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (neg.f64 (log.f64 u1)) 1/4) (pow.f64 (neg.f64 (log.f64 u1)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 (log.f64 u1) (log.f64 u1)))) (sqrt.f64 (cbrt.f64 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (neg.f64 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (log.f64 u1) (log.f64 u1))) 1/2) (pow.f64 (cbrt.f64 (neg.f64 (log.f64 u1))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (neg.f64 (log.f64 u1)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (neg.f64 (log.f64 u1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (neg.f64 (log.f64 u1)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (neg.f64 (log.f64 u1)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (neg.f64 (log.f64 u1))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (neg.f64 (log.f64 u1)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (neg.f64 (log.f64 u1)))))))))

simplify27.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

103×	`fma-neg_binary64`
48×	`fma-def_binary64`
29×	`cancel-sign-sub-inv_binary64`
21×	`sub-neg_binary64`
15×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	344
1	29	344
2	49	344
3	64	344
4	85	344
5	144	344
6	253	344
7	372	344
8	441	344
9	482	344
10	487	344

Stop Event

1×

saturated

Counts

69 → 57

Calls

Call 1

Inputs
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))

Outputs
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (*.f64 -1 (log.f64 u1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1)))))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(.f64 (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(.f64 (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(.f64 (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))) (.f64 1/6 (sqrt.f64 2)))
(.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))))
(.f64 (.f64 1/6 (sqrt.f64 2)) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(.f64 (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))) (.f64 1/6 (sqrt.f64 2)))
(.f64 (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))) (.f64 1/6 (sqrt.f64 2)))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(.f64 (sqrt.f64 2) (sqrt.f64 (.f64 -1 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (neg.f64 (log.f64 u1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1))))
(*.f64 (sqrt.f64 2) (sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1)))))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (neg.f64 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (neg.f64 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (neg.f64 (log.f64 u1)))
(sqrt.f64 (*.f64 -1 (log.f64 u1)))
(sqrt.f64 (neg.f64 (log.f64 u1)))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1))))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1))))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1))))
(sqrt.f64 (+.f64 (log.f64 (/.f64 -1 u1)) (log.f64 -1)))
(sqrt.f64 (fma.f64 2 (log.f64 -1) (neg.f64 (log.f64 u1))))

prune127.0ms (2.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	77	7	84

Error

0.0b

Counts

84 → 7

Alt Table

Status	Error	Program
✓	0.4b	(+.f64 (.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(+.f64 (.f64 (sqrt.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	0.8b	(+.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 3)) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
	0.4b	(/.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4)))
	0.5b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
	0.4b	(.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (*.f64 u2 2))) -1/2)))
	2.1b	(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Compiler

Compiled 1833 to 1408 computations (23.2% saved)

regimes138.0ms (3.1%)

Accuracy

Total -1.9b remaining (-748.9%)

Threshold costs -1.9b (-748.9%)

Counts

19 → 1

Calls

Call 1

Inputs
(/.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4)))
(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
(.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 u2 2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 (PI.f64) (*.f64 u2 2))) -1/2)))
(+.f64 (.f64 (sqrt.f64 (expm1.f64 (log1p.f64 (.f64 (log.f64 u1) -1/18)))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
(+.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 (log.f64 u1) -1/18)) 3)) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
(/.f64 1 (/.f64 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) -1/2) (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4)))
(.f64 (fma.f64 (.f64 (log.f64 u1) -1/18) (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) -1/4) (/.f64 1 (fma.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)) (cos.f64 (.f64 2 (*.f64 (PI.f64) u2))) -1/2)))
(+.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (.f64 (log.f64 u1) -1/18)))) 1) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 1/6 (sqrt.f64 (.f64 -2 (log.f64 u1)))) 3)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (.f64 1/6 (.f64 (sqrt.f64 2) (sqrt.f64 (log.f64 (/.f64 1 u1))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(/.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) -1/4) (fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) -1/2))
(+.f64 (.f64 (.f64 (/.f64 1 6) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (.f64 -2 (log.f64 u1)))))))) (cos.f64 (.f64 (.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))) (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/6) (sqrt.f64 (.f64 -2 (log.f64 u1))))))) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (expm1.f64 (log1p.f64 (.f64 2 (*.f64 (PI.f64) u2)))))) 1/2)
(.f64 (fma.f64 1/216 (pow.f64 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 3) 1/8) (/.f64 1 (-.f64 (fma.f64 (pow.f64 (cos.f64 (.f64 2 (.f64 (PI.f64) u2))) 2) (.f64 (.f64 -2 (log.f64 u1)) 1/36) 1/4) (.f64 1/2 (.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (*.f64 (PI.f64) u2)))))))))
(fma.f64 (sqrt.f64 (.f64 -2 (log.f64 u1))) (.f64 1/6 (cos.f64 (.f64 2 (.f64 (PI.f64) u2)))) 1/2)
(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Outputs
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Results

10.0ms	0.2b	`u1`
10.0ms	0.2b	`u2`
11.0ms	0.2b	`(+.f64 (.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)`
11.0ms	0.2b	`(.f64 (.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2)))`
11.0ms	0.2b	`(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))`
11.0ms	0.2b	`(.f64 (/.f64 1 6) (pow.f64 (.f64 -2 (log.f64 u1)) 1/2))`
11.0ms	0.2b	`(pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)`
12.0ms	0.2b	`(pow.f64 (*.f64 -2 (log.f64 u1)) 1/2)`
11.0ms	0.2b	`(*.f64 -2 (log.f64 u1))`
10.0ms	0.2b	`(log.f64 u1)`
3.0ms	0.2b	`(cos.f64 (.f64 (.f64 2 (PI.f64)) u2))`
10.0ms	0.2b	`(.f64 (.f64 2 (PI.f64)) u2)`

Compiler

Compiled 610 to 471 computations (22.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	26
1	23	26

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

Outputs
(+.f64 (.f64 (sqrt.f64 (.f64 (.f64 -2 (log.f64 u1)) 1/36)) (cos.f64 (.f64 (*.f64 2 (PI.f64)) u2))) 1/2)

end19.0ms (0.4%)

Stop Event

1×

fuel

Compiler

Compiled 36 to 32 computations (11.1% saved)

Iter	Nodes	Cost
0	18	344
1	29	344
2	49	344
3	64	344
4	85	344
5	144	344
6	253	344
7	372	344
8	441	344
9	482	344
10	487	344

Iter	Nodes	Cost
0	18	344
1	29	344
2	49	344
3	64	344
4	85	344
5	144	344
6	253	344
7	372	344
8	441	344
9	482	344
10	487	344

Details

analyze48.0ms (1.1%)

sample2.0s (45.1%)

preprocess134.0ms (3%)

simplify93.0ms (2.1%)

prune4.0ms (0.1%)

localize14.0ms (0.3%)

series79.0ms (1.8%)

rewrite86.0ms (1.9%)

simplify129.0ms (2.9%)

prune301.0ms (6.8%)

localize13.0ms (0.3%)

series8.0ms (0.2%)

rewrite92.0ms (2.1%)

simplify94.0ms (2.1%)

prune392.0ms (8.9%)

localize13.0ms (0.3%)

series3.0ms (0.1%)

rewrite68.0ms (1.5%)

simplify91.0ms (2.1%)

prune375.0ms (8.5%)

localize13.0ms (0.3%)

series12.0ms (0.3%)

rewrite55.0ms (1.3%)

simplify27.0ms (0.6%)

prune127.0ms (2.9%)

regimes138.0ms (3.1%)

simplify2.0ms (0%)

end19.0ms (0.4%)

Profiling

Iter	Nodes	Cost
0	18	344
1	29	344
2	49	344
3	64	344
4	85	344
5	144	344
6	253	344
7	372	344
8	441	344
9	482	344
10	487	344