Metrics for Hyperbolic arcsine

analyze73.0ms (1.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
62.5%	62.5%	37.5%	0%	0%	0%	0%	4
68.8%	68.7%	31.2%	0%	0%	0%	0%	5
71.9%	71.8%	28.1%	0%	0%	0%	0%	6
73.4%	73.4%	26.5%	0%	0%	0%	0%	7
74.2%	74.2%	25.8%	0%	0%	0%	0%	8
74.6%	74.6%	25.4%	0%	0%	0%	0%	9
74.8%	74.8%	25.2%	0%	0%	0%	0%	10
74.9%	74.9%	25.1%	0%	0%	0%	0%	11
75%	74.9%	25%	0%	0%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample3.0s (47.3%)

Results

1.4s	2547×	body	1024	valid
649.0ms	1269×	body	2048	valid
505.0ms	3074×	body	256	valid
421.0ms	1323×	body	512	valid
31.0ms	43×	body	4096	valid

Bogosity

preprocess310.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

4550×	`fma-def`
3750×	`associate-+r+`
3054×	`associate-+l+`
1272×	`distribute-lft-in`
480×	`distribute-lft-out`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	73
1	33	51
2	59	51
3	106	51
4	181	51
5	270	51
6	335	51
7	389	51
8	422	51
9	491	51
10	719	51
11	985	51
12	1210	51
13	1392	51
14	1402	51
15	1404	51
16	1404	51
17	2196	51
18	2451	51
19	2699	51
20	2832	51
21	2847	51
22	2847	51
23	4545	51
24	4545	51
25	4545	51
26	4545	51
27	4545	51
28	7625	51
29	7674	51
30	7856	51
31	7948	51
32	7959	51

Stop Event

1×	node limit

Calls

Call 1

Inputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))

Outputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (-.f64 (hypot.f64 1 x) x))

Compiler

Compiled 10 to 7 computations (30% saved)

eval1.0ms (0%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
▶	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize101.0ms (1.6%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	76.4%	(+.f64 x (hypot.f64 1 x))
✓	48.4%	(log.f64 (+.f64 x (hypot.f64 1 x)))

Compiler

Compiled 18 to 12 computations (33.3% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(log.f64 (+.f64 x (hypot.f64 1 x)))
1.0ms	x	@	-inf	(log.f64 (+.f64 x (hypot.f64 1 x)))
1.0ms	x	@	inf	(log.f64 (+.f64 x (hypot.f64 1 x)))
0.0ms	x	@	-inf	(+.f64 x (hypot.f64 1 x))
0.0ms	x	@	inf	(+.f64 x (hypot.f64 1 x))

rewrite67.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1590×	`pow1`
1466×	`add-exp-log`
1466×	`log1p-expm1-u`
1466×	`expm1-log1p-u`
1432×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	30
1	158	30
2	1999	30

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(log.f64 (+.f64 x (hypot.f64 1 x)))
(+.f64 x (hypot.f64 1 x))

Outputs
(+.f64 0 (log.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2)) (log.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x)))))
(+.f64 (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))) (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))))
(-.f64 (log.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (log.f64 (-.f64 x (hypot.f64 1 x))))
(-.f64 (log.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (log.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
(*.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x))))
(*.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(*.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(*.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(pow.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 3)
(pow.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3) 1/3)
(pow.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 2)
(sqrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))
(cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3))
(expm1.f64 (log1p.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(exp.f64 (log.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(log1p.f64 (-.f64 (+.f64 x (hypot.f64 1 x)) 1))
(-.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) 1)
(-.f64 (/.f64 (.f64 x x) (-.f64 x (hypot.f64 1 x))) (/.f64 (+.f64 1 (.f64 x x)) (-.f64 x (hypot.f64 1 x))))
(*.f64 1 (+.f64 x (hypot.f64 1 x)))
(*.f64 (+.f64 x (hypot.f64 1 x)) 1)
(*.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2) (cbrt.f64 (+.f64 x (hypot.f64 1 x))))
(*.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) (sqrt.f64 (+.f64 x (hypot.f64 1 x))))
(.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(.f64 (-.f64 (.f64 x x) (+.f64 1 (*.f64 x x))) (/.f64 1 (-.f64 x (hypot.f64 1 x))))
(/.f64 1 (/.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))) (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (hypot.f64 1 x)) (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (+.f64 (+.f64 1 (.f64 x x)) (-.f64 (.f64 x x) (*.f64 x (hypot.f64 1 x)))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (neg.f64 (-.f64 x (hypot.f64 1 x))))
(/.f64 (-.f64 (+.f64 1 (.f64 x x)) (.f64 x x)) (-.f64 (hypot.f64 1 x) x))
(pow.f64 (+.f64 x (hypot.f64 1 x)) 1)
(pow.f64 (E.f64) (log.f64 (+.f64 x (hypot.f64 1 x))))
(pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 3)
(pow.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) 2)
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(sqrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 2))
(log.f64 (exp.f64 (+.f64 x (hypot.f64 1 x))))
(cbrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (+.f64 x (hypot.f64 1 x))))
(exp.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))
(log1p.f64 (expm1.f64 (+.f64 x (hypot.f64 1 x))))
(fma.f64 1 x (hypot.f64 1 x))
(fma.f64 1 (hypot.f64 1 x) x)
(fma.f64 (cbrt.f64 (+.f64 1 (*.f64 x x))) (cbrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (hypot.f64 1 x))
(fma.f64 (sqrt.f64 (hypot.f64 1 x)) (sqrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (hypot.f64 1 x))

simplify79.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1598×	`fma-def`
1082×	`fma-neg`
724×	`unswap-sqr`
700×	`log-prod`
462×	`associate-+l+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	2568
1	534	2192
2	1679	2044
3	6616	2044

Stop Event

1×	node limit

Counts

80 → 141

Calls

Call 1

Inputs
x
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (.f64 3/40 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
(+.f64 (log.f64 2) (*.f64 -1 (log.f64 (/.f64 1 x))))
(+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/4 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/4 (/.f64 1 (pow.f64 x 2))))) (*.f64 3/32 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 5/96 (/.f64 1 (pow.f64 x 6))) (.f64 1/4 (/.f64 1 (pow.f64 x 2)))))) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))
(+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x)))
(-.f64 (+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x))) (*.f64 1/4 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (log.f64 1/2) (+.f64 (log.f64 (/.f64 -1 x)) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))) (.f64 1/4 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (log.f64 1/2) (+.f64 (log.f64 (/.f64 -1 x)) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))) (+.f64 (.f64 5/96 (/.f64 1 (pow.f64 x 6))) (*.f64 1/4 (/.f64 1 (pow.f64 x 2)))))
1
(+.f64 1 x)
(+.f64 1 (+.f64 x (*.f64 1/2 (pow.f64 x 2))))
(+.f64 1 (+.f64 x (+.f64 (.f64 -1/8 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2)))))
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 2 x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 2 x))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(/.f64 -1/2 x)
(-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/2 (/.f64 1 x))))
(-.f64 (+.f64 (.f64 5/128 (/.f64 1 (pow.f64 x 7))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (.f64 1/2 (/.f64 1 x))))
(+.f64 0 (log.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2)) (log.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x)))))
(+.f64 (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))) (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))))
(-.f64 (log.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (log.f64 (-.f64 x (hypot.f64 1 x))))
(-.f64 (log.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (log.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
(*.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x))))
(*.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(*.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(*.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(pow.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 3)
(pow.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3) 1/3)
(pow.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 2)
(sqrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))
(cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3))
(expm1.f64 (log1p.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(exp.f64 (log.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(log1p.f64 (-.f64 (+.f64 x (hypot.f64 1 x)) 1))
(-.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) 1)
(-.f64 (/.f64 (.f64 x x) (-.f64 x (hypot.f64 1 x))) (/.f64 (+.f64 1 (.f64 x x)) (-.f64 x (hypot.f64 1 x))))
(*.f64 1 (+.f64 x (hypot.f64 1 x)))
(*.f64 (+.f64 x (hypot.f64 1 x)) 1)
(*.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2) (cbrt.f64 (+.f64 x (hypot.f64 1 x))))
(*.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) (sqrt.f64 (+.f64 x (hypot.f64 1 x))))
(.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(.f64 (-.f64 (.f64 x x) (+.f64 1 (*.f64 x x))) (/.f64 1 (-.f64 x (hypot.f64 1 x))))
(/.f64 1 (/.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))) (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (hypot.f64 1 x)) (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (+.f64 (+.f64 1 (.f64 x x)) (-.f64 (.f64 x x) (*.f64 x (hypot.f64 1 x)))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (neg.f64 (-.f64 x (hypot.f64 1 x))))
(/.f64 (-.f64 (+.f64 1 (.f64 x x)) (.f64 x x)) (-.f64 (hypot.f64 1 x) x))
(pow.f64 (+.f64 x (hypot.f64 1 x)) 1)
(pow.f64 (E.f64) (log.f64 (+.f64 x (hypot.f64 1 x))))
(pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 3)
(pow.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) 2)
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(sqrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 2))
(log.f64 (exp.f64 (+.f64 x (hypot.f64 1 x))))
(cbrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (+.f64 x (hypot.f64 1 x))))
(exp.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))
(log1p.f64 (expm1.f64 (+.f64 x (hypot.f64 1 x))))
(fma.f64 1 x (hypot.f64 1 x))
(fma.f64 1 (hypot.f64 1 x) x)
(fma.f64 (cbrt.f64 (+.f64 1 (*.f64 x x))) (cbrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (hypot.f64 1 x))
(fma.f64 (sqrt.f64 (hypot.f64 1 x)) (sqrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (hypot.f64 1 x))

Outputs
x
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(fma.f64 -1/6 (pow.f64 x 3) x)
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (.f64 3/40 (pow.f64 x 5))))
(+.f64 x (fma.f64 -1/6 (pow.f64 x 3) (*.f64 3/40 (pow.f64 x 5))))
(fma.f64 -1/6 (pow.f64 x 3) (fma.f64 3/40 (pow.f64 x 5) x))
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
(+.f64 x (fma.f64 -1/6 (pow.f64 x 3) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))
(+.f64 (fma.f64 -1/6 (pow.f64 x 3) x) (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))
(+.f64 (log.f64 2) (*.f64 -1 (log.f64 (/.f64 1 x))))
(+.f64 (log.f64 2) (neg.f64 (neg.f64 (log.f64 x))))
(+.f64 (log.f64 2) (log.f64 x))
(+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/4 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (log.f64 2) (fma.f64 -1 (neg.f64 (log.f64 x)) (/.f64 1/4 (*.f64 x x))))
(+.f64 (log.f64 2) (+.f64 (log.f64 x) (/.f64 1/4 (*.f64 x x))))
(+.f64 (+.f64 (log.f64 2) (log.f64 x)) (/.f64 1/4 (*.f64 x x)))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/4 (/.f64 1 (pow.f64 x 2))))) (*.f64 3/32 (/.f64 1 (pow.f64 x 4))))
(+.f64 (log.f64 2) (-.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (/.f64 1/4 (*.f64 x x))) (/.f64 3/32 (pow.f64 x 4))))
(+.f64 (log.f64 2) (+.f64 (log.f64 x) (-.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 3/32 (pow.f64 x 4)))))
(+.f64 (+.f64 (log.f64 2) (log.f64 x)) (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 -3/32 (pow.f64 x 4))))
(-.f64 (+.f64 (log.f64 2) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 5/96 (/.f64 1 (pow.f64 x 6))) (.f64 1/4 (/.f64 1 (pow.f64 x 2)))))) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 (log.f64 2) (fma.f64 -1 (neg.f64 (log.f64 x)) (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 5/96 (pow.f64 x 6))))) (/.f64 3/32 (pow.f64 x 4)))
(+.f64 (log.f64 2) (+.f64 (log.f64 x) (-.f64 (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 5/96 (pow.f64 x 6))) (/.f64 3/32 (pow.f64 x 4)))))
(+.f64 (log.f64 x) (+.f64 (+.f64 (/.f64 5/96 (pow.f64 x 6)) (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 -3/32 (pow.f64 x 4)))) (log.f64 2)))
(+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x)))
(-.f64 (+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x))) (*.f64 1/4 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x))) (/.f64 1/4 (*.f64 x x)))
(+.f64 (log.f64 (/.f64 -1 x)) (+.f64 (log.f64 1/2) (/.f64 -1/4 (*.f64 x x))))
(-.f64 (+.f64 (log.f64 1/2) (+.f64 (log.f64 (/.f64 -1 x)) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))) (.f64 1/4 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (log.f64 1/2) (+.f64 (/.f64 3/32 (pow.f64 x 4)) (log.f64 (/.f64 -1 x)))) (/.f64 1/4 (*.f64 x x)))
(+.f64 (log.f64 1/2) (+.f64 (/.f64 3/32 (pow.f64 x 4)) (+.f64 (log.f64 (/.f64 -1 x)) (/.f64 -1/4 (*.f64 x x)))))
(+.f64 (/.f64 3/32 (pow.f64 x 4)) (-.f64 (+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x))) (/.f64 1/4 (*.f64 x x))))
(-.f64 (+.f64 (log.f64 1/2) (+.f64 (log.f64 (/.f64 -1 x)) (.f64 3/32 (/.f64 1 (pow.f64 x 4))))) (+.f64 (.f64 5/96 (/.f64 1 (pow.f64 x 6))) (*.f64 1/4 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (log.f64 1/2) (-.f64 (+.f64 (/.f64 3/32 (pow.f64 x 4)) (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 5/96 (pow.f64 x 6)))))
(+.f64 (log.f64 1/2) (+.f64 (/.f64 3/32 (pow.f64 x 4)) (-.f64 (log.f64 (/.f64 -1 x)) (+.f64 (/.f64 1/4 (*.f64 x x)) (/.f64 5/96 (pow.f64 x 6))))))
(+.f64 (/.f64 3/32 (pow.f64 x 4)) (+.f64 (+.f64 (log.f64 1/2) (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 -1/4 (*.f64 x x)) (/.f64 -5/96 (pow.f64 x 6)))))
1
(+.f64 1 x)
(+.f64 x 1)
(+.f64 1 (+.f64 x (*.f64 1/2 (pow.f64 x 2))))
(+.f64 1 (+.f64 x (.f64 1/2 (.f64 x x))))
(+.f64 1 (fma.f64 1/2 (*.f64 x x) x))
(fma.f64 x (*.f64 x 1/2) (+.f64 x 1))
(+.f64 1 (+.f64 x (+.f64 (.f64 -1/8 (pow.f64 x 4)) (.f64 1/2 (pow.f64 x 2)))))
(+.f64 1 (+.f64 x (fma.f64 -1/8 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))))
(+.f64 x (+.f64 (fma.f64 (pow.f64 x 4) -1/8 (.f64 1/2 (.f64 x x))) 1))
(+.f64 1 (fma.f64 x (*.f64 x 1/2) (fma.f64 (pow.f64 x 4) -1/8 x)))
(*.f64 2 x)
(*.f64 x 2)
(+.f64 x x)
(+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x)))
(fma.f64 2 x (/.f64 1/2 x))
(fma.f64 x 2 (/.f64 1/2 x))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 2 x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (fma.f64 2 x (/.f64 1/2 x)) (/.f64 1/8 (pow.f64 x 3)))
(+.f64 (fma.f64 x 2 (/.f64 1/2 x)) (/.f64 -1/8 (pow.f64 x 3)))
(+.f64 (/.f64 1/2 x) (fma.f64 x 2 (/.f64 -1/8 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 2 x))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/16 (pow.f64 x 5)) (-.f64 (fma.f64 2 x (/.f64 1/2 x)) (/.f64 1/8 (pow.f64 x 3))))
(+.f64 (fma.f64 x 2 (/.f64 1/2 x)) (+.f64 (/.f64 1/16 (pow.f64 x 5)) (/.f64 -1/8 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 1/2 x) (fma.f64 x 2 (/.f64 1/16 (pow.f64 x 5)))) (/.f64 -1/8 (pow.f64 x 3)))
(/.f64 -1/2 x)
(-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 1/2 (/.f64 1 x)))
(-.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 1/2 x))
(+.f64 (/.f64 1/8 (pow.f64 x 3)) (/.f64 -1/2 x))
(-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/2 (/.f64 1 x))))
(-.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5))))
(+.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 -1/2 x) (/.f64 -1/16 (pow.f64 x 5))))
(-.f64 (+.f64 (.f64 5/128 (/.f64 1 (pow.f64 x 7))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (.f64 1/2 (/.f64 1 x))))
(+.f64 (/.f64 5/128 (pow.f64 x 7)) (-.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5)))))
(+.f64 (/.f64 1/8 (pow.f64 x 3)) (-.f64 (/.f64 5/128 (pow.f64 x 7)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5)))))
(+.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 5/128 (pow.f64 x 7)) (+.f64 (/.f64 -1/2 x) (/.f64 -1/16 (pow.f64 x 5)))))
(+.f64 0 (log.f64 (+.f64 x (hypot.f64 1 x))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2)) (log.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(+.f64 (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))) (log.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(-.f64 (log.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (log.f64 (-.f64 x (hypot.f64 1 x))))
(-.f64 (log.f64 -1) (log.f64 (-.f64 x (hypot.f64 1 x))))
(-.f64 (log.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (log.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(-.f64 (log.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3))) (log.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(*.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(*.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(*.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)))
(*.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(*.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2)))
(*.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 1)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(pow.f64 (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 3)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(pow.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3) 1/3)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(pow.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))) 2)
(log.f64 (+.f64 x (hypot.f64 1 x)))
(sqrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 3))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(expm1.f64 (log1p.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(exp.f64 (log.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log1p.f64 (-.f64 (+.f64 x (hypot.f64 1 x)) 1))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(-.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) 1)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(-.f64 (/.f64 (.f64 x x) (-.f64 x (hypot.f64 1 x))) (/.f64 (+.f64 1 (.f64 x x)) (-.f64 x (hypot.f64 1 x))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(*.f64 1 (+.f64 x (hypot.f64 1 x)))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(*.f64 (+.f64 x (hypot.f64 1 x)) 1)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(*.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 2) (cbrt.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(*.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) (sqrt.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(.f64 (-.f64 (.f64 x x) (+.f64 1 (*.f64 x x))) (/.f64 1 (-.f64 x (hypot.f64 1 x))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(/.f64 1 (/.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))) (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(/.f64 1 (/.f64 (-.f64 x (hypot.f64 1 x)) (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(/.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3)) (+.f64 (+.f64 1 (.f64 x x)) (-.f64 (.f64 x x) (*.f64 x (hypot.f64 1 x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (+.f64 (+.f64 1 (.f64 x x)) (.f64 x (-.f64 x (hypot.f64 1 x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x (-.f64 x (hypot.f64 1 x)) (fma.f64 x x 1)))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x (+.f64 x (-.f64 x (hypot.f64 1 x))) 1))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (hypot.f64 1 x) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (/.f64 1 (fma.f64 x x (.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x)))))
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (hypot.f64 1 x) 3)) (fma.f64 x x (*.f64 (hypot.f64 1 x) (-.f64 (hypot.f64 1 x) x))))
(/.f64 (neg.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x)))) (neg.f64 (-.f64 x (hypot.f64 1 x))))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(/.f64 (-.f64 (+.f64 1 (.f64 x x)) (.f64 x x)) (-.f64 (hypot.f64 1 x) x))
(/.f64 (-.f64 (.f64 x x) (+.f64 1 (.f64 x x))) (-.f64 x (hypot.f64 1 x)))
(/.f64 -1 (-.f64 x (hypot.f64 1 x)))
(pow.f64 (+.f64 x (hypot.f64 1 x)) 1)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (E.f64) (log.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (cbrt.f64 (+.f64 x (hypot.f64 1 x))) 3)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3) 1/3)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (sqrt.f64 (+.f64 x (hypot.f64 1 x))) 2)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))) (sqrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x (hypot.f64 1 x))) 2))) (cbrt.f64 (log.f64 (+.f64 x (hypot.f64 1 x)))))
(sqrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 2))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(log.f64 (exp.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(cbrt.f64 (pow.f64 (+.f64 x (hypot.f64 1 x)) 3))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(expm1.f64 (log1p.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(exp.f64 (log.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(log1p.f64 (expm1.f64 (+.f64 x (hypot.f64 1 x))))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(fma.f64 1 x (hypot.f64 1 x))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(fma.f64 1 (hypot.f64 1 x) x)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(fma.f64 (cbrt.f64 (+.f64 1 (*.f64 x x))) (cbrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (cbrt.f64 (fma.f64 x x 1)) (cbrt.f64 (hypot.f64 1 x)) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (hypot.f64 1 x))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(fma.f64 (sqrt.f64 (hypot.f64 1 x)) (sqrt.f64 (hypot.f64 1 x)) x)
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (hypot.f64 1 x))
(+.f64 (+.f64 1 (+.f64 x (hypot.f64 1 x))) -1)
(+.f64 (+.f64 x (hypot.f64 1 x)) 0)
(+.f64 x (hypot.f64 1 x))

eval95.0ms (1.5%)

Compiler: Compiled 1990 to 1467 computations (26.3% saved)

prune28.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	134	7	141
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	134	8	142

Accuracy

100.0%

Counts

142 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
▶	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
▶	25.7%	(log.f64 (/.f64 -1/2 x))
▶	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
▶	20.2%	(log.f64 (+.f64 x x))
	57.2%	x
▶	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
▶	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
▶	25.7%	(log.f64 (/.f64 -1/2 x))
▶	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
▶	20.2%	(log.f64 (+.f64 x x))
	57.2%	x

Compiler

Compiled 258 to 200 computations (22.5% saved)

localize445.0ms (7.1%)

Compiler: Compiled 105 to 73 computations (30.5% saved)

eval1.0ms (0%)

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

prune28.0ms (0.4%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	5	5
Done	1	1
Total	8	8

Accuracy

100.0%

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
▶	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
✓	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
✓	25.7%	(log.f64 (/.f64 -1/2 x))
✓	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
✓	20.2%	(log.f64 (+.f64 x x))
	57.2%	x
✓	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
▶	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
✓	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
✓	25.7%	(log.f64 (/.f64 -1/2 x))
✓	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
✓	20.2%	(log.f64 (+.f64 x x))
	57.2%	x

Compiler

Compiled 138 to 106 computations (23.2% saved)

localize242.0ms (3.8%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 -5/112 (pow.f64 x 7))
✓	99.8%	(*.f64 -1/6 (pow.f64 x 3))
✓	99.6%	(*.f64 3/40 (pow.f64 x 5))
✓	67.0%	(+.f64 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))

Compiler

Compiled 80 to 64 computations (20% saved)

series5.0ms (0.1%)

Counts

4 → 3

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(*.f64 -5/112 (pow.f64 x 7))
1.0ms	x	@	0	(+.f64 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
1.0ms	x	@	inf	(+.f64 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
0.0ms	x	@	0	(*.f64 -1/6 (pow.f64 x 3))
0.0ms	x	@	-inf	(*.f64 -1/6 (pow.f64 x 3))

rewrite112.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1358×	`log-prod`
692×	`fma-def`
670×	`pow-prod-up`
664×	`pow-exp`
570×	`expm1-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	66
1	355	66
2	4052	66

Stop Event

1×	node limit

Counts

4 → 125

Calls

Call 1

Inputs
(+.f64 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(*.f64 3/40 (pow.f64 x 5))
(*.f64 -1/6 (pow.f64 x 3))
(*.f64 -5/112 (pow.f64 x 7))

Outputs
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 x 14) 25/12544) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))) (/.f64 (.f64 9/1600 (pow.f64 x 10)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))) 1)
(.f64 1 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))
(.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 2) (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5)))))))
(.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (/.f64 1 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))))
(/.f64 1 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(/.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15)))) (neg.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10)))) (neg.f64 (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5)))))
(/.f64 (-.f64 (.f64 9/1600 (pow.f64 x 10)) (.f64 (pow.f64 x 14) 25/12544)) (-.f64 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7))))
(pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 1)
(pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 3)
(pow.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))) -1)
(pow.f64 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))) -1)
(sqrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 2))
(log.f64 (exp.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)) (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))))
(log.f64 (.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)) (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))))
(cbrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3))
(expm1.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(exp.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(exp.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 2))
(log1p.f64 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7) -5/112 (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7)) 1 (.f64 3/40 (pow.f64 x 5)))
(fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (pow.f64 x 5) 3/40 (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (pow.f64 x 5)) 1 (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 1 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 1 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 14)) (.f64 (cbrt.f64 (pow.f64 x 7)) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 (cbrt.f64 (pow.f64 x 5)) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7/2) (.f64 (pow.f64 x 7/2) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 5/2) (.f64 (pow.f64 x 5/2) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (pow.f64 x 5/2)) (pow.f64 x 5/2) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 -5/112 (cbrt.f64 (pow.f64 x 14))) (cbrt.f64 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7/2)) (pow.f64 x 7/2) (.f64 3/40 (pow.f64 x 5)))
(+.f64 0 (*.f64 3/40 (pow.f64 x 5)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))) (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5)))) 1)
(pow.f64 (*.f64 3/40 (pow.f64 x 5)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/40 (pow.f64 x 5))) 3)
(pow.f64 (*.f64 27/64000 (pow.f64 x 15)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) 2)
(sqrt.f64 (*.f64 9/1600 (pow.f64 x 10)))
(log.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5)))))
(cbrt.f64 (*.f64 27/64000 (pow.f64 x 15)))
(expm1.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5))))
(exp.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 27/64000 (pow.f64 x 15))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))
(+.f64 0 (*.f64 -1/6 (pow.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1)
(pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 1)
(pow.f64 (*.f64 x (cbrt.f64 -1/6)) 3)
(pow.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 6) 1/36))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3)))))
(cbrt.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3))))
(exp.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 -1/6 (pow.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 x (cbrt.f64 -1/6))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 0 (*.f64 -5/112 (pow.f64 x 7)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))) (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7)))) 1)
(pow.f64 (*.f64 -5/112 (pow.f64 x 7)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/112 (pow.f64 x 7))) 3)
(pow.f64 (*.f64 (pow.f64 x 21) -125/1404928) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 14) 25/12544))
(log.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7)))))
(cbrt.f64 (*.f64 (pow.f64 x 21) -125/1404928))
(expm1.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7))))
(exp.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))))
(exp.f64 (.f64 (log.f64 (.f64 -5/112 (pow.f64 x 7))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 21) -125/1404928)) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))

simplify179.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1870×	`fma-def`
944×	`distribute-lft-in`
928×	`distribute-rgt-in`
698×	`unswap-sqr`
472×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	315	3666
1	708	3518
2	2222	3428

Stop Event

1×	node limit

Counts

128 → 145

Calls

Call 1

Inputs
(*.f64 3/40 (pow.f64 x 5))
(*.f64 -5/112 (pow.f64 x 7))
(*.f64 -5/112 (pow.f64 x 7))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 x 14) 25/12544) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))) (/.f64 (.f64 9/1600 (pow.f64 x 10)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))) 1)
(.f64 1 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))
(.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 2) (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5)))))))
(.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (/.f64 1 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))))
(/.f64 1 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(/.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15)))) (neg.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10)))) (neg.f64 (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5)))))
(/.f64 (-.f64 (.f64 9/1600 (pow.f64 x 10)) (.f64 (pow.f64 x 14) 25/12544)) (-.f64 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7))))
(pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 1)
(pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 3)
(pow.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2)
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))) -1)
(pow.f64 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))) -1)
(sqrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 2))
(log.f64 (exp.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))))
(log.f64 (.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)) (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))))
(log.f64 (.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)) (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7))))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))))
(cbrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3))
(expm1.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(exp.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(exp.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 2))
(log1p.f64 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7) -5/112 (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7)) 1 (.f64 3/40 (pow.f64 x 5)))
(fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (pow.f64 x 5) 3/40 (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (pow.f64 x 5)) 1 (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 1 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 1 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 14)) (.f64 (cbrt.f64 (pow.f64 x 7)) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 (cbrt.f64 (pow.f64 x 5)) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7/2) (.f64 (pow.f64 x 7/2) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 5/2) (.f64 (pow.f64 x 5/2) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 3/40 (pow.f64 x 5/2)) (pow.f64 x 5/2) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (.f64 -5/112 (cbrt.f64 (pow.f64 x 14))) (cbrt.f64 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7/2)) (pow.f64 x 7/2) (.f64 3/40 (pow.f64 x 5)))
(+.f64 0 (*.f64 3/40 (pow.f64 x 5)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))) (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5)))) 1)
(pow.f64 (*.f64 3/40 (pow.f64 x 5)) 1)
(pow.f64 (cbrt.f64 (*.f64 3/40 (pow.f64 x 5))) 3)
(pow.f64 (*.f64 27/64000 (pow.f64 x 15)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) 2)
(sqrt.f64 (*.f64 9/1600 (pow.f64 x 10)))
(log.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5)))))
(cbrt.f64 (*.f64 27/64000 (pow.f64 x 15)))
(expm1.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5))))
(exp.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 27/64000 (pow.f64 x 15))) 1/3))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))
(+.f64 0 (*.f64 -1/6 (pow.f64 x 3)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1)
(pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 1)
(pow.f64 (*.f64 x (cbrt.f64 -1/6)) 3)
(pow.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 6) 1/36))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3)))))
(cbrt.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3))))
(exp.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))))
(exp.f64 (.f64 (log.f64 (.f64 -1/6 (pow.f64 x 3))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))) 1) 1))
(exp.f64 (.f64 (log.f64 (.f64 x (cbrt.f64 -1/6))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3))))
(+.f64 0 (*.f64 -5/112 (pow.f64 x 7)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))) (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7)))) 1)
(pow.f64 (*.f64 -5/112 (pow.f64 x 7)) 1)
(pow.f64 (cbrt.f64 (*.f64 -5/112 (pow.f64 x 7))) 3)
(pow.f64 (*.f64 (pow.f64 x 21) -125/1404928) 1/3)
(pow.f64 (*.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 x 14) 25/12544))
(log.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7)))))
(cbrt.f64 (*.f64 (pow.f64 x 21) -125/1404928))
(expm1.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7))))
(exp.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))))
(exp.f64 (.f64 (log.f64 (.f64 -5/112 (pow.f64 x 7))) 1))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 1) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7)))) 3))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 21) -125/1404928)) 1/3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2))) 2))
(log1p.f64 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))

Outputs
(*.f64 3/40 (pow.f64 x 5))
(*.f64 -5/112 (pow.f64 x 7))
(*.f64 -5/112 (pow.f64 x 7))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(-.f64 (/.f64 (.f64 (pow.f64 x 14) 25/12544) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))) (/.f64 (.f64 9/1600 (pow.f64 x 10)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))) 1)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(.f64 1 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 2) (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5)))))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (/.f64 1 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(/.f64 1 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5))))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15)))) (neg.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))))))
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 9/1600 (pow.f64 x 10)))) (neg.f64 (fma.f64 -5/112 (pow.f64 x 7) (*.f64 -3/40 (pow.f64 x 5)))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(/.f64 (-.f64 (.f64 9/1600 (pow.f64 x 10)) (.f64 (pow.f64 x 14) 25/12544)) (-.f64 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7))))
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 1)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(pow.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 3)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(pow.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(pow.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 2)
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(pow.f64 (/.f64 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 3/40 (pow.f64 x 5))))) (fma.f64 (pow.f64 x 21) -125/1404928 (*.f64 27/64000 (pow.f64 x 15)))) -1)
(.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (/.f64 1 (-.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10))) (.f64 -5/112 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7))))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 9/1600 (pow.f64 x 10) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (.f64 (.f64 3/40 (pow.f64 x 5)) (pow.f64 x 7)) 5/112))))
(/.f64 (fma.f64 (pow.f64 x 21) -125/1404928 (.f64 27/64000 (pow.f64 x 15))) (fma.f64 -5/112 (.f64 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)) (fma.f64 (pow.f64 x 14) 25/12544 (.f64 9/1600 (pow.f64 x 10)))))
(pow.f64 (/.f64 (fma.f64 -5/112 (pow.f64 x 7) (.f64 -3/40 (pow.f64 x 5))) (-.f64 (.f64 (pow.f64 x 14) 25/12544) (*.f64 9/1600 (pow.f64 x 10)))) -1)
(/.f64 (+.f64 (.f64 (pow.f64 x 14) 25/12544) (.f64 -9/1600 (pow.f64 x 10))) (fma.f64 -5/112 (pow.f64 x 7) (*.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 -5/112 (pow.f64 x 7) (.f64 (pow.f64 x 5) -3/40)))
(/.f64 (fma.f64 (pow.f64 x 14) 25/12544 (.f64 (pow.f64 x 10) -9/1600)) (fma.f64 (pow.f64 x 5) -3/40 (.f64 -5/112 (pow.f64 x 7))))
(sqrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 2))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (exp.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)) (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5))))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7)))) (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)) (+.f64 1 (expm1.f64 (.f64 -5/112 (pow.f64 x 7))))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 3/40 (pow.f64 x 5)))) (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(cbrt.f64 (pow.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))) 3))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(expm1.f64 (log1p.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7)))) 1))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (.f64 (.f64 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))) 1) 1))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 3))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (.f64 (.f64 3 (log.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7))))) 1/3))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (fma.f64 3/40 (pow.f64 x 5) (.f64 -5/112 (pow.f64 x 7))))) 2))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(log1p.f64 (expm1.f64 (fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7) -5/112 (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7)) 1 (.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 3/40 (pow.f64 x 5) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 5) 3/40 (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 3/40 (pow.f64 x 5)) 1 (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 1 (.f64 -5/112 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 1 (.f64 3/40 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 x 14)) (.f64 (cbrt.f64 (pow.f64 x 7)) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 x 14)) (.f64 -5/112 (cbrt.f64 (pow.f64 x 7))) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 x 7)) (.f64 -5/112 (cbrt.f64 (pow.f64 x 14))) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (*.f64 9/1600 (pow.f64 x 10)))))
(fma.f64 (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (.f64 9/1600 (pow.f64 x 10))) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5))) (cbrt.f64 (*.f64 9/1600 (pow.f64 x 10)))))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 (cbrt.f64 (pow.f64 x 5)) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 3/40 (cbrt.f64 (pow.f64 x 5))) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (.f64 3/40 (.f64 (cbrt.f64 (pow.f64 x 10)) (cbrt.f64 (pow.f64 x 5)))))
(fma.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7))) (cbrt.f64 (.f64 (pow.f64 x 14) 25/12544)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) (*.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 7/2) (.f64 (pow.f64 x 7/2) -5/112) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (pow.f64 x 5/2) (.f64 (pow.f64 x 5/2) 3/40) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 3/40 (cbrt.f64 (pow.f64 x 10))) (cbrt.f64 (pow.f64 x 5)) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 (cbrt.f64 (pow.f64 x 10)) (.f64 3/40 (cbrt.f64 (pow.f64 x 5))) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (.f64 3/40 (.f64 (cbrt.f64 (pow.f64 x 10)) (cbrt.f64 (pow.f64 x 5)))))
(fma.f64 (.f64 3/40 (pow.f64 x 5/2)) (pow.f64 x 5/2) (.f64 -5/112 (pow.f64 x 7)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (cbrt.f64 (pow.f64 x 14))) (cbrt.f64 (pow.f64 x 7)) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 x 14)) (.f64 -5/112 (cbrt.f64 (pow.f64 x 7))) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (cbrt.f64 (pow.f64 x 7)) (.f64 -5/112 (cbrt.f64 (pow.f64 x 14))) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 (.f64 -5/112 (pow.f64 x 7/2)) (pow.f64 x 7/2) (.f64 3/40 (pow.f64 x 5)))
(fma.f64 -5/112 (pow.f64 x 7) (*.f64 3/40 (pow.f64 x 5)))
(+.f64 0 (*.f64 3/40 (pow.f64 x 5)))
(*.f64 3/40 (pow.f64 x 5))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))) (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))))
(*.f64 3/40 (pow.f64 x 5))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5)))) 1)
(*.f64 3/40 (pow.f64 x 5))
(pow.f64 (*.f64 3/40 (pow.f64 x 5)) 1)
(*.f64 3/40 (pow.f64 x 5))
(pow.f64 (cbrt.f64 (*.f64 3/40 (pow.f64 x 5))) 3)
(*.f64 3/40 (pow.f64 x 5))
(pow.f64 (*.f64 27/64000 (pow.f64 x 15)) 1/3)
(cbrt.f64 (*.f64 27/64000 (pow.f64 x 15)))
(pow.f64 (*.f64 (sqrt.f64 3/40) (pow.f64 x 5/2)) 2)
(*.f64 3/40 (pow.f64 x 5))
(sqrt.f64 (*.f64 9/1600 (pow.f64 x 10)))
(log.f64 (pow.f64 (exp.f64 3/40) (pow.f64 x 5)))
(*.f64 3/40 (pow.f64 x 5))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3/40 (pow.f64 x 5)))))
(*.f64 3/40 (pow.f64 x 5))
(cbrt.f64 (*.f64 27/64000 (pow.f64 x 15)))
(expm1.f64 (log1p.f64 (*.f64 3/40 (pow.f64 x 5))))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (*.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 1) 1))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 3/40 (pow.f64 x 5)))) 3))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (.f64 (log.f64 (.f64 27/64000 (pow.f64 x 15))) 1/3))
(cbrt.f64 (*.f64 27/64000 (pow.f64 x 15)))
(exp.f64 (.f64 (.f64 (fma.f64 5 (log.f64 x) (log.f64 3/40)) 3) 1/3))
(*.f64 3/40 (pow.f64 x 5))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 3/40) (pow.f64 x 5/2))) 2))
(*.f64 3/40 (pow.f64 x 5))
(log1p.f64 (expm1.f64 (*.f64 3/40 (pow.f64 x 5))))
(*.f64 3/40 (pow.f64 x 5))
(+.f64 0 (*.f64 -1/6 (pow.f64 x 3)))
(*.f64 -1/6 (pow.f64 x 3))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)) (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))))
(*.f64 -1/6 (pow.f64 x 3))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1)
(*.f64 -1/6 (pow.f64 x 3))
(pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 1)
(*.f64 -1/6 (pow.f64 x 3))
(pow.f64 (*.f64 x (cbrt.f64 -1/6)) 3)
(*.f64 -1/6 (pow.f64 x 3))
(pow.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3) 1/3)
(*.f64 -1/6 (pow.f64 x 3))
(pow.f64 (*.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2)) 2)
(*.f64 -1/6 (pow.f64 x 3))
(sqrt.f64 (*.f64 (pow.f64 x 6) 1/36))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -1/6))
(*.f64 -1/6 (pow.f64 x 3))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3)))))
(*.f64 -1/6 (pow.f64 x 3))
(cbrt.f64 (pow.f64 (*.f64 -1/6 (pow.f64 x 3)) 3))
(*.f64 -1/6 (pow.f64 x 3))
(expm1.f64 (log1p.f64 (*.f64 -1/6 (pow.f64 x 3))))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (.f64 -1/6 (pow.f64 x 3))) 1))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -1/6 (pow.f64 x 3))) 1) 1))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (.f64 x (cbrt.f64 -1/6))) 3))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 -1/6 (pow.f64 x 3)))) 1/3))
(*.f64 -1/6 (pow.f64 x 3))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -1/6) (pow.f64 x 3/2))) 2))
(*.f64 -1/6 (pow.f64 x 3))
(log1p.f64 (expm1.f64 (*.f64 -1/6 (pow.f64 x 3))))
(*.f64 -1/6 (pow.f64 x 3))
(+.f64 0 (*.f64 -5/112 (pow.f64 x 7)))
(*.f64 -5/112 (pow.f64 x 7))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))) (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))))
(*.f64 -5/112 (pow.f64 x 7))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7)))) 1)
(*.f64 -5/112 (pow.f64 x 7))
(pow.f64 (*.f64 -5/112 (pow.f64 x 7)) 1)
(*.f64 -5/112 (pow.f64 x 7))
(pow.f64 (cbrt.f64 (*.f64 -5/112 (pow.f64 x 7))) 3)
(*.f64 -5/112 (pow.f64 x 7))
(pow.f64 (*.f64 (pow.f64 x 21) -125/1404928) 1/3)
(cbrt.f64 (*.f64 (pow.f64 x 21) -125/1404928))
(pow.f64 (*.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2)) 2)
(*.f64 -5/112 (pow.f64 x 7))
(sqrt.f64 (*.f64 (pow.f64 x 14) 25/12544))
(log.f64 (pow.f64 (exp.f64 -5/112) (pow.f64 x 7)))
(*.f64 -5/112 (pow.f64 x 7))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7)))))
(*.f64 -5/112 (pow.f64 x 7))
(cbrt.f64 (*.f64 (pow.f64 x 21) -125/1404928))
(expm1.f64 (log1p.f64 (*.f64 -5/112 (pow.f64 x 7))))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (.f64 (log.f64 (.f64 -5/112 (pow.f64 x 7))) 1))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 1) 1))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 -5/112 (pow.f64 x 7)))) 3))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x 21) -125/1404928)) 1/3))
(cbrt.f64 (*.f64 (pow.f64 x 21) -125/1404928))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 -5/112 (pow.f64 x 7))) 3) 1/3))
(*.f64 -5/112 (pow.f64 x 7))
(exp.f64 (.f64 (log.f64 (.f64 (sqrt.f64 -5/112) (pow.f64 x 7/2))) 2))
(*.f64 -5/112 (pow.f64 x 7))
(log1p.f64 (expm1.f64 (*.f64 -5/112 (pow.f64 x 7))))
(*.f64 -5/112 (pow.f64 x 7))

eval136.0ms (2.2%)

Compiler: Compiled 3627 to 2951 computations (18.6% saved)

prune27.0ms (0.4%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	145	8	153

Accuracy

100.0%

Counts

153 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
✓	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
✓	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
✓	25.7%	(log.f64 (/.f64 -1/2 x))
✓	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
✓	20.2%	(log.f64 (+.f64 x x))
	57.2%	x
✓	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
✓	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
✓	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
✓	25.7%	(log.f64 (/.f64 -1/2 x))
✓	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
✓	20.2%	(log.f64 (+.f64 x x))
	57.2%	x

Compiler

Compiled 138 to 106 computations (23.2% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune5.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	7	7
Total	8	8

Accuracy

100.0%

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	24.2%	(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
✓	55.1%	(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
✓	55.3%	(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
✓	25.7%	(log.f64 (/.f64 -1/2 x))
✓	21.0%	(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
✓	24.2%	(log.f64 (+.f64 x (hypot.f64 1 x)))
✓	20.2%	(log.f64 (+.f64 x x))
	57.2%	x

Compiler

Compiled 140 to 105 computations (25% saved)

regimes36.0ms (0.6%)

Counts

9 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))

Outputs
(log.f64 (/.f64 -1/2 x))
(+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5)))))
(log.f64 (+.f64 x (hypot.f64 1 x)))

Calls

3 calls:

18.0ms	x
9.0ms	(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
7.0ms	(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))

Results

Accuracy	Segments	Branch
100.0%	3	`x`
91.4%	4	`(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))`
91.4%	4	`(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))`

Compiler

Compiled 92 to 66 computations (28.3% saved)

regimes19.0ms (0.3%)

Counts

8 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)

Outputs
(log.f64 (/.f64 -1/2 x))
x
(-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)

Calls

1 calls:

15.0ms

Results

Accuracy	Segments	Branch
100.0%	3	`x`

Compiler

Compiled 54 to 38 computations (29.6% saved)

regimes17.0ms (0.3%)

Counts

7 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))

Outputs
(log.f64 (/.f64 -1/2 x))
x
(log.f64 (+.f64 x (hypot.f64 1 x)))

Calls

1 calls:

14.0ms

Results

Accuracy	Segments	Branch
100.0%	3	`x`

Compiler

Compiled 44 to 30 computations (31.8% saved)

regimes15.0ms (0.2%)

Counts

5 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))

Outputs
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x))))

Calls

1 calls:

14.0ms

Results

Accuracy	Segments	Branch
99.8%	3	`x`

Compiler

Compiled 29 to 20 computations (31% saved)

regimes12.0ms (0.2%)

Counts

4 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))

Outputs
(log.f64 (/.f64 -1/2 x))
(+.f64 x (*.f64 -1/6 (pow.f64 x 3)))
(log.f64 (+.f64 x x))

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
99.5%	3	`x`

Compiler

Compiled 19 to 12 computations (36.8% saved)

regimes12.0ms (0.2%)

Counts

3 → 3

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))
(log.f64 (/.f64 -1/2 x))

Outputs
(log.f64 (/.f64 -1/2 x))
x
(log.f64 (+.f64 x x))

Calls

1 calls:

11.0ms

Results

Accuracy	Segments	Branch
99.4%	3	`x`

Compiler

Compiled 12 to 7 computations (41.7% saved)

regimes6.0ms (0.1%)

Counts

2 → 2

Calls

Call 1

Inputs
x
(log.f64 (+.f64 x x))

Outputs
x
(log.f64 (+.f64 x x))

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
75.7%	2	`x`

Compiler

Compiled 8 to 4 computations (50% saved)

regimes3.0ms (0%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
57.2%	1	`x`

Compiler

Compiled 4 to 2 computations (50% saved)

bsearch44.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	0.009516557917863095	397.93686467382105
26.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

39.0ms

320×

body

256

valid

Compiler

Compiled 570 to 458 computations (19.6% saved)

bsearch58.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
34.0ms	3.9220295665064865e-16	0.009516557917863095
24.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

51.0ms

352×

body

256

valid

Compiler

Compiled 272 to 214 computations (21.3% saved)

bsearch47.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	3.9220295665064865e-16	0.009516557917863095
24.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

43.0ms

352×

body

256

valid

Compiler

Compiled 232 to 174 computations (25% saved)

bsearch40.0ms (0.6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	0.009516557917863095	397.93686467382105
24.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

36.0ms

320×

body

256

valid

Compiler

Compiled 362 to 290 computations (19.9% saved)

bsearch175.0ms (2.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
28.0ms	0.009516557917863095	397.93686467382105
147.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

169.0ms

320×

body

256

valid

Compiler

Compiled 314 to 242 computations (22.9% saved)

bsearch49.0ms (0.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	0.009516557917863095	397.93686467382105
32.0ms	-4.155788131481194e+25	-2.7130037912158412e-27

Results

44.0ms

320×

body

256

valid

Compiler

Compiled 194 to 142 computations (26.8% saved)

bsearch16.0ms (0.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	0.009516557917863095	397.93686467382105

Results

14.0ms

128×

body

256

valid

Compiler

Compiled 86 to 58 computations (32.6% saved)

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

18×	`+-commutative`
12×	`*-commutative`
4×	`unsub-neg`
4×	`sub-neg`
4×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	406
1	79	406
2	83	406
3	86	406
4	89	406
5	92	406

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 7493989779944505/288230376151711744) (+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5))))) (log.f64 (+.f64 x (hypot.f64 1 x)))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 2095550126773405/295147905179352825856) x (-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 2095550126773405/295147905179352825856) x (log.f64 (+.f64 x (hypot.f64 1 x)))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 4278419646001971/4503599627370496) (+.f64 x (.f64 -1/6 (pow.f64 x 3))) (log.f64 (+.f64 (.f64 2 x) (*.f64 1/2 (/.f64 1 x))))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 5/4) (+.f64 x (*.f64 -1/6 (pow.f64 x 3))) (log.f64 (+.f64 x x))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 5/4) x (log.f64 (+.f64 x x))))
(if (<=.f64 x 5/4) x (log.f64 (+.f64 x x)))
x

Outputs
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 7493989779944505/288230376151711744) (+.f64 x (+.f64 (.f64 -1/6 (pow.f64 x 3)) (+.f64 (.f64 -5/112 (pow.f64 x 7)) (*.f64 3/40 (pow.f64 x 5))))) (log.f64 (+.f64 x (hypot.f64 1 x)))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 2095550126773405/295147905179352825856) x (-.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) 1)))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 2095550126773405/295147905179352825856) x (+.f64 (+.f64 1 (log.f64 (+.f64 x (hypot.f64 1 x)))) -1)))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 2095550126773405/295147905179352825856) x (log.f64 (+.f64 x (hypot.f64 1 x)))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 4278419646001971/4503599627370496) (+.f64 x (.f64 -1/6 (pow.f64 x 3))) (log.f64 (+.f64 (.f64 2 x) (*.f64 1/2 (/.f64 1 x))))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 4278419646001971/4503599627370496) (+.f64 x (.f64 -1/6 (pow.f64 x 3))) (log.f64 (+.f64 (.f64 x 2) (*.f64 1/2 (/.f64 1 x))))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 5/4) (+.f64 x (*.f64 -1/6 (pow.f64 x 3))) (log.f64 (+.f64 x x))))
(if (<=.f64 x -5/4) (log.f64 (/.f64 -1/2 x)) (if (<=.f64 x 5/4) x (log.f64 (+.f64 x x))))
(if (<=.f64 x 5/4) x (log.f64 (+.f64 x x)))
x

Compiler

Compiled 166 to 120 computations (27.7% saved)

soundness683.0ms (10.8%)

Rules

4550×	`fma-def`
3750×	`associate-+r+`
3054×	`associate-+l+`
1598×	`fma-def`
1590×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	73
1	33	51
2	59	51
3	106	51
4	181	51
5	270	51
6	335	51
7	389	51
8	422	51
9	491	51
10	719	51
11	985	51
12	1210	51
13	1392	51
14	1402	51
15	1404	51
16	1404	51
17	2196	51
18	2451	51
19	2699	51
20	2832	51
21	2847	51
22	2847	51
23	4545	51
24	4545	51
25	4545	51
26	4545	51
27	4545	51
28	7625	51
29	7674	51
30	7856	51
31	7948	51
32	7959	51
0	213	2568
1	534	2192
2	1679	2044
3	6616	2044
0	8	30
1	158	30
2	1999	30

Stop Event

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

Compiler

Compiled 103 to 71 computations (31.1% saved)

end0.0ms (0%)

preprocess134.0ms (2.1%)

Compiler: Compiled 388 to 266 computations (31.4% saved)

analyze73.0ms (1.2%)

sample3.0s (47.3%)

preprocess310.0ms (4.9%)

eval1.0ms (0%)

prune1.0ms (0%)

localize101.0ms (1.6%)

series3.0ms (0.1%)

rewrite67.0ms (1.1%)

simplify79.0ms (1.3%)

eval95.0ms (1.5%)

prune28.0ms (0.5%)

localize445.0ms (7.1%)

eval1.0ms (0%)

prune28.0ms (0.4%)

localize242.0ms (3.8%)

series5.0ms (0.1%)

rewrite112.0ms (1.8%)

simplify179.0ms (2.8%)

eval136.0ms (2.2%)

prune27.0ms (0.4%)

localize0.0ms (0%)

eval0.0ms (0%)

prune5.0ms (0.1%)

regimes36.0ms (0.6%)

regimes19.0ms (0.3%)

regimes17.0ms (0.3%)

regimes15.0ms (0.2%)

regimes12.0ms (0.2%)

regimes12.0ms (0.2%)

regimes6.0ms (0.1%)

regimes3.0ms (0%)

bsearch44.0ms (0.7%)

bsearch58.0ms (0.9%)

bsearch47.0ms (0.7%)

bsearch40.0ms (0.6%)

bsearch175.0ms (2.8%)

bsearch49.0ms (0.8%)

bsearch16.0ms (0.3%)

simplify15.0ms (0.2%)

soundness683.0ms (10.8%)

end0.0ms (0%)

preprocess134.0ms (2.1%)

Profiling