Metrics for Jmat.Real.erfi, branch x greater than or equal to 5

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 107 to 71 computations (33.6% saved)

sample2.8s (39.1%)

Results

2.8s	8205×	body	256	infinite
15.0ms	51×	body	256	valid

Bogosity

preprocess91.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

1718×	`unswap-sqr`
1258×	`associate-*r/`
982×	`associate-*l/`
896×	`distribute-lft-out`
696×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	303
1	94	163
2	347	115
3	1535	103
4	5234	97
5	6180	93
6	7224	93
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs

(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 (/.f64 1 2) (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 3 4) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 15 8) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Outputs
(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))
(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (exp.f64 (.f64 x x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 1/2 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))))) (.f64 3/4 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))))))) (.f64 15/8 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))))))))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (*.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (fabs.f64 x))) (fma.f64 3/4 (/.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 1/2 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (/.f64 1 (fabs.f64 x))))))
(.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 4) (fabs.f64 x)) (+.f64 3/4 (/.f64 15/8 (.f64 x x))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (+.f64 (/.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (fabs.f64 x)) (.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (+.f64 3/4 (/.f64 15/8 (*.f64 x x))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 (fabs.f64 x) 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))

Compiler

Compiled 105 to 70 computations (33.3% saved)

simplify88.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1718×	`unswap-sqr`
1258×	`associate-*r/`
982×	`associate-*l/`
896×	`distribute-lft-out`
696×	`distribute-lft-in`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	38	303
1	94	163
2	347	115
3	1535	103
4	5234	97
5	6180	93
6	7224	93

Stop Event

1×	node limit

Counts

1 → 8

Calls

Call 1

Inputs

(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 (/.f64 1 2) (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 3 4) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 15 8) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Outputs
(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))
(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (.f64 (exp.f64 (.f64 x x)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 1/2 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))))) (.f64 3/4 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))))))) (.f64 15/8 (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))))))))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (fma.f64 15/8 (*.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (fabs.f64 x))) (fma.f64 3/4 (/.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (fabs.f64 x)) (fabs.f64 x)) (fma.f64 1/2 (pow.f64 (/.f64 1 (fabs.f64 x)) 3) (/.f64 1 (fabs.f64 x))))))
(.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 4) (fabs.f64 x)) (+.f64 3/4 (/.f64 15/8 (.f64 x x))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 (PI.f64))) (+.f64 (/.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (fabs.f64 x)) (.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 5) (+.f64 3/4 (/.f64 15/8 (*.f64 x x))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 (fabs.f64 x) 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))

eval5.0ms (0.1%)

Compiler: Compiled 412 to 238 computations (42.2% saved)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	5	3	8
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	6	3	9

Accurracy

100.0%

Counts

9 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 4) (fabs.f64 x)) (+.f64 3/4 (/.f64 15/8 (.f64 x x))))))
▶	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 4) (fabs.f64 x)) (+.f64 3/4 (/.f64 15/8 (.f64 x x))))))
▶	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Compiler

Compiled 200 to 136 computations (32% saved)

localize322.0ms (4.5%)

Local Accuracy

Found 12 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(pow.f64 (/.f64 1 (fabs.f64 x)) 4)
✓	98.8%	(/.f64 1/2 (*.f64 x x))
✓	98.8%	(/.f64 15/8 (*.f64 x x))
✓	98.4%	(sqrt.f64 (PI.f64))
✓	99.8%	(/.f64 15/8 (pow.f64 x 6))
✓	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
✓	98.8%	(/.f64 3/4 (*.f64 x x))
✓	98.4%	(sqrt.f64 (PI.f64))
✓	99.5%	(*.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))
✓	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
✓	98.8%	(/.f64 3/4 (*.f64 x x))
✓	98.4%	(sqrt.f64 (PI.f64))

Compiler

Compiled 407 to 197 computations (51.6% saved)

series8.0ms (0.1%)

Counts

12 → 84

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f64 (/.f64 1 (fabs.f64 x)) 4)
1.0ms	x	@	-inf	(pow.f64 (/.f64 1 (fabs.f64 x)) 4)
1.0ms	x	@	inf	(pow.f64 (/.f64 1 (fabs.f64 x)) 4)
1.0ms	x	@	0	(*.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))
1.0ms	x	@	0	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))

rewrite129.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

858×	`expm1-udef`
852×	`log1p-udef`
530×	`add-sqr-sqrt`
504×	`pow1`
500×	`add-exp-log`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	182
1	552	160
2	6938	160

Stop Event

1×	node limit

Counts

12 → 282

Calls

Call 1

Inputs
(sqrt.f64 (PI.f64))
(/.f64 3/4 (*.f64 x x))
(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
(*.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(/.f64 3/4 (*.f64 x x))
(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
(/.f64 15/8 (pow.f64 x 6))
(sqrt.f64 (PI.f64))
(/.f64 15/8 (*.f64 x x))
(/.f64 1/2 (*.f64 x x))
(pow.f64 (/.f64 1 (fabs.f64 x)) 4)

Outputs
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(*.f64 3/4 (pow.f64 x -2))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 3/4)
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x))) 1)
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(*.f64 3/4 (pow.f64 x -2))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 3/4)
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6)))) 1)
(*.f64 15/8 (pow.f64 x -6))
(.f64 (.f64 15/8 (pow.f64 x -6)) 1)
(.f64 1 (.f64 15/8 (pow.f64 x -6)))
(.f64 (/.f64 (cbrt.f64 15/8) (.f64 x x)) (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))))
(.f64 (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))) (/.f64 (cbrt.f64 15/8) (.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)))
(*.f64 -15/8 (/.f64 1 (neg.f64 (pow.f64 x 6))))
(*.f64 (pow.f64 x -6) 15/8)
(pow.f64 (*.f64 15/8 (pow.f64 x -6)) 1)
(pow.f64 (/.f64 (cbrt.f64 15/8) (*.f64 x x)) 3)
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(pow.f64 (*.f64 (pow.f64 x 6) 8/15) -1)
(sqrt.f64 (/.f64 225/64 (pow.f64 x 12)))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -6)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -6)))))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6))))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -6))))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -6))) 1))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -6))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2)))) 1)
(*.f64 15/8 (pow.f64 x -2))
(.f64 (.f64 15/8 (pow.f64 x -2)) 1)
(.f64 1 (.f64 15/8 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 15/8 (pow.f64 x -2))) (cbrt.f64 (*.f64 225/64 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 225/64 (pow.f64 x -4))) (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 15/8)
(*.f64 (/.f64 (sqrt.f64 15/8) x) (/.f64 (sqrt.f64 15/8) x))
(.f64 -15/8 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 15/8 x) (/.f64 1 x))
(pow.f64 (*.f64 15/8 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 15/8) x) 2)
(pow.f64 (.f64 (.f64 x x) 8/15) -1)
(sqrt.f64 (*.f64 225/64 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2)))) 1)
(*.f64 1/2 (pow.f64 x -2))
(.f64 (.f64 1/2 (pow.f64 x -2)) 1)
(.f64 1 (.f64 1/2 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x -2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x -4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 1/2)
(*.f64 (/.f64 (sqrt.f64 1/2) x) (/.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 1/2 x) (/.f64 1 x))
(pow.f64 (*.f64 1/2 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 1/2) x) 2)
(pow.f64 (.f64 (.f64 x x) 2) -1)
(sqrt.f64 (*.f64 1/4 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -4))) 1)
(*.f64 1 (pow.f64 x -4))
(*.f64 (pow.f64 x -4) 1)
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)) (cbrt.f64 (pow.f64 x -4)))
(*.f64 (pow.f64 x -2) (pow.f64 x -2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x -2)) 4) (pow.f64 (/.f64 1 (cbrt.f64 x)) 4))
(*.f64 (pow.f64 (pow.f64 x -1/2) 4) (pow.f64 (pow.f64 x -1/2) 4))
(sqrt.f64 (pow.f64 (pow.f64 x -4) 2))
(log.f64 (exp.f64 (pow.f64 x -4)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -4))))
(cbrt.f64 (pow.f64 (pow.f64 x -4) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -4)))
(exp.f64 (log.f64 (pow.f64 x -4)))
(exp.f64 (*.f64 (log.f64 (pow.f64 x -4)) 1))
(log1p.f64 (expm1.f64 (pow.f64 x -4)))

simplify101.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1128×	`distribute-rgt-in`
1124×	`distribute-lft-in`
790×	`log-prod`
738×	`times-frac`
516×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	391	6556
1	843	6484
2	2621	6278

Stop Event

1×	node limit

Counts

366 → 212

Calls

Call 1

Inputs
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 4))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (pow.f64 x 4))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(*.f64 3/4 (pow.f64 x -2))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 3/4)
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x))) 1)
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(*.f64 3/4 (pow.f64 x -2))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 3/4)
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6)))) 1)
(*.f64 15/8 (pow.f64 x -6))
(.f64 (.f64 15/8 (pow.f64 x -6)) 1)
(.f64 1 (.f64 15/8 (pow.f64 x -6)))
(.f64 (/.f64 (cbrt.f64 15/8) (.f64 x x)) (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))))
(.f64 (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))) (/.f64 (cbrt.f64 15/8) (.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)))
(*.f64 -15/8 (/.f64 1 (neg.f64 (pow.f64 x 6))))
(*.f64 (pow.f64 x -6) 15/8)
(pow.f64 (*.f64 15/8 (pow.f64 x -6)) 1)
(pow.f64 (/.f64 (cbrt.f64 15/8) (*.f64 x x)) 3)
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(pow.f64 (*.f64 (pow.f64 x 6) 8/15) -1)
(sqrt.f64 (/.f64 225/64 (pow.f64 x 12)))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -6)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -6)))))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6))))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -6))))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -6))) 1))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -6))))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) 1)
(*.f64 1 (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(pow.f64 (PI.f64) 1/2)
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(fabs.f64 (sqrt.f64 (PI.f64)))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2)))) 1)
(*.f64 15/8 (pow.f64 x -2))
(.f64 (.f64 15/8 (pow.f64 x -2)) 1)
(.f64 1 (.f64 15/8 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 15/8 (pow.f64 x -2))) (cbrt.f64 (*.f64 225/64 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 225/64 (pow.f64 x -4))) (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 15/8)
(*.f64 (/.f64 (sqrt.f64 15/8) x) (/.f64 (sqrt.f64 15/8) x))
(.f64 -15/8 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 15/8 x) (/.f64 1 x))
(pow.f64 (*.f64 15/8 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 15/8) x) 2)
(pow.f64 (.f64 (.f64 x x) 8/15) -1)
(sqrt.f64 (*.f64 225/64 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2)))) 1)
(*.f64 1/2 (pow.f64 x -2))
(.f64 (.f64 1/2 (pow.f64 x -2)) 1)
(.f64 1 (.f64 1/2 (pow.f64 x -2)))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x -2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x -4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) 1/2)
(*.f64 (/.f64 (sqrt.f64 1/2) x) (/.f64 (sqrt.f64 1/2) x))
(.f64 -1/2 (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (/.f64 1/2 x) (/.f64 1 x))
(pow.f64 (*.f64 1/2 (pow.f64 x -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))) 3)
(pow.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3) 1/3)
(pow.f64 (/.f64 (sqrt.f64 1/2) x) 2)
(pow.f64 (.f64 (.f64 x x) 2) -1)
(sqrt.f64 (*.f64 1/4 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x -2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 x -2)))))
(cbrt.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2))))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x -2))))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x -2))) 1))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x -2))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -4))) 1)
(*.f64 1 (pow.f64 x -4))
(*.f64 (pow.f64 x -4) 1)
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)) (cbrt.f64 (pow.f64 x -4)))
(*.f64 (pow.f64 x -2) (pow.f64 x -2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x -2)) 4) (pow.f64 (/.f64 1 (cbrt.f64 x)) 4))
(*.f64 (pow.f64 (pow.f64 x -1/2) 4) (pow.f64 (pow.f64 x -1/2) 4))
(sqrt.f64 (pow.f64 (pow.f64 x -4) 2))
(log.f64 (exp.f64 (pow.f64 x -4)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -4))))
(cbrt.f64 (pow.f64 (pow.f64 x -4) 3))
(expm1.f64 (log1p.f64 (pow.f64 x -4)))
(exp.f64 (log.f64 (pow.f64 x -4)))
(exp.f64 (*.f64 (log.f64 (pow.f64 x -4)) 1))
(log1p.f64 (expm1.f64 (pow.f64 x -4)))

Outputs
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 4))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 2))
(/.f64 3/4 (*.f64 x x))
(/.f64 3/4 (pow.f64 x 4))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(+.f64 (.f64 3/4 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 3/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(fma.f64 1/2 (pow.f64 x -2) (/.f64 3/4 (pow.f64 x 4)))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 15/8 (pow.f64 x 2))
(/.f64 15/8 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(/.f64 1 (pow.f64 (fabs.f64 x) 4))
(/.f64 1 (pow.f64 x 4))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(*.f64 1 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(pow.f64 (PI.f64) 1/2)
(sqrt.f64 (PI.f64))
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(sqrt.f64 (PI.f64))
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(sqrt.f64 (PI.f64))
(fabs.f64 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(sqrt.f64 (PI.f64))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(sqrt.f64 (PI.f64))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(/.f64 3/4 (*.f64 x x))
(*.f64 3/4 (pow.f64 x -2))
(/.f64 3/4 (*.f64 x x))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(/.f64 3/4 (*.f64 x x))
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(/.f64 3/4 (*.f64 x x))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 3/4 (.f64 x x))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 3/4 (.f64 x x))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(*.f64 (pow.f64 x -2) 3/4)
(/.f64 3/4 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(/.f64 3/4 (*.f64 x x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(/.f64 -3/4 (*.f64 x (neg.f64 x)))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(/.f64 3/4 (*.f64 x x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(/.f64 3/4 (*.f64 x x))
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(/.f64 3/4 (*.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(/.f64 3/4 (*.f64 x x))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(/.f64 3/4 (*.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (/.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2)))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(sqrt.f64 (*.f64 (pow.f64 x -4) (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2)))
(fabs.f64 (*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x))) 1)
(*.f64 x (sqrt.f64 (PI.f64)))
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(*.f64 x (sqrt.f64 (PI.f64)))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(*.f64 x (sqrt.f64 (PI.f64)))
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(*.f64 x (sqrt.f64 (PI.f64)))
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(*.f64 x (sqrt.f64 (PI.f64)))
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(sqrt.f64 (.f64 x (.f64 x (PI.f64))))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 x (sqrt.f64 (PI.f64)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(*.f64 x (sqrt.f64 (PI.f64)))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(*.f64 x (sqrt.f64 (PI.f64)))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 x (sqrt.f64 (PI.f64)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 x (sqrt.f64 (PI.f64)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(*.f64 x (sqrt.f64 (PI.f64)))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 x (sqrt.f64 (PI.f64)))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(*.f64 1 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(pow.f64 (PI.f64) 1/2)
(sqrt.f64 (PI.f64))
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(sqrt.f64 (PI.f64))
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(sqrt.f64 (PI.f64))
(fabs.f64 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(sqrt.f64 (PI.f64))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(sqrt.f64 (PI.f64))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2)))) 1)
(/.f64 3/4 (*.f64 x x))
(*.f64 3/4 (pow.f64 x -2))
(/.f64 3/4 (*.f64 x x))
(.f64 (.f64 3/4 (pow.f64 x -2)) 1)
(/.f64 3/4 (*.f64 x x))
(.f64 1 (.f64 3/4 (pow.f64 x -2)))
(/.f64 3/4 (*.f64 x x))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 3/4 (.f64 x x))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 9/16 (pow.f64 x -4))) (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 3/4 (pow.f64 x -2))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 3/4 (.f64 x x))) (cbrt.f64 (*.f64 9/16 (pow.f64 x -4))))
(*.f64 (pow.f64 x -2) 3/4)
(/.f64 3/4 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 3/4) x) (/.f64 (sqrt.f64 3/4) x))
(/.f64 3/4 (*.f64 x x))
(.f64 -3/4 (/.f64 1 (.f64 x (neg.f64 x))))
(/.f64 -3/4 (*.f64 x (neg.f64 x)))
(*.f64 (/.f64 3/4 x) (/.f64 1 x))
(/.f64 3/4 (*.f64 x x))
(pow.f64 (*.f64 3/4 (pow.f64 x -2)) 1)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 3/4 (pow.f64 x -2))) 3)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (/.f64 27/64 (pow.f64 x 6)) 1/3)
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(pow.f64 (/.f64 (sqrt.f64 3/4) x) 2)
(/.f64 3/4 (*.f64 x x))
(pow.f64 (.f64 (.f64 x x) 4/3) -1)
(/.f64 3/4 (*.f64 x x))
(sqrt.f64 (*.f64 9/16 (pow.f64 x -4)))
(log.f64 (pow.f64 (exp.f64 3/4) (pow.f64 x -2)))
(/.f64 3/4 (*.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/4 (pow.f64 x -2)))))
(/.f64 3/4 (*.f64 x x))
(cbrt.f64 (/.f64 27/64 (pow.f64 x 6)))
(expm1.f64 (log1p.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(exp.f64 (log.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 3/4 (pow.f64 x -2))) 1))
(/.f64 3/4 (*.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 3/4 (pow.f64 x -2))))
(/.f64 3/4 (*.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 1 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 1 x) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) (pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 2) (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (neg.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (/.f64 1 (.f64 x (neg.f64 x))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x) (/.f64 1 x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 1) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (.f64 x x)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) x) (/.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (cbrt.f64 (pow.f64 x 4))))
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) 2) (/.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2)))))
(*.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (cbrt.f64 (pow.f64 x 4))) (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 (cbrt.f64 x) 2)))
(*.f64 (/.f64 1 (cbrt.f64 (pow.f64 x 4))) (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 (cbrt.f64 x) 2)))
(/.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))
(pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (cbrt.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 3)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3) 1/3)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (/.f64 (sqrt.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) x) 2)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(pow.f64 (/.f64 x (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) x)) -1)
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(neg.f64 (/.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (*.f64 x (neg.f64 x))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(sqrt.f64 (*.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2) (pow.f64 x -4)))
(sqrt.f64 (*.f64 (pow.f64 x -4) (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 2)))
(fabs.f64 (*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2)))
(log.f64 (pow.f64 (exp.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2)) (pow.f64 x -2)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(cbrt.f64 (pow.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2)) 3))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) 3) (pow.f64 x 6)))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(expm1.f64 (log1p.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(exp.f64 (log.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))) 1))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(log1p.f64 (expm1.f64 (*.f64 (fma.f64 3/4 (pow.f64 x -2) 1/2) (pow.f64 x -2))))
(*.f64 (pow.f64 x -2) (fma.f64 3/4 (pow.f64 x -2) 1/2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6)))) 1)
(*.f64 15/8 (pow.f64 x -6))
(*.f64 15/8 (pow.f64 x -6))
(.f64 (.f64 15/8 (pow.f64 x -6)) 1)
(*.f64 15/8 (pow.f64 x -6))
(.f64 1 (.f64 15/8 (pow.f64 x -6)))
(*.f64 15/8 (pow.f64 x -6))
(.f64 (/.f64 (cbrt.f64 15/8) (.f64 x x)) (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))))
(.f64 (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))) (/.f64 (cbrt.f64 15/8) (.f64 x x)))
(.f64 (/.f64 (cbrt.f64 15/8) (.f64 x x)) (cbrt.f64 (/.f64 225/64 (pow.f64 x 12))))
(*.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)))
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(/.f64 15/8 (pow.f64 x 6))
(*.f64 -15/8 (/.f64 1 (neg.f64 (pow.f64 x 6))))
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(/.f64 15/8 (pow.f64 x 6))
(*.f64 (pow.f64 x -6) 15/8)
(*.f64 15/8 (pow.f64 x -6))
(pow.f64 (*.f64 15/8 (pow.f64 x -6)) 1)
(*.f64 15/8 (pow.f64 x -6))
(pow.f64 (/.f64 (cbrt.f64 15/8) (*.f64 x x)) 3)
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(/.f64 15/8 (pow.f64 x 6))
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3) 1/3)
(*.f64 15/8 (pow.f64 x -6))
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(/.f64 15/8 (pow.f64 x 6))
(pow.f64 (*.f64 (pow.f64 x 6) 8/15) -1)
(pow.f64 (/.f64 (sqrt.f64 15/8) (pow.f64 x 3)) 2)
(/.f64 15/8 (pow.f64 x 6))
(sqrt.f64 (/.f64 225/64 (pow.f64 x 12)))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -6)))
(*.f64 15/8 (pow.f64 x -6))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -6)))))
(*.f64 15/8 (pow.f64 x -6))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -6)) 3))
(*.f64 15/8 (pow.f64 x -6))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -6))))
(*.f64 15/8 (pow.f64 x -6))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -6))))
(*.f64 15/8 (pow.f64 x -6))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -6))) 1))
(*.f64 15/8 (pow.f64 x -6))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -6))))
(*.f64 15/8 (pow.f64 x -6))
(-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (PI.f64)))) 1)
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(*.f64 1 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 1/4))
(sqrt.f64 (PI.f64))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 1 1/2) (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1/2) (pow.f64 (cbrt.f64 (PI.f64)) 1/2))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (fabs.f64 (cbrt.f64 (PI.f64))) (sqrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (PI.f64)) (sqrt.f64 (cbrt.f64 (PI.f64))))
(pow.f64 (PI.f64) 1/2)
(sqrt.f64 (PI.f64))
(pow.f64 (sqrt.f64 (PI.f64)) 1)
(sqrt.f64 (PI.f64))
(pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)
(sqrt.f64 (PI.f64))
(pow.f64 (pow.f64 (PI.f64) 3/2) 1/3)
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(pow.f64 (pow.f64 (PI.f64) 1/4) 2)
(sqrt.f64 (PI.f64))
(fabs.f64 (sqrt.f64 (PI.f64)))
(sqrt.f64 (PI.f64))
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (PI.f64)))))
(sqrt.f64 (PI.f64))
(cbrt.f64 (pow.f64 (PI.f64) 3/2))
(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (log.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2))
(sqrt.f64 (PI.f64))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (PI.f64))) 1))
(sqrt.f64 (PI.f64))
(log1p.f64 (expm1.f64 (sqrt.f64 (PI.f64))))
(sqrt.f64 (PI.f64))
(-.f64 (exp.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2)))) 1)
(/.f64 15/8 (*.f64 x x))
(*.f64 15/8 (pow.f64 x -2))
(/.f64 15/8 (*.f64 x x))
(.f64 (.f64 15/8 (pow.f64 x -2)) 1)
(/.f64 15/8 (*.f64 x x))
(.f64 1 (.f64 15/8 (pow.f64 x -2)))
(/.f64 15/8 (*.f64 x x))
(.f64 (cbrt.f64 (.f64 15/8 (pow.f64 x -2))) (cbrt.f64 (*.f64 225/64 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 15/8 (pow.f64 x -2))) (cbrt.f64 (*.f64 (pow.f64 x -4) 225/64)))
(.f64 (cbrt.f64 (/.f64 15/8 (.f64 x x))) (cbrt.f64 (*.f64 (pow.f64 x -4) 225/64)))
(.f64 (cbrt.f64 (.f64 225/64 (pow.f64 x -4))) (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 15/8 (pow.f64 x -2))) (cbrt.f64 (*.f64 (pow.f64 x -4) 225/64)))
(.f64 (cbrt.f64 (/.f64 15/8 (.f64 x x))) (cbrt.f64 (*.f64 (pow.f64 x -4) 225/64)))
(*.f64 (pow.f64 x -2) 15/8)
(/.f64 15/8 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 15/8) x) (/.f64 (sqrt.f64 15/8) x))
(/.f64 15/8 (*.f64 x x))
(.f64 -15/8 (/.f64 1 (.f64 x (neg.f64 x))))
(/.f64 -15/8 (*.f64 x (neg.f64 x)))
(*.f64 (/.f64 15/8 x) (/.f64 1 x))
(/.f64 15/8 (*.f64 x x))
(pow.f64 (*.f64 15/8 (pow.f64 x -2)) 1)
(/.f64 15/8 (*.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 15/8 (pow.f64 x -2))) 3)
(/.f64 15/8 (*.f64 x x))
(pow.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3) 1/3)
(/.f64 15/8 (*.f64 x x))
(pow.f64 (/.f64 (sqrt.f64 15/8) x) 2)
(/.f64 15/8 (*.f64 x x))
(pow.f64 (.f64 (.f64 x x) 8/15) -1)
(/.f64 15/8 (*.f64 x x))
(sqrt.f64 (*.f64 225/64 (pow.f64 x -4)))
(sqrt.f64 (*.f64 (pow.f64 x -4) 225/64))
(log.f64 (pow.f64 (exp.f64 15/8) (pow.f64 x -2)))
(/.f64 15/8 (*.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 15/8 (pow.f64 x -2)))))
(/.f64 15/8 (*.f64 x x))
(cbrt.f64 (pow.f64 (*.f64 15/8 (pow.f64 x -2)) 3))
(/.f64 15/8 (*.f64 x x))
(expm1.f64 (log1p.f64 (*.f64 15/8 (pow.f64 x -2))))
(/.f64 15/8 (*.f64 x x))
(exp.f64 (log.f64 (*.f64 15/8 (pow.f64 x -2))))
(/.f64 15/8 (*.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 15/8 (pow.f64 x -2))) 1))
(/.f64 15/8 (*.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 15/8 (pow.f64 x -2))))
(/.f64 15/8 (*.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2)))) 1)
(/.f64 1/2 (*.f64 x x))
(*.f64 1/2 (pow.f64 x -2))
(/.f64 1/2 (*.f64 x x))
(.f64 (.f64 1/2 (pow.f64 x -2)) 1)
(/.f64 1/2 (*.f64 x x))
(.f64 1 (.f64 1/2 (pow.f64 x -2)))
(/.f64 1/2 (*.f64 x x))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x -2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 1/2 (.f64 x x))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(.f64 (cbrt.f64 (.f64 1/4 (pow.f64 x -4))) (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))))
(.f64 (cbrt.f64 (.f64 1/2 (pow.f64 x -2))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(.f64 (cbrt.f64 (/.f64 1/2 (.f64 x x))) (cbrt.f64 (*.f64 1/4 (pow.f64 x -4))))
(*.f64 (pow.f64 x -2) 1/2)
(/.f64 1/2 (*.f64 x x))
(*.f64 (/.f64 (sqrt.f64 1/2) x) (/.f64 (sqrt.f64 1/2) x))
(/.f64 1/2 (*.f64 x x))
(.f64 -1/2 (/.f64 1 (.f64 x (neg.f64 x))))
(/.f64 1/2 (*.f64 x x))
(*.f64 (/.f64 1/2 x) (/.f64 1 x))
(/.f64 1/2 (*.f64 x x))
(pow.f64 (*.f64 1/2 (pow.f64 x -2)) 1)
(/.f64 1/2 (*.f64 x x))
(pow.f64 (cbrt.f64 (*.f64 1/2 (pow.f64 x -2))) 3)
(/.f64 1/2 (*.f64 x x))
(pow.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3) 1/3)
(/.f64 1/2 (*.f64 x x))
(pow.f64 (/.f64 (sqrt.f64 1/2) x) 2)
(/.f64 1/2 (*.f64 x x))
(pow.f64 (.f64 (.f64 x x) 2) -1)
(/.f64 1/2 (*.f64 x x))
(sqrt.f64 (*.f64 1/4 (pow.f64 x -4)))
(fabs.f64 (/.f64 1/2 (*.f64 x x)))
(log.f64 (pow.f64 (exp.f64 1/2) (pow.f64 x -2)))
(/.f64 1/2 (*.f64 x x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/2 (pow.f64 x -2)))))
(/.f64 1/2 (*.f64 x x))
(cbrt.f64 (pow.f64 (*.f64 1/2 (pow.f64 x -2)) 3))
(/.f64 1/2 (*.f64 x x))
(expm1.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -2))))
(/.f64 1/2 (*.f64 x x))
(exp.f64 (log.f64 (*.f64 1/2 (pow.f64 x -2))))
(/.f64 1/2 (*.f64 x x))
(exp.f64 (.f64 (log.f64 (.f64 1/2 (pow.f64 x -2))) 1))
(/.f64 1/2 (*.f64 x x))
(log1p.f64 (expm1.f64 (*.f64 1/2 (pow.f64 x -2))))
(/.f64 1/2 (*.f64 x x))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -4))) 1)
(pow.f64 x -4)
(*.f64 1 (pow.f64 x -4))
(pow.f64 x -4)
(*.f64 (pow.f64 x -4) 1)
(pow.f64 x -4)
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)))
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 x -8)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)) (cbrt.f64 (pow.f64 x -4)))
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 (pow.f64 x -4) 2)))
(*.f64 (cbrt.f64 (pow.f64 x -4)) (cbrt.f64 (pow.f64 x -8)))
(*.f64 (pow.f64 x -2) (pow.f64 x -2))
(pow.f64 x -4)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 x -2)) 4) (pow.f64 (/.f64 1 (cbrt.f64 x)) 4))
(*.f64 (pow.f64 (pow.f64 x -1/2) 4) (pow.f64 (pow.f64 x -1/2) 4))
(pow.f64 x -4)
(sqrt.f64 (pow.f64 (pow.f64 x -4) 2))
(pow.f64 x -4)
(log.f64 (exp.f64 (pow.f64 x -4)))
(pow.f64 x -4)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 x -4))))
(pow.f64 x -4)
(cbrt.f64 (pow.f64 (pow.f64 x -4) 3))
(pow.f64 x -4)
(expm1.f64 (log1p.f64 (pow.f64 x -4)))
(pow.f64 x -4)
(exp.f64 (log.f64 (pow.f64 x -4)))
(pow.f64 x -4)
(exp.f64 (*.f64 (log.f64 (pow.f64 x -4)) 1))
(pow.f64 x -4)
(log1p.f64 (expm1.f64 (pow.f64 x -4)))
(pow.f64 x -4)

eval190.0ms (2.6%)

Compiler: Compiled 12559 to 6758 computations (46.2% saved)

prune60.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	355	4	359
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	357	5	362

Accurracy

100.0%

Counts

362 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 3)) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 3)) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Compiler

Compiled 320 to 220 computations (31.3% saved)

localize380.0ms (5.3%)

Local Accuracy

Found 16 expressions with local accuracy:

New	Accuracy	Program
	99.8%	(/.f64 15/8 (pow.f64 x 6))
	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
	98.8%	(/.f64 3/4 (*.f64 x x))
	98.4%	(sqrt.f64 (PI.f64))
	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
	98.8%	(/.f64 3/4 (*.f64 x x))
✓	98.8%	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
	98.4%	(sqrt.f64 (PI.f64))
✓	99.5%	(*.f64 x (sqrt.f64 (PI.f64)))
	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
	98.8%	(/.f64 3/4 (*.f64 x x))
	98.4%	(sqrt.f64 (PI.f64))
	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
	98.8%	(/.f64 3/4 (*.f64 x x))
	98.4%	(sqrt.f64 (PI.f64))
✓	90.9%	(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))

Compiler

Compiled 528 to 250 computations (52.7% saved)

series7.0ms (0.1%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
1.0ms	x	@	inf	(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
0.0ms	x	@	0	(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
0.0ms	x	@	inf	(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))

rewrite69.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1918×	`pow1`
1778×	`log1p-expm1-u`
1776×	`add-exp-log`
1776×	`expm1-log1p-u`
218×	`add-sqr-sqrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	39
1	265	39
2	2554	39

Stop Event

1×	node limit

Counts

3 → 96

Calls

Call 1

Inputs
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 x (sqrt.f64 (PI.f64)))
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)

Outputs
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))

simplify104.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1350×	`log-prod`
750×	`times-frac`
636×	`fma-def`
562×	`*-commutative`
540×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	108	2336
1	263	2252
2	934	2222
3	3255	2216
4	7436	2216

Stop Event

1×	node limit

Counts

120 → 54

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))

Outputs
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (PI.f64)) (.f64 x (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 x (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 4))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 x)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 x)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x))))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (PI.f64)) (.f64 x (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 x (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(*.f64 (sqrt.f64 (PI.f64)) x)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3) -1) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (+.f64 1 (*.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(*.f64 (sqrt.f64 (PI.f64)) x)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(fabs.f64 (*.f64 (sqrt.f64 (PI.f64)) x))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3) -1) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (+.f64 1 (*.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 3/2)
(pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3) 1/3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)) 2)
(*.f64 (sqrt.f64 (PI.f64)) x)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(fabs.f64 (*.f64 (sqrt.f64 (PI.f64)) x))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(+.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) -1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 x (sqrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 1 (.f64 (sqrt.f64 (PI.f64)) x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) x))
(.f64 (cbrt.f64 (PI.f64)) (.f64 x (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 x (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 4))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 x) (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 x)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x))))
(.f64 (sqrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) (sqrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 3) (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (pow.f64 (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 1/6) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (cbrt.f64 (.f64 x x)) (*.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 x)))
(.f64 (sqrt.f64 (PI.f64)) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x))))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 x)) (sqrt.f64 x))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 x (cbrt.f64 (PI.f64))) (cbrt.f64 (sqrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (PI.f64)) (.f64 x (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 x (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (.f64 x (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) 1) (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))) (cbrt.f64 (cbrt.f64 (*.f64 (sqrt.f64 (PI.f64)) x))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (cbrt.f64 (.f64 (PI.f64) (*.f64 x x))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))) 4))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (cbrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 x))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)) (cbrt.f64 (.f64 (PI.f64) (.f64 x x))))
(.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 x)))
(.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (PI.f64) (.f64 x x)))))
(.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 x x))) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6)) (pow.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1/6))
(*.f64 (sqrt.f64 (PI.f64)) x)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 3) 1) (+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) (+.f64 1 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3) -1) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (+.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (fma.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2)))
(/.f64 (+.f64 -1 (pow.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) 3)) (+.f64 1 (*.f64 (fma.f64 (sqrt.f64 (PI.f64)) x 1) (fma.f64 (sqrt.f64 (PI.f64)) x 2))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1)) 1) (+.f64 (+.f64 (.f64 (sqrt.f64 (PI.f64)) x) 1) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(fabs.f64 (*.f64 (sqrt.f64 (PI.f64)) x))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (PI.f64)) x) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (log.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 1))
(*.f64 (sqrt.f64 (PI.f64)) x)
(log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (PI.f64)) x)))
(*.f64 (sqrt.f64 (PI.f64)) x)

eval1.2s (16.3%)

Compiler: Compiled 59413 to 33570 computations (43.5% saved)

prune123.0ms (1.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	1712	2	1714
Fresh	0	0	0
Picked	2	2	4
Done	0	1	1
Total	1714	5	1719

Accurracy

100.0%

Counts

1719 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	99.2%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
▶	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
▶	99.2%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Compiler

Compiled 300 to 206 computations (31.3% saved)

localize214.0ms (3%)

Local Accuracy

Found 8 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))
	98.8%	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
	98.8%	(/.f64 3/4 (*.f64 x x))
	98.4%	(sqrt.f64 (PI.f64))
	99.8%	(/.f64 15/8 (pow.f64 x 6))
	99.5%	(*.f64 x (sqrt.f64 (PI.f64)))
	98.8%	(/.f64 1/2 (*.f64 x x))
	98.4%	(sqrt.f64 (PI.f64))

Compiler

Compiled 219 to 113 computations (48.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))
0.0ms	x	@	inf	(*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))
0.0ms	x	@	-inf	(*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))

rewrite107.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1744×	`pow1`
1614×	`add-exp-log`
1614×	`log1p-expm1-u`
1614×	`expm1-log1p-u`
1576×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	13
1	223	13
2	2323	13

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))

Outputs
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 (PI.f64)))) 1)
(pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 (PI.f64)))))

simplify75.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2164×	`log-prod`
1190×	`fma-neg`
674×	`distribute-lft-out`
648×	`distribute-rgt-in`
634×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	349
1	94	349
2	313	349
3	1717	349
4	4707	349
5	7004	349

Stop Event

1×	node limit

Counts

25 → 14

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 (PI.f64)))) 1)
(pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 1)
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 3)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 2)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 (PI.f64)))))

Outputs
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(*.f64 (sqrt.f64 (PI.f64)) x)
(-.f64 (+.f64 1 (*.f64 x (sqrt.f64 (PI.f64)))) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 1)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (cbrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3) 1/3)
(*.f64 (sqrt.f64 (PI.f64)) x)
(pow.f64 (sqrt.f64 (*.f64 x (sqrt.f64 (PI.f64)))) 2)
(*.f64 (sqrt.f64 (PI.f64)) x)
(sqrt.f64 (.f64 (PI.f64) (.f64 x x)))
(*.f64 (sqrt.f64 (PI.f64)) x)
(log.f64 (pow.f64 (exp.f64 x) (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (pow.f64 (*.f64 x (sqrt.f64 (PI.f64))) 3))
(*.f64 (sqrt.f64 (PI.f64)) x)
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(cbrt.f64 (*.f64 (pow.f64 (PI.f64) 3/2) (pow.f64 x 3)))
(cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (PI.f64) 3/2)))
(expm1.f64 (log1p.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(exp.f64 (log.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(*.f64 (sqrt.f64 (PI.f64)) x)
(log1p.f64 (expm1.f64 (*.f64 x (sqrt.f64 (PI.f64)))))
(*.f64 (sqrt.f64 (PI.f64)) x)

eval218.0ms (3%)

Compiler: Compiled 8267 to 4765 computations (42.4% saved)

prune49.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	262	0	262
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	262	5	267

Accurracy

100.0%

Counts

267 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	99.2%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
✓	100.0%	(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Compiler

Compiled 531 to 318 computations (40.1% saved)

regimes23.0ms (0.3%)

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (PI.f64)) x)) 3)) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
(.f64 (/.f64 (pow.f64 (exp.f64 x) x) (sqrt.f64 (PI.f64))) (fma.f64 (+.f64 1 (/.f64 1/2 (.f64 x x))) (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 (pow.f64 (/.f64 1 (fabs.f64 x)) 4) (fabs.f64 x)) (+.f64 3/4 (/.f64 15/8 (.f64 x x))))))
(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Outputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Calls

3 calls:

7.0ms

(fabs.f64 x)

5.0ms

4.0ms

(*.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (*.f64 (/.f64 1 2) (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 3 4) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (*.f64 (/.f64 15 8) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	(.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))))
100.0%	1	`(fabs.f64 x)`

Compiler

Compiled 490 to 287 computations (41.4% saved)

regimes7.0ms (0.1%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (fabs.f64 x) (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (fabs.f64 x)) (sqrt.f64 (PI.f64))) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 (PI.f64)) x)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Outputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
100.0%	1	`x`

Compiler

Compiled 146 to 79 computations (45.9% saved)

regimes3.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Outputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.2%	1	`x`

Compiler

Compiled 26 to 18 computations (30.8% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
8×	`+-commutative`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	259
1	44	259

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (*.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (*.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))

Outputs
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 (PI.f64))) 3))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (*.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (+.f64 (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))) (/.f64 (exp.f64 (.f64 x x)) (*.f64 x (sqrt.f64 (PI.f64)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (/.f64 1/2 (.f64 x x)) (+.f64 1 (/.f64 15/8 (pow.f64 x 6)))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 x (sqrt.f64 (PI.f64)))) (+.f64 (+.f64 1 (/.f64 15/8 (pow.f64 x 6))) (/.f64 1/2 (.f64 x x))))

Compiler

Compiled 87 to 60 computations (31% saved)

soundness738.0ms (10.2%)

Rules

1718×	`unswap-sqr`
1258×	`associate-*r/`
1128×	`distribute-rgt-in`
1128×	`distribute-rgt-in`
1124×	`distribute-lft-in`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	38	303
1	94	163
2	347	115
3	1535	103
4	5234	97
5	6180	93
6	7224	93
0	25	182
1	552	160
2	6938	160
0	391	6556
1	843	6484
2	2621	6278
0	25	182
1	552	160
2	6938	160
0	391	6556
1	843	6484
2	2621	6278

Stop Event

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

Compiler

Compiled 509 to 285 computations (44% saved)

end93.0ms (1.3%)

Compiler: Compiled 378 to 234 computations (38.1% saved)

analyze1.0ms (0%)

sample2.8s (39.1%)

preprocess91.0ms (1.3%)

simplify88.0ms (1.2%)

eval5.0ms (0.1%)

prune5.0ms (0.1%)

localize322.0ms (4.5%)

series8.0ms (0.1%)

rewrite129.0ms (1.8%)

simplify101.0ms (1.4%)

eval190.0ms (2.6%)

prune60.0ms (0.8%)

localize380.0ms (5.3%)

series7.0ms (0.1%)

rewrite69.0ms (0.9%)

simplify104.0ms (1.4%)

eval1.2s (16.3%)

prune123.0ms (1.7%)

localize214.0ms (3%)

series1.0ms (0%)

rewrite107.0ms (1.5%)

simplify75.0ms (1%)

eval218.0ms (3%)

prune49.0ms (0.7%)

regimes23.0ms (0.3%)

regimes7.0ms (0.1%)

regimes3.0ms (0%)

simplify7.0ms (0.1%)

soundness738.0ms (10.2%)

end93.0ms (1.3%)

Profiling