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.0s (45.9%)

Results

1.0s

8256×

body

128

valid

preprocess51.0ms (2.3%)

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))

eval1.0ms (0%)

Compiler: Compiled 19 to 12 computations (36.8% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.7b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 40 to 28 computations (30% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	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.7b	(exp.f64 (*.f64 x 10))

series5.0ms (0.2%)

Counts

4 → 40

Calls

12 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))
0.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))

rewrite44.0ms (2%)

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	32
1	161	32
2	1886	32

Stop Event

1×	node limit

Counts

4 → 71

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

simplify44.0ms (2%)

Algorithm

1×	egg-herbie

Rules

435×	`*-commutative_binary64`
416×	`times-frac_binary64`
410×	`distribute-lft-out_binary64`
256×	`fma-def_binary64`
226×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	57	429
1	138	419
2	348	411
3	1122	411
4	1921	411
5	3223	411
6	4289	411

Stop Event

1×	node limit

Counts

111 → 101

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(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 (*.f64 10 (pow.f64 x 2)) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(.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))
1
(+.f64 1 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 1/24 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (*.f64 -1/720 (pow.f64 x 6)))))

Outputs
1
(+.f64 1 (*.f64 10 x))
(fma.f64 10 x 1)
(+.f64 1 (+.f64 (.f64 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 1 (fma.f64 10 x (.f64 50 (.f64 x x))))
(+.f64 (fma.f64 10 x 1) (.f64 x (.f64 x 50)))
(fma.f64 10 x (fma.f64 x (*.f64 x 50) 1))
(+.f64 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(fma.f64 500/3 (pow.f64 x 3) (+.f64 1 (fma.f64 10 x (.f64 50 (.f64 x x)))))
(+.f64 (fma.f64 10 x (.f64 x (.f64 x 50))) (fma.f64 500/3 (pow.f64 x 3) 1))
(fma.f64 500/3 (pow.f64 x 3) (fma.f64 10 x (fma.f64 x (*.f64 x 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 (*.f64 10 (pow.f64 x 2)) 1)
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(fma.f64 10 (.f64 x x) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) 1))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (+.f64 1 (.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (fma.f64 50 (pow.f64 x 4) 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 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(pow.f64 (exp.f64 10) (*.f64 x x))
(exp.f64 (*.f64 10 (pow.f64 x 2)))
(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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (.f64 (.f64 x x) 19/2)))
(+.f64 1 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 4) 1081/24)))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (fma.f64 19/2 (.f64 x x) (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 x (.f64 x 19/2) (fma.f64 (pow.f64 x 6) 102299/720 (.f64 (pow.f64 x 4) 1081/24))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 x (.f64 x 19/2) (.f64 (pow.f64 x 6) 102299/720))))
(.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 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 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 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 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 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 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 (exp.f64 (.f64 10 (pow.f64 x 2))) (cos.f64 x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
1
(+.f64 1 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 1 (.f64 (.f64 x x) -1/2))
(fma.f64 (*.f64 x x) -1/2 1)
(fma.f64 x (*.f64 x -1/2) 1)
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 1/24 (pow.f64 x 4))))
(+.f64 1 (fma.f64 -1/2 (.f64 x x) (.f64 (pow.f64 x 4) 1/24)))
(+.f64 1 (fma.f64 (.f64 x x) -1/2 (.f64 (pow.f64 x 4) 1/24)))
(fma.f64 x (*.f64 x -1/2) (fma.f64 (pow.f64 x 4) 1/24 1))
(fma.f64 (pow.f64 x 4) 1/24 (fma.f64 x (*.f64 x -1/2) 1))
(+.f64 1 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (*.f64 -1/720 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 -1/2 (.f64 x x) (fma.f64 1/24 (pow.f64 x 4) (.f64 (pow.f64 x 6) -1/720))))
(+.f64 1 (fma.f64 (.f64 x x) -1/2 (fma.f64 (pow.f64 x 4) 1/24 (.f64 (pow.f64 x 6) -1/720))))
(+.f64 1 (fma.f64 x (.f64 x -1/2) (fma.f64 (pow.f64 x 6) -1/720 (.f64 (pow.f64 x 4) 1/24))))
(+.f64 (fma.f64 x (.f64 x -1/2) 1) (fma.f64 (pow.f64 x 6) -1/720 (.f64 (pow.f64 x 4) 1/24)))
(+.f64 (fma.f64 x (.f64 x -1/2) 1) (fma.f64 (pow.f64 x 4) 1/24 (.f64 (pow.f64 x 6) -1/720)))

eval31.0ms (1.4%)

Compiler: Compiled 1305 to 836 computations (35.9% saved)

prune57.0ms (2.6%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	81	20	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	82	21	103

Error

0.6b

Counts

103 → 21

Alt Table

Click to see full alt table

Status	Error	Program
	3.5b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x (*.f64 x 10))) 3)))
	2.1b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.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)))
	3.2b	(.f64 (log1p.f64 (expm1.f64 (cos.f64 x))) (pow.f64 (exp.f64 (.f64 x 10)) x))
	2.1b	(.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.6b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 1) (.f64 x 10)) x))
	3.6b	(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
	2.0b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) 2) x))
	3.5b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
	3.3b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (exp.f64 (.f64 x 10)) x))
	2.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)) (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10))))))
	2.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) 3) x))
	3.3b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (pow.f64 (exp.f64 (.f64 x 10)) x))
	3.0b	(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
	3.4b	(*.f64 (cos.f64 x) (pow.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) 10))) x))
	2.0b	(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) (cbrt.f64 (pow.f64 (exp.f64 x) 20))) x))
	3.6b	(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x)) 3))
	2.0b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))
	4.4b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 x 10))) (sqrt.f64 (*.f64 x 10))) x))
▶	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.3b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (exp.f64 (.f64 x 10)) x))

Compiler

Compiled 564 to 416 computations (26.2% saved)

localize10.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 x)
✓	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)

series5.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))
1.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)

rewrite41.0ms (1.8%)

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 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 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 -.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 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 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 -.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 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))))) (#(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))))))))

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 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 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 -.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 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 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 -.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 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))))) (#(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))))))))

simplify33.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-def_binary64`
576×	`associate-l_binary64`
559×	`distribute-rgt-out_binary64`
487×	`unswap-sqr_binary64`
375×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	49	377
1	121	369
2	292	363
3	913	355
4	3825	355

Stop Event

1×	node limit

Counts

89 → 77

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(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 (*.f64 10 (pow.f64 x 2)) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) x)))

Outputs
1
(+.f64 1 (*.f64 10 x))
(fma.f64 10 x 1)
(+.f64 1 (+.f64 (.f64 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 1 (fma.f64 10 x (.f64 50 (.f64 x 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 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(fma.f64 500/3 (pow.f64 x 3) (+.f64 1 (fma.f64 10 x (.f64 50 (.f64 x x)))))
(+.f64 (fma.f64 10 x (.f64 x (.f64 x 50))) (fma.f64 500/3 (pow.f64 x 3) 1))
(fma.f64 500/3 (pow.f64 x 3) (fma.f64 10 x (fma.f64 50 (*.f64 x x) 1)))
(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 (*.f64 10 (pow.f64 x 2)) 1)
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (fma.f64 10 (.f64 x x) 1) (.f64 50 (pow.f64 x 4)))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) 1))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (+.f64 1 (.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (fma.f64 50 (pow.f64 x 4) 1)))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 50) 10) (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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (.f64 (.f64 x x) 19/2)))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (.f64 x (.f64 x 19/2))))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (fma.f64 19/2 (.f64 x x) (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 (.f64 x (.f64 x 19/2)))))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 1081/24 19/2) (fma.f64 (pow.f64 x 6) 102299/720 1))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 10) x)) 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))

eval33.0ms (1.5%)

Compiler: Compiled 1325 to 835 computations (37% saved)

prune55.0ms (2.5%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	87	14	101
Fresh	13	7	20
Picked	0	1	1
Done	0	0	0
Total	100	22	122

Error

0.1b

Counts

122 → 22

Alt Table

Click to see full alt table

Status	Error	Program
	2.1b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) 3)) x))
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.0b	(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
	2.0b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))
	1.2b	(.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)))
	1.2b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	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.1b	(.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.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (exp.f64 20)) (.f64 x x)) (pow.f64 (cbrt.f64 (exp.f64 10)) (.f64 x x))))
▶	0.5b	(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	3.3b	(.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (exp.f64 (.f64 x 10)) 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.4b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)) (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10))))))
	1.2b	(*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (pow.f64 (pow.f64 (exp.f64 10) x) x))
✓	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.4b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.4b	(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x))
	3.3b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (exp.f64 (.f64 x 10)) x))
	3.5b	(.f64 (cos.f64 x) (exp.f64 (.f64 x (*.f64 10 x))))
	1.2b	(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.3b	(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (pow.f64 (exp.f64 (.f64 x 10)) x))
	3.0b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x)))))

Compiler

Compiled 640 to 471 computations (26.4% saved)

localize10.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 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)

series6.0ms (0.3%)

Counts

3 → 36

Calls

9 calls:

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

rewrite46.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	35
1	183	35
2	2117	35

Stop Event

1×	node limit

Counts

3 → 64

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))

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 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 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 -.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 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 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 -.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 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 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))))))))

simplify46.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

798×	`fma-def_binary64`
566×	`associate-l_binary64`
515×	`distribute-rgt-out_binary64`
487×	`unswap-sqr_binary64`
379×	`associate-r_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	425
1	124	417
2	291	411
3	890	403
4	3514	355

Stop Event

1×	node limit

Counts

100 → 89

Calls

Call 1

Inputs
1
(+.f64 (*.f64 10 (pow.f64 x 2)) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
1
(+.f64 1 (*.f64 19/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x)))
1
(+.f64 1 (*.f64 10 x))
(+.f64 1 (+.f64 (.f64 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(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)))

Outputs
1
(+.f64 (*.f64 10 (pow.f64 x 2)) 1)
(fma.f64 10 (*.f64 x x) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (fma.f64 10 (.f64 x x) 1) (.f64 50 (pow.f64 x 4)))
(fma.f64 10 (*.f64 x x) (fma.f64 50 (pow.f64 x 4) 1))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (+.f64 1 (.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (*.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (fma.f64 50 (pow.f64 x 4) 1)))
(fma.f64 500/3 (pow.f64 x 6) (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) (fma.f64 500/3 (pow.f64 x 6) 1))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) x))
(pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x)
(pow.f64 (pow.f64 (exp.f64 x) 10) 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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (.f64 (.f64 x x) 19/2)))
(+.f64 (.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))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (fma.f64 19/2 (.f64 x x) (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 6) 102299/720 (fma.f64 x (.f64 x 19/2) (.f64 (pow.f64 x 4) 1081/24))))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 1)))
(.f64 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 (cos.f64 x) (exp.f64 (.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x))) 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 10 x) (.f64 50 (pow.f64 x 2))))
(+.f64 1 (fma.f64 10 x (.f64 (.f64 x x) 50)))
(+.f64 1 (fma.f64 10 x (.f64 x (.f64 x 50))))
(fma.f64 10 x (fma.f64 x (*.f64 x 50) 1))
(fma.f64 x (fma.f64 x 50 10) 1)
(+.f64 (.f64 500/3 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 10 x) (*.f64 50 (pow.f64 x 2)))))
(fma.f64 500/3 (pow.f64 x 3) (+.f64 1 (fma.f64 10 x (.f64 (.f64 x x) 50))))
(+.f64 (fma.f64 10 x (.f64 x (.f64 x 50))) (fma.f64 500/3 (pow.f64 x 3) 1))
(fma.f64 500/3 (pow.f64 x 3) (fma.f64 10 x (fma.f64 x (*.f64 x 50) 1)))
(fma.f64 x (fma.f64 x 50 10) (fma.f64 500/3 (pow.f64 x 3) 1))
(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)

eval44.0ms (2%)

Compiler: Compiled 1571 to 1074 computations (31.6% saved)

prune130.0ms (5.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	101	12	113
Fresh	17	3	20
Picked	1	0	1
Done	1	0	1
Total	120	15	135

Error

0.0b

Counts

135 → 15

Alt Table

Click to see full alt table

Status	Error	Program
	0.5b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) (.f64 x 1/2)) x))
▶	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
	0.9b	(.f64 (cos.f64 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))))
	1.2b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.2b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
	0.7b	(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	1.2b	(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
	0.7b	(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
	0.6b	(.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.8b	(.f64 (cos.f64 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))))
	0.9b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) 3/2)) x))
	0.6b	(*.f64 (expm1.f64 (log1p.f64 (cos.f64 x))) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))

Compiler

Compiled 448 to 346 computations (22.8% saved)

localize10.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cos.f64 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)

series4.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
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)
0.0ms	x	@	-inf	(pow.f64 (pow.f64 (exp.f64 20) x) x)

rewrite87.0ms (3.9%)

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 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 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 -.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 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 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 -.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 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))))) (#(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)))))))))

simplify33.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

596×	`fma-def_binary64`
468×	`distribute-rgt-out_binary64`
464×	`*-commutative_binary64`
422×	`associate-l_binary64`
408×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	154
1	105	146
2	253	142
3	776	138
4	2700	138
5	4774	138

Stop Event

1×	node limit

Counts

84 → 91

Calls

Call 1

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

Outputs
1
(+.f64 1 (*.f64 20 (pow.f64 x 2)))
(+.f64 1 (.f64 20 (.f64 x x)))
(fma.f64 20 (*.f64 x x) 1)
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 4)) (.f64 20 (pow.f64 x 2))))
(+.f64 1 (fma.f64 200 (pow.f64 x 4) (.f64 20 (.f64 x x))))
(+.f64 1 (fma.f64 20 (.f64 x x) (.f64 200 (pow.f64 x 4))))
(fma.f64 20 (*.f64 x x) (fma.f64 200 (pow.f64 x 4) 1))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 200 20) 1)
(+.f64 1 (+.f64 (.f64 200 (pow.f64 x 4)) (+.f64 (.f64 20 (pow.f64 x 2)) (*.f64 4000/3 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 200 (pow.f64 x 4) (fma.f64 20 (.f64 x x) (.f64 4000/3 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 20 (.f64 x x) (fma.f64 200 (pow.f64 x 4) (.f64 4000/3 (pow.f64 x 6)))))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) 200 20) (fma.f64 4000/3 (pow.f64 x 6) 1))
(fma.f64 20 (*.f64 x x) (fma.f64 200 (pow.f64 x 4) (fma.f64 4000/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 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (.f64 19/2 (pow.f64 x 2))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (.f64 (.f64 x x) 19/2)))
(+.f64 1 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 4) 1081/24)))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 1))
(+.f64 1 (+.f64 (.f64 1081/24 (pow.f64 x 4)) (+.f64 (.f64 19/2 (pow.f64 x 2)) (*.f64 102299/720 (pow.f64 x 6)))))
(+.f64 1 (fma.f64 1081/24 (pow.f64 x 4) (fma.f64 19/2 (.f64 x x) (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (.f64 x x) 19/2 (.f64 (pow.f64 x 6) 102299/720))))
(+.f64 1 (fma.f64 x (.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 (.f64 (pow.f64 x 6) 102299/720))))
(fma.f64 x (*.f64 x 19/2) (fma.f64 (pow.f64 x 4) 1081/24 (fma.f64 (pow.f64 x 6) 102299/720 1)))
1
(+.f64 (*.f64 10 (pow.f64 x 2)) 1)
(fma.f64 10 (*.f64 x x) 1)
(fma.f64 (*.f64 x x) 10 1)
(fma.f64 x (*.f64 x 10) 1)
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 1 (.f64 50 (pow.f64 x 4))))
(+.f64 (fma.f64 10 (.f64 x x) 1) (.f64 (pow.f64 x 4) 50))
(fma.f64 (*.f64 x x) 10 (fma.f64 (pow.f64 x 4) 50 1))
(fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 4) 50 1))
(+.f64 (.f64 10 (pow.f64 x 2)) (+.f64 (.f64 500/3 (pow.f64 x 6)) (+.f64 1 (*.f64 50 (pow.f64 x 4)))))
(fma.f64 10 (.f64 x x) (fma.f64 500/3 (pow.f64 x 6) (+.f64 1 (.f64 (pow.f64 x 4) 50))))
(fma.f64 (*.f64 x x) 10 (fma.f64 (pow.f64 x 6) 500/3 (fma.f64 (pow.f64 x 4) 50 1)))
(fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 6) 500/3 (fma.f64 (pow.f64 x 4) 50 1)))
(fma.f64 x (*.f64 x 10) (fma.f64 (pow.f64 x 4) 50 (fma.f64 (pow.f64 x 6) 500/3 1)))
(fma.f64 (*.f64 x x) 10 (fma.f64 (pow.f64 x 4) 50 (fma.f64 (pow.f64 x 6) 500/3 1)))

eval56.0ms (2.5%)

Compiler: Compiled 1692 to 1089 computations (35.6% saved)

prune107.0ms (4.8%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	5	9	14
Picked	0	1	1
Done	0	0	0
Total	116	14	130

Error

0.0b

Counts

130 → 14

Alt Table

Click to see full alt table

Status	Error	Program
	0.5b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) (.f64 x 1/2)) x))
✓	0.4b	(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	1.3b	(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.6b	(.f64 (cos.f64 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))))
	0.7b	(cbrt.f64 (*.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
	0.9b	(.f64 (cos.f64 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))))
	1.2b	(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	0.7b	(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	1.2b	(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	1.2b	(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
	0.7b	(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
	0.6b	(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
	0.8b	(.f64 (cos.f64 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))))
	0.5b	(*.f64 (expm1.f64 (log1p.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))

Compiler

Compiled 213 to 165 computations (22.5% saved)

regimes141.0ms (6.4%)

Accuracy

Total -4.6b remaining (-1155%)

Threshold costs -4.6b (-1155%)

Counts

52 → 1

Calls

Call 1

Inputs
(.f64 (cos.f64 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))))
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
(*.f64 (expm1.f64 (log1p.f64 (cos.f64 x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 20) (.f64 x 1/2)) x))
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) x)))
(cbrt.f64 (*.f64 (pow.f64 (cos.f64 x) 3) (pow.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) 3)))
(.f64 (cos.f64 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))))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x))) 3)
(*.f64 (log.f64 (exp.f64 (cos.f64 x))) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x) (cos.f64 x)) 3))
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
(.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))))
(.f64 (cos.f64 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))))
(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 20) x) 3/2)) x))
(*.f64 (expm1.f64 (log1p.f64 (cos.f64 x))) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
(*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))))
(.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)))
(*.f64 (log.f64 (+.f64 1 (expm1.f64 (cos.f64 x)))) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.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)))
(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (exp.f64 20)) (.f64 x x)) (pow.f64 (cbrt.f64 (exp.f64 10)) (.f64 x x))))
(*.f64 (cos.f64 x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 20) x)) x))
(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))
(*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x))
(.f64 (cos.f64 x) (exp.f64 (.f64 x (*.f64 10 x))))
(*.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (exp.f64 20) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x)))))
(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x (*.f64 x 10))) 3)))
(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 10) 3)) x))
(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) x) (pow.f64 (pow.f64 (exp.f64 x) 5) x)))
(.f64 (log1p.f64 (expm1.f64 (cos.f64 x))) (pow.f64 (exp.f64 (.f64 x 10)) x))
(.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)))
(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 1) (.f64 x 10)) x))
(pow.f64 (cbrt.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x))) 3)
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) 5) 2) x))
(.f64 (cbrt.f64 (pow.f64 (cos.f64 x) 3)) (pow.f64 (exp.f64 (.f64 x 10)) x))
(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)) (cbrt.f64 (exp.f64 (.f64 x (.f64 x 10))))))
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) 3) x))
(.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 x))) 1) (pow.f64 (exp.f64 (.f64 x 10)) x))
(.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (cos.f64 x))
(*.f64 (cos.f64 x) (pow.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) 10))) x))
(.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 10)) (cbrt.f64 (pow.f64 (exp.f64 x) 20))) x))
(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 x (*.f64 x 10))) (cos.f64 x)) 3))
(*.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 20) x)))
(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 x 10))) (sqrt.f64 (*.f64 x 10))) x))
(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 3) (pow.f64 (exp.f64 (.f64 x 10)) x))
(.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x 10)) x))
(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))

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

Results

Time	Error	Segments	Branch
27.0ms	0.4b	1	`x`
92.0ms	0.4b	1	`(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))`

Compiler

Compiled 713 to 446 computations (37.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	10	16

Stop Event

1×

saturated

Calls

Call 1

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

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

end23.0ms (1%)

Stop Event

1×

fuel

Compiler

Compiled 22 to 16 computations (27.3% saved)

Details

analyze0.0ms (0%)

sample1.0s (45.9%)

preprocess51.0ms (2.3%)

simplify36.0ms (1.6%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize8.0ms (0.4%)

series5.0ms (0.2%)

rewrite44.0ms (2%)

simplify44.0ms (2%)

eval31.0ms (1.4%)

prune57.0ms (2.6%)

localize10.0ms (0.5%)

series5.0ms (0.2%)

rewrite41.0ms (1.8%)

simplify33.0ms (1.5%)

eval33.0ms (1.5%)

prune55.0ms (2.5%)

localize10.0ms (0.5%)

series6.0ms (0.3%)

rewrite46.0ms (2.1%)

simplify46.0ms (2.1%)

eval44.0ms (2%)

prune130.0ms (5.9%)

localize10.0ms (0.5%)

series4.0ms (0.2%)

rewrite87.0ms (3.9%)

simplify33.0ms (1.5%)

eval56.0ms (2.5%)

prune107.0ms (4.8%)

regimes141.0ms (6.4%)

simplify3.0ms (0.1%)

end23.0ms (1%)

Profiling