Details

analyze1.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 (25.5%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify70.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

726×	`fma-def_binary64`
558×	`associate-/l/_binary64`
413×	`pow-sqr_binary64`
387×	`sqr-pow_binary64`
328×	`unswap-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	24	14
3	47	14
4	105	14
5	241	14
6	587	14
7	927	14
8	2215	14
9	2467	14
10	2948	14
11	3783	14
12	4838	14
13	4850	14

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

3.6b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	3.6b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))

Compiler

Compiled 30 to 21 computations (30% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 10 (.f64 x x))
✓	0.3b	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
✓	3.4b	(exp.f64 (.f64 10 (.f64 x x)))

series9.0ms (0.2%)

Counts

3 → 36

Calls

3 calls:

4.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
2.0ms	(exp.f64 (.f64 10 (.f64 x x)))
2.0ms	(.f64 10 (.f64 x x))

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-exp-log_binary64`
6×	`associate-l_binary64`

Counts

3 → 53

Calls

3 calls:

4.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
4.0ms	(.f64 10 (.f64 x x))
1.0ms	(exp.f64 (.f64 10 (.f64 x x)))

simplify82.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

656×	`fma-def_binary64`
465×	`distribute-rgt-out_binary64`
380×	`*-commutative_binary64`
335×	`associate-l_binary64`
261×	`distribute-rgt-in_binary64`

Counts

89 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	100	1095
1	200	994
2	517	978
3	1269	978
4	2408	968
5	3982	968
6	5006	968

prune68.0ms (1.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	70	14	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	14	85

Error

2.1b

Counts

85 → 14

Alt Table

Status	Error	Program
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.0b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 30)))
	3.6b	(.f64 (.f64 (cos.f64 x) (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))))) (cbrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.0b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
	3.6b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (exp.f64 (.f64 10 (*.f64 x x)))))
	4.6b	(.f64 (cos.f64 x) (exp.f64 (.f64 (.f64 (sqrt.f64 10) x) (.f64 (sqrt.f64 10) x))))
	3.6b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (.f64 (exp.f64 (.f64 10 (.f64 x x))) (exp.f64 (.f64 10 (.f64 x x)))) (exp.f64 (.f64 10 (*.f64 x x))))))
	3.7b	(.f64 (cos.f64 x) (exp.f64 (.f64 (*.f64 10 x) x)))
	3.6b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.f64 (.f64 (exp.f64 (.f64 10 (.f64 x x))) (exp.f64 (.f64 10 (.f64 x x)))) (exp.f64 (.f64 10 (*.f64 x x))))))
	3.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x)))))) (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))))
	3.6b	(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 10 (*.f64 x x))) (cos.f64 x)) 3))
	3.6b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x)))) (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x))))) (.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))))
▶	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))
	3.6b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (exp.f64 (.f64 10 (*.f64 x x))))))

Compiler

Compiled 1779 to 1034 computations (41.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series68.0ms (1.5%)

Counts

4 → 48

Calls

4 calls:

27.0ms	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))
21.0ms	(.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (*.f64 x x)) 5))
17.0ms	(pow.f64 (exp.f64 (*.f64 x x)) 5)
2.0ms	(exp.f64 (*.f64 x x))

rewrite55.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`prod-exp_binary64`
28×	`add-sqr-sqrt_binary64`
27×	`add-exp-log_binary64`
21×	`unpow-prod-down_binary64`
15×	`*-un-lft-identity_binary64`

Counts

4 → 115

Calls

4 calls:

39.0ms	(.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (*.f64 x x)) 5))
6.0ms	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))
2.0ms	(pow.f64 (exp.f64 (*.f64 x x)) 5)
1.0ms	(exp.f64 (*.f64 x x))

simplify149.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

792×	`fma-def_binary64`
509×	`distribute-rgt-in_binary64`
409×	`unswap-sqr_binary64`
348×	`*-commutative_binary64`
274×	`sqr-pow_binary64`

Counts

163 → 177

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	171	2225
1	307	2040
2	950	2024
3	1840	2011
4	3436	1870
5	4760	1870
6	4963	1870
7	4886	1870

prune192.0ms (4.3%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	204	26	230
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	212	32	244

Error

0.9b

Counts

244 → 32

Alt Table

Status	Error	Program
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.0b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5))))
	3.6b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (.f64 (exp.f64 (.f64 10 (.f64 x x))) (exp.f64 (.f64 10 (.f64 x x)))) (exp.f64 (.f64 10 (*.f64 x x))))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5))))
▶	2.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	3.0b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (expm1.f64 (log1p.f64 (exp.f64 (.f64 x x)))) 5)))
	3.7b	(.f64 (cos.f64 x) (exp.f64 (.f64 (*.f64 10 x) x)))
	3.6b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (exp.f64 (.f64 10 (*.f64 x x)))))
	3.0b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 10) (cos.f64 x)) 3))
	3.6b	(.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	3.1b	(.f64 (cos.f64 x) (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	3.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (.f64 x x)))))) (cbrt.f64 (.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))))
	2.9b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) 3))))
	3.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 10) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 10)))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (sqrt.f64 (exp.f64 (.f64 x x))) (sqrt.f64 (exp.f64 (.f64 x x)))) 5)))
	3.7b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5)) (.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5)))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (exp.f64 (log.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 5) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5)) (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (exp.f64 (.f64 5 (*.f64 x x)))))
	3.1b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5)) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5)))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 4) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	3.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 (.f64 x x)) (sqrt.f64 5)) (sqrt.f64 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))) (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))) (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	4.9b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 (.f64 x x)) (*.f64 (cbrt.f64 5) (cbrt.f64 5))) (cbrt.f64 5))))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 x) (.f64 x 5))))
	3.6b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (exp.f64 (.f64 10 (*.f64 x x))))))

Compiler

Compiled 6507 to 3140 computations (51.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (exp.f64 x) x)
	1.0b	(exp.f64 (*.f64 x x))
	1.0b	(pow.f64 (exp.f64 (*.f64 x x)) 5)
✓	1.0b	(pow.f64 (pow.f64 (exp.f64 x) x) 5)

series21.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

18.0ms	(pow.f64 (pow.f64 (exp.f64 x) x) 5)
3.0ms	(pow.f64 (exp.f64 x) x)

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`unpow-prod-down_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow-unpow_binary64`

Counts

2 → 47

Calls

2 calls:

3.0ms	(pow.f64 (pow.f64 (exp.f64 x) x) 5)
2.0ms	(pow.f64 (exp.f64 x) x)

simplify87.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary64`
345×	`log-prod_binary64`
292×	`unswap-sqr_binary64`
269×	`associate-+l+_binary64`
267×	`distribute-rgt-in_binary64`

Counts

71 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	764
1	196	740
2	450	736
3	1181	734
4	4465	712
5	4905	712
6	5097	712

prune167.0ms (3.7%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	111	26	137
Fresh	18	13	31
Picked	1	0	1
Done	0	0	0
Total	130	39	169

Error

0.3b

Counts

169 → 39

Alt Table

Status	Error	Program
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 10)) (cbrt.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5))) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	4.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) 5)))
	3.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 5) (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) 5))))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (expm1.f64 (log1p.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.9b	(.f64 (cos.f64 x) (.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5))) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.0b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (*.f64 x x))) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (pow.f64 (exp.f64 x) x))) 5)))
	2.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) x))) 5)))
	3.0b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 10) (cos.f64 x)) 3))
	3.6b	(.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	2.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	3.1b	(.f64 (cos.f64 x) (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	2.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (expm1.f64 (log1p.f64 (exp.f64 (*.f64 x x)))) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (exp.f64 (log.f64 (pow.f64 (exp.f64 x) x))) 5)))
	2.4b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	3.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 5)) (sqrt.f64 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 10) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 10)))
▶	2.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (exp.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	3.7b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5)) (.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5))))
	2.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 x) (*.f64 5 x)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 5) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5)) (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 1) (.f64 x x)) 5)))
	2.8b	(.f64 (cos.f64 x) (.f64 (exp.f64 (.f64 (.f64 x x) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (pow.f64 x 3/2)) 5)))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5))))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 x) (.f64 x 5))))
	2.8b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 5) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 4) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	2.9b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) (cbrt.f64 (exp.f64 (*.f64 x x)))) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	2.9b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (sqrt.f64 x)) 5)))
	3.0b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))) (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))) (cbrt.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	2.2b	(.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) 3)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.6b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (exp.f64 (.f64 10 (*.f64 x x))))))
	2.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5))))
	3.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) 5)))

Compiler

Compiled 4823 to 2529 computations (47.6% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series50.0ms (1.1%)

Counts

2 → 24

Calls

2 calls:

26.0ms	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
23.0ms	(*.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5))

rewrite35.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`unpow-prod-down_binary64`
80×	`pow-exp_binary64`
76×	`prod-exp_binary64`
69×	`add-exp-log_binary64`
46×	`add-sqr-sqrt_binary64`

Counts

2 → 142

Calls

2 calls:

9.0ms	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
9.0ms	(*.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5))

simplify190.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

573×	`unswap-sqr_binary64`
511×	`associate-+l+_binary64`
483×	`fma-def_binary64`
409×	`*-commutative_binary64`
397×	`associate-+r+_binary64`

Counts

166 → 179

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	193	2927
1	306	2674
2	1042	2606
3	1645	2593
4	3952	2563
5	4395	2563
6	4832	2563
7	4987	2563
8	4897	2563

prune313.0ms (7%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	327	20	347
Fresh	14	24	38
Picked	1	0	1
Done	0	0	0
Total	342	44	386

Error

0.2b

Counts

386 → 44

Alt Table

Status	Error	Program
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 10)) (cbrt.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5))) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 5) (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) 5))))
	2.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 x) x))) 5)))
	2.2b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5))))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (expm1.f64 (log1p.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.2b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5))))
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	3.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) 5)))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5))))
	2.4b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5)) (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5))))
	3.0b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5))))) (cbrt.f64 (.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))))
	2.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5) (*.f64 (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5))))
	2.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (*.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) (pow.f64 (exp.f64 x) (/.f64 x 2))) 5)))
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (sqrt.f64 (exp.f64 (*.f64 x x))) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.0b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 x x)) 10) (cos.f64 x)) 3))
	3.6b	(.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) (pow.f64 (sqrt.f64 (exp.f64 x)) x)) 5)))
	2.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (cbrt.f64 (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.8b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (expm1.f64 (log1p.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.4b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.2b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	3.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 5) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) 5))))
	3.7b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 5)) (.f64 (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 5))))
	2.5b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 x) (*.f64 5 x)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	2.8b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 5)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 5)))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 5) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 1) (.f64 x x)) 5)))
	2.4b	(.f64 (cos.f64 x) (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5))) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))) (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5)))))
	2.8b	(.f64 (cos.f64 x) (.f64 (exp.f64 (.f64 (.f64 x x) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5)))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (*.f64 x x)) 5) (pow.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (pow.f64 x 3/2)) 5)))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 x) x)) 5))))
	2.1b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (exp.f64 x) x)) 5))
	2.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 x) (.f64 x 5))))
	2.8b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (cbrt.f64 (pow.f64 (exp.f64 x) x))) 5) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) 5))))
	2.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 5) (pow.f64 (pow.f64 (exp.f64 (pow.f64 x 3/2)) (sqrt.f64 x)) 5)))
	4.4b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 5) (pow.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) 5)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) 5) (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) x) 5))))
	3.0b	(.f64 (cos.f64 x) (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 5)) 4) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 10))))
	3.6b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (cbrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (cbrt.f64 (exp.f64 (.f64 10 (*.f64 x x))))))
	2.6b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 x)) x) 5))))
	2.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 x) x) 5)) (pow.f64 (pow.f64 (exp.f64 x) x) 5))
	2.3b	(.f64 (cos.f64 x) (.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5) (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5)) (.f64 (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5) (pow.f64 (pow.f64 (exp.f64 x) (/.f64 x 2)) 5))))
	3.7b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 x x))) (cbrt.f64 (exp.f64 (.f64 x x)))) 10) (pow.f64 (cbrt.f64 (exp.f64 (.f64 x x))) 10)))

Compiler

Compiled 8828 to 4071 computations (53.9% saved)

regimes864.0ms (19.2%)

Accuracy

Total 1.8b remaining (84.9%)

Threshold costs 0b (0%)

Counts

296 → 1

Compiler

Compiled 13246 to 8275 computations (37.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	17	42
2	17	42

end877.0ms (19.4%)

Compiler: Compiled 1257 to 748 computations (40.5% saved)

Details

analyze1.0ms (0%)

sample1.1s (25.5%)

simplify70.0ms (1.6%)

prune2.0ms (0%)

localize7.0ms (0.2%)

series9.0ms (0.2%)

rewrite16.0ms (0.3%)

simplify82.0ms (1.8%)

prune68.0ms (1.5%)

localize8.0ms (0.2%)

series68.0ms (1.5%)

rewrite55.0ms (1.2%)

simplify149.0ms (3.3%)

prune192.0ms (4.3%)

localize13.0ms (0.3%)

series21.0ms (0.5%)

rewrite7.0ms (0.1%)

simplify87.0ms (1.9%)

prune167.0ms (3.7%)

localize9.0ms (0.2%)

series50.0ms (1.1%)

rewrite35.0ms (0.8%)

simplify190.0ms (4.2%)

prune313.0ms (7%)

regimes864.0ms (19.2%)

simplify2.0ms (0.1%)

end877.0ms (19.4%)

Profiling