Details

analyze0.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.1s (46.5%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 34 to 24 computations (29.4% saved)

preprocess43.0ms (1.9%)

Algorithm

2×	egg-herbie

Rules

535×	`associate-/l/_binary64`
328×	`unswap-sqr_binary64`
297×	`associate-/r/_binary64`
247×	`associate-/l*_binary64`
218×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	25	14
3	48	14
4	108	14
5	281	14
6	822	14
7	1479	14
8	3786	14
9	4103	14
10	4643	14
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))

Outputs
(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 x (*.f64 x 10))))
(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify36.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

535×	`associate-/l/_binary64`
328×	`unswap-sqr_binary64`
297×	`associate-/r/_binary64`
247×	`associate-/l*_binary64`
218×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	25	14
3	48	14
4	108	14
5	281	14
6	822	14
7	1479	14
8	3786	14
9	4103	14
10	4643	14

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))

Outputs
(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 x (*.f64 x 10))))
(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))

prune3.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	3.5b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
▶	3.2b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))

Compiler

Compiled 59 to 40 computations (32.2% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
✓	0.4b	(pow.f64 (exp.f64 (*.f64 x 10)) x)
✓	2.6b	(exp.f64 (*.f64 x 10))

series5.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f64 (exp.f64 (*.f64 x 10)) x)
1.0ms	x	@	0	(exp.f64 (*.f64 x 10))
1.0ms	x	@	inf	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
1.0ms	x	@	-inf	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
0.0ms	x	@	0	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))

rewrite41.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

742×	`pow1_binary64`
687×	`log1p-expm1-u_binary64`
687×	`expm1-log1p-u_binary64`
80×	`add-sqr-sqrt_binary64`
77×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	161	29
2	1886	29

Stop Event

1×	node limit

Counts

3 → 53

Calls

Call 1

Inputs
(exp.f64 (*.f64 x 10))
(pow.f64 (exp.f64 (*.f64 x 10)) x)
(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))

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

Outputs

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

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

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

simplify38.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

814×	`fma-def_binary64`
578×	`associate-l_binary64`
515×	`distribute-rgt-out_binary64`
471×	`unswap-sqr_binary64`
372×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	379
1	115	369
2	281	362
3	866	355
4	3512	355

Stop Event

1×	node limit

Counts

89 → 77

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))

Outputs
1
(+.f64 1 (*.f64 10 x))
(fma.f64 10 x 1)
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (fma.f64 50 (.f64 x x) (.f64 10 x)))
(+.f64 1 (fma.f64 10 x (.f64 x (.f64 x 50))))
(fma.f64 10 x (fma.f64 50 (*.f64 x x) 1))
(fma.f64 x (fma.f64 x 50 10) 1)
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 50 (.f64 x x) (fma.f64 10 x (.f64 500/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 500/3 (pow.f64 x 3) (.f64 x (+.f64 (.f64 x 50) 10))))
(fma.f64 10 x (fma.f64 (*.f64 x x) (fma.f64 x 500/3 50) 1))
(fma.f64 10 x (fma.f64 x (*.f64 x (fma.f64 x 500/3 50)) 1))
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 1 (.f64 10 (.f64 x x)))
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (.f64 10 (.f64 x x))))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) 1))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) 1))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 50) 10) 1)
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (fma.f64 500/3 (pow.f64 x 6) (.f64 10 (.f64 x x)))))
(+.f64 (fma.f64 10 (.f64 x x) (.f64 500/3 (pow.f64 x 6))) (fma.f64 50 (pow.f64 x 4) 1))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) 1)))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 50) 10) (fma.f64 500/3 (pow.f64 x 6) 1))
(fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (fma.f64 50 (pow.f64 x 4) 1)))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(pow.f64 (exp.f64 x) (*.f64 10 x))
(pow.f64 (exp.f64 (*.f64 10 x)) x)
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) 19/2))
(fma.f64 (*.f64 x x) 19/2 1)
(fma.f64 x (*.f64 x 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (.f64 (.f64 x x) 19/2)))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (*.f64 x x) 19/2 1))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 1081/24 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (fma.f64 102299/720 (pow.f64 x 6) (.f64 (.f64 x x) 19/2))))
(+.f64 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720)) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1)))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 1)))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 6) 102299/720 (fma.f64 (pow.f64 x 4) 1081/24 1)))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))
(.f64 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 x) (.f64 10 x)) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x))

prune92.0ms (4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	59	18	77
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	60	19	79

Error

0.6b

Counts

79 → 19

Alt Table

Status	Error	Program
	3.6b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
	5.7b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (.f64 x 10)) 2)) (cbrt.f64 (*.f64 x 10))) x))
	3.6b	(.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (exp.f64 (.f64 x (*.f64 x 10))))))
	2.4b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) 3) x))
	2.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) x) (pow.f64 (pow.f64 (exp.f64 x) 5) x)))
	2.2b	(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) (cbrt.f64 (pow.f64 (exp.f64 x) 20))) x))
	2.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 20)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) x)))
✓	3.2b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
	3.6b	(.f64 (cos.f64 x) (.f64 (sqrt.f64 (exp.f64 (.f64 x (.f64 x 10)))) (sqrt.f64 (exp.f64 (.f64 x (.f64 x 10))))))
	3.2b	(*.f64 (cos.f64 x) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (exp.f64 x) 10))) 1) x))
	2.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
▶	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	2.0b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) 3)) x))
	3.6b	(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x)) 3))
	3.6b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 1) (.f64 x 10)) x))
	4.4b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 x 10))) (sqrt.f64 (*.f64 x 10))) x))
	2.0b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) 2) x))
	3.6b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x (*.f64 x 10))) 3)))
	2.1b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))

Compiler

Compiled 1494 to 1000 computations (33.1% saved)

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
✓	0.4b	(pow.f64 (pow.f64 (exp.f64 10) x) x)
✓	1.0b	(pow.f64 (exp.f64 10) x)

series4.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(pow.f64 (pow.f64 (exp.f64 10) x) x)
1.0ms	x	@	0	(pow.f64 (exp.f64 10) x)
1.0ms	x	@	-inf	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.0ms	x	@	inf	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
0.0ms	x	@	-inf	(pow.f64 (pow.f64 (exp.f64 10) x) x)

rewrite44.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

750×	`pow1_binary64`
694×	`log1p-expm1-u_binary64`
694×	`expm1-log1p-u_binary64`
81×	`add-sqr-sqrt_binary64`
78×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	164	29
2	1919	29

Stop Event

1×	node limit

Counts

3 → 53

Calls

Call 1

Inputs
(pow.f64 (exp.f64 10) x)
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))

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

Outputs

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

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

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

simplify31.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

873×	`fma-def_binary64`
573×	`associate-l_binary64`
487×	`unswap-sqr_binary64`
385×	`associate-r_binary64`
139×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	379
1	125	369
2	296	362
3	924	355
4	3924	355

Stop Event

1×	node limit

Counts

89 → 77

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
(exp.f64 (*.f64 10 x))
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))

Outputs
1
(+.f64 1 (*.f64 10 x))
(fma.f64 10 x 1)
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (fma.f64 50 (.f64 x x) (.f64 10 x)))
(+.f64 1 (fma.f64 10 x (.f64 x (.f64 x 50))))
(fma.f64 x (*.f64 x 50) (fma.f64 10 x 1))
(fma.f64 x (fma.f64 x 50 10) 1)
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 50 (.f64 x x) (fma.f64 10 x (.f64 500/3 (pow.f64 x 3)))))
(+.f64 (fma.f64 10 x 1) (.f64 (.f64 x x) (+.f64 50 (*.f64 x 500/3))))
(fma.f64 x (fma.f64 x 50 10) (fma.f64 500/3 (pow.f64 x 3) 1))
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
(exp.f64 (*.f64 10 x))
(pow.f64 (exp.f64 10) x)
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 1 (.f64 10 (.f64 x x)))
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (.f64 10 (.f64 x x))))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) 1))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (fma.f64 500/3 (pow.f64 x 6) (.f64 10 (.f64 x x)))))
(+.f64 (fma.f64 10 (.f64 x x) (.f64 500/3 (pow.f64 x 6))) (fma.f64 50 (pow.f64 x 4) 1))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) 1)))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) (fma.f64 500/3 (pow.f64 x 6) 1)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x))
(pow.f64 (pow.f64 (exp.f64 10) x) x)
(pow.f64 (exp.f64 10) (*.f64 x x))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) 19/2))
(fma.f64 (*.f64 x x) 19/2 1)
(fma.f64 x (*.f64 x 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (.f64 (.f64 x x) 19/2)))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (*.f64 x x) 19/2 1))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 x (*.f64 x 19/2) 1))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (fma.f64 102299/720 (pow.f64 x 6) (.f64 (.f64 x x) 19/2))))
(+.f64 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720)) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 (fma.f64 x (*.f64 x 19/2) 1)))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))

prune60.0ms (2.6%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	69	8	77
Fresh	10	7	17
Picked	0	1	1
Done	0	1	1
Total	79	17	96

Error

0.3b

Counts

96 → 17

Alt Table

Status	Error	Program
	1.4b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	2.0b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) 3)) x))
	1.5b	(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 20) x))) x))
	3.6b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x (*.f64 x 10))) 3)))
	2.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 20)) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) x)))
✓	3.2b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
	2.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
✓	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.1b	(pow.f64 (cbrt.f64 (.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))) 3)
	3.0b	(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
	1.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	3.6b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
▶	0.5b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	1.1b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))
	2.1b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))
	3.0b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
	3.2b	(*.f64 (cos.f64 x) (pow.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (exp.f64 x) 10))) 1) x))

Compiler

Compiled 1445 to 957 computations (33.8% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 20) x)
✓	0.1b	(sqrt.f64 (pow.f64 (exp.f64 20) x))
✓	0.3b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
✓	0.4b	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)

series26.0ms (1.1%)

Counts

4 → 40

Calls

12 calls:

Time	Variable		Point	Expression
20.0ms	x	@	inf	(sqrt.f64 (pow.f64 (exp.f64 20) x))
1.0ms	x	@	0	(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
1.0ms	x	@	-inf	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
1.0ms	x	@	inf	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
1.0ms	x	@	-inf	(sqrt.f64 (pow.f64 (exp.f64 20) x))

rewrite48.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

820×	`pow1_binary64`
760×	`log1p-expm1-u_binary64`
760×	`expm1-log1p-u_binary64`
89×	`add-sqr-sqrt_binary64`
85×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	41
1	183	41
2	2117	41

Stop Event

1×	node limit

Counts

4 → 85

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 20) x)

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

simplify34.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

657×	`associate-l_binary64`
562×	`distribute-rgt-out_binary64`
503×	`unswap-sqr_binary64`
441×	`associate-r_binary64`
248×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	62	430
1	149	418
2	367	408
3	1140	406
4	3288	374

Stop Event

1×	node limit

Counts

125 → 115

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
1
(+.f64 1 (*.f64 20 x))
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 2)) (.f64 20 x)))
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 2)) (+.f64 (.f64 20 x) (*.f64 4000/3 (pow.f64 x 3)))))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))
(exp.f64 (*.f64 20 x))

Outputs
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 1 (.f64 10 (.f64 x x)))
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (.f64 10 (.f64 x x))))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) 1))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) 1))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (fma.f64 500/3 (pow.f64 x 6) (.f64 10 (.f64 x x)))))
(+.f64 (fma.f64 500/3 (pow.f64 x 6) (.f64 10 (.f64 x x))) (fma.f64 50 (pow.f64 x 4) 1))
(fma.f64 50 (pow.f64 x 4) (fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) 1)))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) 19/2))
(fma.f64 (*.f64 x x) 19/2 1)
(fma.f64 x (*.f64 x 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (.f64 (.f64 x x) 19/2)))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (*.f64 x x) 19/2 1))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (fma.f64 102299/720 (pow.f64 x 6) (.f64 (.f64 x x) 19/2))))
(+.f64 (fma.f64 (pow.f64 x 6) 102299/720 (.f64 x (.f64 x 19/2))) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 (fma.f64 x (*.f64 x 19/2) 1)))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))
(*.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) x) (cos.f64 x))
1
(+.f64 1 (*.f64 10 x))
(fma.f64 10 x 1)
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (.f64 10 x)))
(+.f64 1 (fma.f64 50 (.f64 x x) (.f64 10 x)))
(+.f64 1 (fma.f64 10 x (.f64 x (.f64 x 50))))
(fma.f64 10 x (fma.f64 x (*.f64 x 50) 1))
(+.f64 1 (+.f64 (.f64 50 (pow.f64 x 2)) (+.f64 (.f64 10 x) (*.f64 500/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 50 (.f64 x x) (fma.f64 10 x (.f64 500/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 (.f64 x x) 50 (fma.f64 500/3 (pow.f64 x 3) (.f64 10 x))))
(+.f64 1 (fma.f64 500/3 (pow.f64 x 3) (.f64 x (+.f64 10 (.f64 x 50)))))
(+.f64 1 (.f64 x (+.f64 10 (.f64 x (+.f64 50 (*.f64 x 500/3))))))
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
(sqrt.f64 (exp.f64 (*.f64 20 x)))
(sqrt.f64 (pow.f64 (exp.f64 20) x))
(pow.f64 (exp.f64 x) 10)
1
(+.f64 1 (*.f64 20 x))
(+.f64 1 (*.f64 x 20))
(fma.f64 x 20 1)
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 2)) (.f64 20 x)))
(+.f64 1 (fma.f64 200 (.f64 x x) (.f64 x 20)))
(+.f64 1 (fma.f64 x 20 (.f64 x (.f64 x 200))))
(fma.f64 x 20 (fma.f64 x (*.f64 x 200) 1))
(fma.f64 x (*.f64 x 200) (fma.f64 x 20 1))
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 2)) (+.f64 (.f64 20 x) (*.f64 4000/3 (pow.f64 x 3)))))
(+.f64 1 (fma.f64 200 (.f64 x x) (fma.f64 20 x (.f64 (pow.f64 x 3) 4000/3))))
(+.f64 1 (fma.f64 (.f64 x x) 200 (fma.f64 x 20 (.f64 (pow.f64 x 3) 4000/3))))
(+.f64 (.f64 x (+.f64 20 (.f64 x 200))) (fma.f64 (pow.f64 x 3) 4000/3 1))
(+.f64 1 (.f64 x (+.f64 20 (.f64 x (+.f64 200 (*.f64 x 4000/3))))))
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)
(exp.f64 (*.f64 20 x))
(pow.f64 (exp.f64 20) x)

prune145.0ms (6.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	107	8	115
Fresh	12	2	14
Picked	0	1	1
Done	1	1	2
Total	120	12	132

Error

0.1b

Counts

132 → 12

Alt Table

Status	Error	Program
	1.0b	(.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) (cbrt.f64 (pow.f64 (exp.f64 40) x)))) x))
	0.7b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
	3.6b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
▶	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
✓	3.2b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3) (pow.f64 (cos.f64 x) 3)))
	2.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
	1.2b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
✓	0.5b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	0.7b	(.f64 (cos.f64 x) (.f64 (sqrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)) (sqrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))))
	0.9b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))))
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))

Compiler

Compiled 1966 to 1381 computations (29.8% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 (exp.f64 20) x)
✓	0.1b	(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
✓	0.3b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
✓	0.5b	(pow.f64 (pow.f64 (exp.f64 20) x) x)

series38.0ms (1.7%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
34.0ms	x	@	0	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
1.0ms	x	@	0	(pow.f64 (pow.f64 (exp.f64 20) x) x)
1.0ms	x	@	inf	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
1.0ms	x	@	-inf	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
0.0ms	x	@	-inf	(pow.f64 (pow.f64 (exp.f64 20) x) x)

rewrite46.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

824×	`pow1_binary64`
764×	`log1p-expm1-u_binary64`
764×	`expm1-log1p-u_binary64`
89×	`add-sqr-sqrt_binary64`
85×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	36
1	183	36
2	2121	36

Stop Event

1×	node limit

Counts

3 → 72

Calls

Call 1

Inputs
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))

Outputs

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

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

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

simplify40.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

579×	`fma-def_binary64`
437×	`associate-l_binary64`
432×	`distribute-lft-out_binary64`
411×	`distribute-rgt-out_binary64`
342×	`associate-r_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	444
1	120	432
2	285	426
3	813	426
4	3021	394

Stop Event

1×	node limit

Counts

108 → 97

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 20 (pow.f64 x 2)))
(+.f64 (.f64 200 (pow.f64 x 4)) (+.f64 1 (.f64 20 (pow.f64 x 2))))
(+.f64 (.f64 200 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 4000/3 (pow.f64 x 6)) (*.f64 20 (pow.f64 x 2)))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))

Outputs
1
(+.f64 1 (*.f64 20 (pow.f64 x 2)))
(+.f64 1 (.f64 20 (.f64 x x)))
(fma.f64 20 (*.f64 x x) 1)
(fma.f64 x (*.f64 20 x) 1)
(+.f64 (.f64 200 (pow.f64 x 4)) (+.f64 1 (.f64 20 (pow.f64 x 2))))
(fma.f64 200 (pow.f64 x 4) (+.f64 1 (.f64 20 (.f64 x x))))
(fma.f64 200 (pow.f64 x 4) (fma.f64 20 (*.f64 x x) 1))
(fma.f64 20 (*.f64 x x) (fma.f64 200 (pow.f64 x 4) 1))
(fma.f64 200 (pow.f64 x 4) (fma.f64 x (*.f64 20 x) 1))
(+.f64 (.f64 200 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 4000/3 (pow.f64 x 6)) (*.f64 20 (pow.f64 x 2)))))
(fma.f64 200 (pow.f64 x 4) (+.f64 1 (fma.f64 4000/3 (pow.f64 x 6) (.f64 20 (.f64 x x)))))
(+.f64 (fma.f64 4000/3 (pow.f64 x 6) (.f64 20 (.f64 x x))) (fma.f64 200 (pow.f64 x 4) 1))
(fma.f64 200 (pow.f64 x 4) (fma.f64 20 (*.f64 x x) (fma.f64 4000/3 (pow.f64 x 6) 1)))
(fma.f64 20 (*.f64 x x) (fma.f64 4000/3 (pow.f64 x 6) (fma.f64 200 (pow.f64 x 4) 1)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))
(pow.f64 (pow.f64 (exp.f64 20) x) x)
(pow.f64 (exp.f64 20) (*.f64 x x))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) 19/2))
(fma.f64 (*.f64 x x) 19/2 1)
(fma.f64 x (*.f64 x 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (.f64 19/2 (pow.f64 x 2))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (.f64 (.f64 x x) 19/2)))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (*.f64 x x) 19/2 1))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 1081/24 19/2) 1)
(+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 102299/720 (pow.f64 x 6)) (*.f64 19/2 (pow.f64 x 2)))))
(fma.f64 1081/24 (pow.f64 x 4) (+.f64 1 (fma.f64 102299/720 (pow.f64 x 6) (.f64 (.f64 x x) 19/2))))
(+.f64 (fma.f64 (pow.f64 x 6) 102299/720 (.f64 (.f64 x x) 19/2)) (fma.f64 (pow.f64 x 4) 1081/24 1))
(fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1)))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 1081/24 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 1081/24) 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
(.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x))) (cos.f64 x))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)) (cos.f64 x))
(.f64 (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cos.f64 x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/10)) x))
1
(+.f64 1 (*.f64 10 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) 10))
(fma.f64 (*.f64 x x) 10 1)
(fma.f64 x (*.f64 x 10) 1)
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (.f64 10 (pow.f64 x 2))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (.f64 (.f64 x x) 10)))
(fma.f64 (pow.f64 x 4) 50 (fma.f64 (*.f64 x x) 10 1))
(fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 4) 50 1))
(+.f64 (.f64 50 (pow.f64 x 4)) (+.f64 1 (+.f64 (.f64 500/3 (pow.f64 x 6)) (*.f64 10 (pow.f64 x 2)))))
(fma.f64 50 (pow.f64 x 4) (+.f64 1 (fma.f64 500/3 (pow.f64 x 6) (.f64 (.f64 x x) 10))))
(fma.f64 (pow.f64 x 4) 50 (+.f64 (fma.f64 (.f64 x x) 10 1) (.f64 (pow.f64 x 6) 500/3)))
(fma.f64 (pow.f64 x 4) 50 (fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 6) 500/3 1)))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 50) 10) (fma.f64 (pow.f64 x 6) 500/3 1))
(fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 4) 50 (fma.f64 (pow.f64 x 6) 500/3 1)))
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)
(sqrt.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 20) x)) x)))
(sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))
(sqrt.f64 (pow.f64 (exp.f64 20) (*.f64 x x)))
(pow.f64 (exp.f64 (/.f64 x 1/10)) x)

prune83.0ms (3.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	1	8	9
Picked	1	0	1
Done	1	1	2
Total	125	12	137

Error

0.1b

Counts

137 → 12

Alt Table

Status	Error	Program
	0.4b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) x) (.f64 x 1/2)))
	1.0b	(.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) (cbrt.f64 (pow.f64 (exp.f64 40) x)))) x))
	0.7b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
✓	3.2b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3) (pow.f64 (cos.f64 x) 3)))
	0.5b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 40) x)) x)))
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
	2.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x))))
	0.7b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) 3)) x)))
	1.2b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
	3.6b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
	0.9b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x))))

Compiler

Compiled 2006 to 1319 computations (34.2% saved)

regimes144.0ms (6.2%)

Accuracy

Total 0.3b remaining (75.3%)

Threshold costs 0.3b (75.3%)

Counts

100 → 1

Compiler

Compiled 1313 to 828 computations (36.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	12	17

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) x) (.f64 x 1/2)))

Outputs
(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) x) (.f64 x 1/2)))

end189.0ms (8.2%)

Stop Event

1×

fuel

Compiler

Compiled 200 to 153 computations (23.5% saved)

Details

analyze0.0ms (0%)

sample1.1s (46.5%)

preprocess43.0ms (1.9%)

simplify36.0ms (1.6%)

prune3.0ms (0.2%)

localize7.0ms (0.3%)

series5.0ms (0.2%)

rewrite41.0ms (1.8%)

simplify38.0ms (1.6%)

prune92.0ms (4%)

localize10.0ms (0.4%)

series4.0ms (0.2%)

rewrite44.0ms (1.9%)

simplify31.0ms (1.4%)

prune60.0ms (2.6%)

localize10.0ms (0.4%)

series26.0ms (1.1%)

rewrite48.0ms (2.1%)

simplify34.0ms (1.5%)

prune145.0ms (6.3%)

localize10.0ms (0.4%)

series38.0ms (1.7%)

rewrite46.0ms (2%)

simplify40.0ms (1.7%)

prune83.0ms (3.6%)

regimes144.0ms (6.2%)

simplify2.0ms (0.1%)

end189.0ms (8.2%)

Profiling