Details

analyze496.0ms (16.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12
31.4%	44.2%	24.3%	13
31.5%	44.2%	24.3%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample1.7s (58.5%)

Results

915.0ms	2731×	body	1024	valid
309.0ms	1321×	body	512	valid
262.0ms	3206×	body	128	valid
109.0ms	724×	body	256	valid
105.0ms	274×	body	2048	valid

preprocess23.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

383×	`fma-neg_binary64`
204×	`rule--a-bc--c-ba_binary64`
200×	`rule-/-abc--/ac/bc_binary64`
198×	`rule-+a-bc-+b-ac_binary64`
188×	`rule-+a-bc--+abc_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	44	8
2	159	8
3	758	8
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Outputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify18.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

383×	`fma-neg_binary64`
204×	`rule--a-bc--c-ba_binary64`
200×	`rule-/-abc--/ac/bc_binary64`
198×	`rule-+a-bc-+b-ac_binary64`
188×	`rule-+a-bc--+abc_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	44	8
2	159	8
3	758	8

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))

Outputs
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))

Compiler

Compiled 25 to 15 computations (40% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(expm1.f64 x)
✓	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 (exp.f64 x) (expm1.f64 x))
1.0ms	x	@	-inf	(/.f64 (exp.f64 x) (expm1.f64 x))
1.0ms	x	@	0	(/.f64 (exp.f64 x) (expm1.f64 x))
0.0ms	x	@	0	(expm1.f64 x)
0.0ms	x	@	inf	(expm1.f64 x)

rewrite36.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

568×	`rules-30_binary64`
568×	`rules-31_binary64`
568×	`rules-32_binary64`
568×	`rules-33_binary64`
528×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	122	11
2	1660	11

Stop Event

1×	node limit

Counts

2 → 77

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (expm1.f64 x))
(expm1.f64 x)

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

Outputs

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

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

simplify33.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

545×	`rule-a-*a1_binary64`
545×	`rule-a--a0_binary64`
545×	`rule-a-+a0_binary64`
545×	`rule-a-/a1_binary64`
410×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	174
1	225	174
2	680	174
3	3251	174

Stop Event

1×	node limit

Counts

101 → 94

Calls

Call 1

Inputs
(/.f64 1 x)
(+.f64 1/2 (/.f64 1 x))
(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
(+.f64 1/2 (+.f64 (.f64 -1/720 (pow.f64 x 3)) (+.f64 (.f64 1/12 x) (/.f64 1 x))))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/24 (pow.f64 x 4)) x)))
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 x) 1)

Outputs
(/.f64 1 x)
(+.f64 1/2 (/.f64 1 x))
(+.f64 (/.f64 1 x) 1/2)
(+.f64 1/2 (+.f64 (*.f64 1/12 x) (/.f64 1 x)))
(+.f64 1/2 (fma.f64 1/12 x (/.f64 1 x)))
(fma.f64 x 1/12 (+.f64 (/.f64 1 x) 1/2))
(+.f64 (/.f64 1 x) (fma.f64 x 1/12 1/2))
(+.f64 1/2 (+.f64 (.f64 -1/720 (pow.f64 x 3)) (+.f64 (.f64 1/12 x) (/.f64 1 x))))
(+.f64 1/2 (fma.f64 -1/720 (pow.f64 x 3) (fma.f64 1/12 x (/.f64 1 x))))
(+.f64 1/2 (fma.f64 x 1/12 (fma.f64 -1/720 (pow.f64 x 3) (/.f64 1 x))))
(+.f64 (fma.f64 x 1/12 (/.f64 1 x)) (fma.f64 -1/720 (pow.f64 x 3) 1/2))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
(/.f64 (exp.f64 x) (expm1.f64 x))
x
(+.f64 (*.f64 1/2 (pow.f64 x 2)) x)
(fma.f64 1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x 1/2) x)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) x))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) x))
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 3) 1/6 x))
(fma.f64 x (*.f64 x 1/2) (fma.f64 (pow.f64 x 3) 1/6 x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (*.f64 1/24 (pow.f64 x 4)) x)))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) (fma.f64 1/24 (pow.f64 x 4) x)))
(fma.f64 1/2 (*.f64 x x) (fma.f64 (pow.f64 x 3) 1/6 (fma.f64 1/24 (pow.f64 x 4) x)))
(fma.f64 x (*.f64 x 1/2) (fma.f64 1/24 (pow.f64 x 4) (fma.f64 (pow.f64 x 3) 1/6 x)))
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)

prune41.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	2	95

Error

0.2b

Counts

95 → 2

Alt Table

Status	Error	Program
✓	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	23.3b	(+.f64 1/2 (/.f64 1 x))

Compiler

Compiled 916 to 385 computations (58% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1/2 (/.f64 1 x))

series1.0ms (0%)

Counts

1 → 3

Calls

3 calls:

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

rewrite34.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

673×	`rules-30_binary64`
673×	`rules-31_binary64`
673×	`rules-32_binary64`
673×	`rules-33_binary64`
621×	`rules-27_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	157	7
2	1975	7

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

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

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

Outputs

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

simplify20.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

330×	`rule-b-ac--ab*bc_binary64`
204×	`rule-/-abc--/ac/bc_binary64`
195×	`rule-+a-bc-+b-ac_binary64`
158×	`rule--ab--+aa+ab_binary64`
156×	`rule-*a/cb-/a/bc_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	31	6
2	78	6
3	275	6
4	1293	6

Stop Event

1×	node limit

Counts

40 → 39

Calls

Call 1

Inputs
(/.f64 1 x)
1/2
1/2

Outputs
(/.f64 1 x)
1/2
1/2

prune20.0ms (0.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	38	3	41

Error

0.2b

Counts

41 → 3

Alt Table

Status	Error	Program
▶	24.1b	(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)
✓	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	23.3b	(+.f64 1/2 (/.f64 1 x))

Compiler

Compiled 423 to 361 computations (14.7% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(+.f64 1/2 (/.f64 1 x))
✓	0.4b	(cbrt.f64 (+.f64 1/2 (/.f64 1 x)))
✓	0.8b	(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)

series7.0ms (0.2%)

Counts

2 → 16

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)
1.0ms	x	@	0	(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)
0.0ms	x	@	inf	(cbrt.f64 (+.f64 1/2 (/.f64 1 x)))
0.0ms	x	@	0	(cbrt.f64 (+.f64 1/2 (/.f64 1 x)))

rewrite40.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

860×	`rules-31_binary64`
860×	`rules-32_binary64`
860×	`rules-33_binary64`
88×	`add-sqr-sqrt_binary64`
84×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	239	16
2	2620	16

Stop Event

1×	node limit

Counts

2 → 86

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))) 3)
(cbrt.f64 (+.f64 1/2 (/.f64 1 x)))

Outputs

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

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

simplify40.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

574×	`rule-a-*a1_binary64`
574×	`rule-a--a0_binary64`
574×	`rule-a-+a0_binary64`
571×	`rule-a-/a1_binary64`
300×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	883
1	820	729
2	3311	720

Stop Event

1×	node limit

Counts

102 → 105

Calls

Call 1

Inputs
1/2
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (.f64 2/9 (*.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))))))))
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 x 3)))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3))) (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))))))) (.f64 1/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3)))))
1/2
(+.f64 1/2 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (*.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2))))))))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -8/81 (cbrt.f64 1/2)) (+.f64 (.f64 -1/3 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (*.f64 1/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))))) (pow.f64 x 3))))))))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))

Outputs
1/2
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))
(+.f64 1/2 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x))
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (.f64 2/9 (*.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))))))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (+.f64 (fma.f64 2/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (.f64 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) 2/9)) (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x)))))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (/.f64 (cbrt.f64 1/2) (.f64 x x)) (+.f64 (.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (*.f64 x x))) (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (/.f64 2/3 x) 1/2)))))
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 x 3)))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3))) (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))))))) (.f64 1/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3)))))
(-.f64 (fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (+.f64 1/2 (fma.f64 1/3 (/.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)))) (pow.f64 x 3)) (fma.f64 2/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3)) (.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))))))) (/.f64 1/81 (*.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3))))
(+.f64 1/2 (-.f64 (fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (fma.f64 1/3 (.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (pow.f64 x 3))) (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (/.f64 (cbrt.f64 1/2) (.f64 x x)) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (/.f64 2/3 x) (/.f64 (cbrt.f64 1/2) (/.f64 (pow.f64 x 3) 8/81)))))))) (/.f64 1/81 (*.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3)))))
1/2
(+.f64 1/2 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (*.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))
(+.f64 1/2 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (fma.f64 -1 (/.f64 (fma.f64 -2/3 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1/3)) x) (.f64 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (*.f64 x x)) 2/9)))))
(+.f64 1/2 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (/.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1)) x)))))
(+.f64 1/2 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (/.f64 (cbrt.f64 1/2) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x)))))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -8/81 (cbrt.f64 1/2)) (+.f64 (.f64 -1/3 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (*.f64 1/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))))) (pow.f64 x 3))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (+.f64 1/2 (fma.f64 -1 (/.f64 (fma.f64 -2/3 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1/3)) x) (fma.f64 2/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (.f64 -1 (/.f64 (fma.f64 -8/81 (cbrt.f64 1/2) (fma.f64 -1/3 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)))) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (pow.f64 x 3))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (+.f64 1/2 (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (.f64 -1 (+.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1) x) (/.f64 (fma.f64 (cbrt.f64 1/2) -8/81 (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) -1/3) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (pow.f64 x 3))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (+.f64 1/2 (+.f64 (/.f64 (fma.f64 (cbrt.f64 1/2) -8/81 (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) -1/3) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (neg.f64 (pow.f64 x 3))) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x))))))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (*.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x)))
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)))))
(+.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2)))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
(+.f64 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (*.f64 x x)) (/.f64 (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)) (pow.f64 x 3))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2)))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (*.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x)))
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)))))
(+.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2)))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
(+.f64 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (*.f64 x x)) (/.f64 (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)) (pow.f64 x 3))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2)))

prune89.0ms (3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	144	3	147

Error

0.2b

Counts

147 → 3

Alt Table

Status	Error	Program
✓	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))
▶	63.1b	(pow.f64 (log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))) 3)
✓	23.3b	(+.f64 1/2 (/.f64 1 x))

Compiler

Compiled 2640 to 2353 computations (10.9% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))
	0.4b	(cbrt.f64 (+.f64 1/2 (/.f64 1 x)))
✓	0.4b	(pow.f64 (log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))) 3)
✓	2.5b	(log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x)))))

series6.0ms (0.2%)

Counts

3 → 25

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))
1.0ms	x	@	inf	(exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))
1.0ms	x	@	-inf	(exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))
0.0ms	x	@	inf	(pow.f64 (log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))) 3)
0.0ms	x	@	0	(log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x)))))

rewrite48.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

949×	`rules-31_binary64`
949×	`rules-32_binary64`
949×	`rules-33_binary64`
97×	`add-sqr-sqrt_binary64`
94×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	273	27
2	2895	27

Stop Event

1×	node limit

Counts

3 → 122

Calls

Call 1

Inputs
(log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x)))))
(pow.f64 (log.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))) 3)
(exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))

Outputs

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

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

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

simplify52.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

753×	`rule-a-/a1_binary64`
385×	`fma-def_binary64`
247×	`fma-neg_binary64`
221×	`rule-+ab-+ba_binary64`
216×	`rule-a-*a1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	1329
1	1045	1154
2	4345	1145

Stop Event

1×	node limit

Counts

147 → 151

Calls

Call 1

Inputs
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
1/2
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (.f64 2/9 (*.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))))))))
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 x 3)))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3))) (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))))))) (.f64 1/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3)))))
1/2
(+.f64 1/2 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (*.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2))))))))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -8/81 (cbrt.f64 1/2)) (+.f64 (.f64 -1/3 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (*.f64 1/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))))) (pow.f64 x 3))))))))
1
(exp.f64 (cbrt.f64 1/2))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (*.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3)))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (-.f64 (+.f64 (.f64 1/162 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (.f64 5/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)))) 2/27)) (pow.f64 x 3)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))))
(exp.f64 (cbrt.f64 1/2))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (*.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3)))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (.f64 -1 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (-.f64 2/27 (+.f64 (.f64 1/162 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (*.f64 5/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)))))) (pow.f64 x 3))))))

Outputs
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (*.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x)))
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)))))
(+.f64 (cbrt.f64 1/2) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x)))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
(cbrt.f64 1/2)
(+.f64 (cbrt.f64 1/2) (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))))
(+.f64 (cbrt.f64 1/2) (*.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x)))
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (cbrt.f64 1/2))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)))))
(+.f64 (cbrt.f64 1/2) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 1/3 x) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x)))))
(+.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 5/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3)))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
(+.f64 (cbrt.f64 1/2) (fma.f64 1/3 (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) x) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (/.f64 -1/9 (.f64 x x)) (/.f64 5/81 (.f64 (pow.f64 (cbrt.f64 1/2) 4) (pow.f64 x 3))))))
1/2
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))
(+.f64 1/2 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x))
(+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (.f64 2/9 (*.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))))))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (+.f64 (fma.f64 2/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (.f64 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) 2/9)) (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x)))))))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (/.f64 2/3 x) (.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (*.f64 x x))))))))
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 1/3 (.f64 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3) (/.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 x 3)))) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 (.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3))) (.f64 2/3 (.f64 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3) (/.f64 1 x)))))))))) (.f64 1/81 (/.f64 1 (.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3)))))
(-.f64 (fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (pow.f64 x 3))) (fma.f64 2/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 8/81 (/.f64 (cbrt.f64 1/2) (pow.f64 x 3)) (.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))))))) (/.f64 1/81 (*.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3))))
(-.f64 (fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 1/3 (.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (/.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (pow.f64 x 3))) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (/.f64 2/3 x) (/.f64 8/81 (/.f64 (pow.f64 x 3) (cbrt.f64 1/2)))))))))) (/.f64 1/81 (*.f64 (pow.f64 (cbrt.f64 1/2) 2) (pow.f64 x 3))))
1/2
(+.f64 1/2 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (*.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)))
(fma.f64 1/3 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (+.f64 1/2 (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) 2/3)))
(+.f64 1/2 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (cbrt.f64 1/2) (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)))) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (fma.f64 -1 (/.f64 (fma.f64 -2/3 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1/3)) x) (.f64 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (*.f64 x x)) 2/9)))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (neg.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1) x))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x)))))
(+.f64 (.f64 -1/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (+.f64 1/2 (+.f64 (/.f64 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (cbrt.f64 1/2)) (pow.f64 x 2)) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -2/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3)) (.f64 -1/3 (pow.f64 (pow.f64 (cbrt.f64 1/2) 4) 1/3))) x)) (+.f64 (.f64 2/9 (.f64 (pow.f64 (/.f64 1 (cbrt.f64 1/2)) 1/3) (/.f64 1 (pow.f64 x 2)))) (.f64 -1 (/.f64 (+.f64 (.f64 -8/81 (cbrt.f64 1/2)) (+.f64 (.f64 -1/3 (.f64 (+.f64 (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -2/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3))) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (*.f64 1/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))))) (pow.f64 x 3))))))))
(fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (+.f64 1/2 (+.f64 (.f64 (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9)) (/.f64 (cbrt.f64 1/2) (.f64 x x))) (fma.f64 -1 (/.f64 (fma.f64 -2/3 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1/3)) x) (fma.f64 2/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (.f64 -1 (/.f64 (fma.f64 -8/81 (cbrt.f64 1/2) (fma.f64 -1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (fma.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -2/9))) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (pow.f64 x 3))))))))
(+.f64 1/2 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (.f64 -1 (+.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) -1) x) (/.f64 (fma.f64 (cbrt.f64 1/2) -8/81 (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) -1/3) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (pow.f64 x 3))))))))
(+.f64 1/2 (fma.f64 -1/9 (/.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (.f64 x x)) (fma.f64 (cbrt.f64 1/2) (/.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 x x)) (+.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 1/2) 4)) x) (fma.f64 (cbrt.f64 (/.f64 1 (cbrt.f64 1/2))) (/.f64 2/9 (.f64 x x)) (/.f64 (fma.f64 (cbrt.f64 1/2) -8/81 (fma.f64 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) -1/9) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) -1/3) (/.f64 1/81 (pow.f64 (cbrt.f64 1/2) 2)))) (neg.f64 (pow.f64 x 3))))))))
1
(exp.f64 (cbrt.f64 1/2))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (exp.f64 (cbrt.f64 1/2)))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (*.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3)))))
(+.f64 (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)))) (.f64 (fma.f64 1/18 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))))) (/.f64 (exp.f64 (cbrt.f64 1/2)) (*.f64 x x))))
(fma.f64 (fma.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) 1/18)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x)) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (exp.f64 (cbrt.f64 1/2))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (-.f64 (+.f64 (.f64 1/162 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (.f64 5/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)))) 2/27)) (pow.f64 x 3)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))))
(+.f64 (.f64 (fma.f64 1/18 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))))) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x))) (+.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x))) (.f64 (+.f64 (/.f64 1/162 (pow.f64 (cbrt.f64 1/2) 2)) (-.f64 (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)) 2/27)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (pow.f64 x 3))))))
(fma.f64 (fma.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) 1/18)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x)) (fma.f64 (+.f64 (/.f64 1/162 (pow.f64 (cbrt.f64 1/2) 2)) (+.f64 (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)) -2/27)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (pow.f64 x 3)) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (exp.f64 (cbrt.f64 1/2)))))
(exp.f64 (cbrt.f64 1/2))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x))))
(fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (exp.f64 (cbrt.f64 1/2)))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (*.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3)))))
(+.f64 (+.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)))) (.f64 (fma.f64 1/18 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))))) (/.f64 (exp.f64 (cbrt.f64 1/2)) (*.f64 x x))))
(fma.f64 (fma.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) 1/18)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x)) (fma.f64 1/3 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (exp.f64 (cbrt.f64 1/2))))
(+.f64 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/18 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)) 1/3)) (.f64 -1/9 (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7)) 1/3)))) (pow.f64 x 2)) (+.f64 (exp.f64 (cbrt.f64 1/2)) (+.f64 (.f64 1/3 (.f64 (/.f64 (exp.f64 (cbrt.f64 1/2)) x) (pow.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2)) 1/3))) (.f64 -1 (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (-.f64 2/27 (+.f64 (.f64 1/162 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (*.f64 5/81 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4)))))) (pow.f64 x 3))))))
(+.f64 (.f64 (fma.f64 1/18 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) (.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))))) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x))) (+.f64 (exp.f64 (cbrt.f64 1/2)) (fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (.f64 -1 (.f64 (-.f64 2/27 (+.f64 (/.f64 1/162 (pow.f64 (cbrt.f64 1/2) 2)) (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)))) (/.f64 (exp.f64 (cbrt.f64 1/2)) (pow.f64 x 3)))))))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (fma.f64 (fma.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) 1/18)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x)) (fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (neg.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (/.f64 (-.f64 2/27 (+.f64 (/.f64 1/162 (pow.f64 (cbrt.f64 1/2) 2)) (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4)))) (pow.f64 x 3)))))))
(+.f64 (exp.f64 (cbrt.f64 1/2)) (fma.f64 (fma.f64 -1/9 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 7))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 4))) 1/18)) (/.f64 (exp.f64 (cbrt.f64 1/2)) (.f64 x x)) (fma.f64 1/3 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 (cbrt.f64 1/2) 2))) (/.f64 (exp.f64 (cbrt.f64 1/2)) x)) (/.f64 (.f64 (exp.f64 (cbrt.f64 1/2)) (-.f64 2/27 (+.f64 (/.f64 1/162 (pow.f64 (cbrt.f64 1/2) 2)) (/.f64 5/81 (pow.f64 (cbrt.f64 1/2) 4))))) (neg.f64 (pow.f64 x 3))))))

prune124.0ms (4.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	196	3	199

Error

0.2b

Counts

199 → 3

Alt Table

Status	Error	Program
	63.1b	(pow.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (cbrt.f64 (+.f64 1/2 (/.f64 1 x))))) 3)) 3)
✓	0.3b	(/.f64 (exp.f64 x) (expm1.f64 x))
✓	23.3b	(+.f64 1/2 (/.f64 1 x))

Compiler

Compiled 3984 to 3609 computations (9.4% saved)

regimes22.0ms (0.7%)

Accuracy

Total -62.1b remaining (-15026.2%)

Threshold costs -62.1b (-15026.2%)

Counts

12 → 1

Compiler

Compiled 144 to 115 computations (20.1% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (exp.f64 x) (expm1.f64 x))

Outputs
(/.f64 (exp.f64 x) (expm1.f64 x))

end41.0ms (1.4%)

Stop Event

1×

fuel

Compiler

Compiled 35 to 24 computations (31.4% saved)

Details

analyze496.0ms (16.9%)

sample1.7s (58.5%)

preprocess23.0ms (0.8%)

simplify18.0ms (0.6%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite36.0ms (1.2%)

simplify33.0ms (1.1%)

prune41.0ms (1.4%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite34.0ms (1.1%)

simplify20.0ms (0.7%)

prune20.0ms (0.7%)

localize5.0ms (0.2%)

series7.0ms (0.2%)

rewrite40.0ms (1.4%)

simplify40.0ms (1.4%)

prune89.0ms (3%)

localize7.0ms (0.2%)

series6.0ms (0.2%)

rewrite48.0ms (1.6%)

simplify52.0ms (1.8%)

prune124.0ms (4.2%)

regimes22.0ms (0.7%)

simplify1.0ms (0%)

end41.0ms (1.4%)

Profiling