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 (33%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify70.0ms (2%)

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

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

Counts

2 → 1

Alt Table

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

Compiler

Compiled 30 to 21 computations (30% saved)

localize6.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.3b	(exp.f64 (.f64 10 (.f64 x x)))

series11.0ms (0.3%)

Counts

3 → 36

Calls

3 calls:

6.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
3.0ms	(.f64 10 (.f64 x x))
2.0ms	(exp.f64 (.f64 10 (.f64 x x)))

rewrite13.0ms (0.4%)

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:

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

simplify74.0ms (2.1%)

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

prune59.0ms (1.7%)

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.7b	(.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))))))
	3.7b	(.f64 (.f64 (cos.f64 x) (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x)))))
	3.7b	(.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.2b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 30)))
	3.7b	(.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.1b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
	4.1b	(.f64 (cos.f64 x) (exp.f64 (cbrt.f64 (.f64 (pow.f64 x 6) 1000))))
	3.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 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))))))
	4.7b	(.f64 (cos.f64 x) (exp.f64 (expm1.f64 (log1p.f64 (.f64 10 (*.f64 x x))))))
	3.7b	(.f64 (cos.f64 x) (exp.f64 (.f64 (*.f64 10 x) x)))
	3.7b	(.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.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))

Compiler

Compiled 1723 to 1006 computations (41.6% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.3%)

Counts

2 → 24

Calls

2 calls:

5.0ms	(.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))
4.0ms	(pow.f64 (exp.f64 10) (*.f64 x x))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`
7×	`unpow-prod-down_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 47

Calls

2 calls:

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

simplify84.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

619×	`fma-def_binary64`
459×	`*-commutative_binary64`
363×	`exp-prod_binary64`
341×	`associate-l_binary64`
333×	`associate-/l/_binary64`

Counts

71 → 88

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	95	1062
1	195	993
2	528	989
3	1494	986
4	2998	966
5	4614	966
6	4905	966

prune73.0ms (2.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	76	12	88
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	83	19	102

Error

0.9b

Counts

102 → 19

Alt Table

Status	Error	Program
	3.7b	(.f64 (.f64 (cos.f64 x) (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x))))) (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x)))))
	3.7b	(.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.2b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 30)))
	3.2b	(.f64 (.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))
	3.7b	(.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.1b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x))) (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))) (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))))
	3.3b	(.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 (pow.f64 (exp.f64 10) (.f64 x x))))
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (exp.f64 10)) (cbrt.f64 (exp.f64 10))) (.f64 x x))) (pow.f64 (cbrt.f64 (exp.f64 10)) (*.f64 x x)))
	3.2b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (exp.f64 10) (.f64 x x))))
	3.2b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x))))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))))
	3.7b	(.f64 (cos.f64 x) (exp.f64 (.f64 (*.f64 10 x) x)))
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	4.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (sqrt.f64 10)) (.f64 (sqrt.f64 10) (*.f64 x x))))
▶	1.4b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
	3.1b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (.f64 (pow.f64 (exp.f64 10) (.f64 x x)) (pow.f64 (exp.f64 10) (.f64 x x))) (pow.f64 (exp.f64 10) (.f64 x x)))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) (.f64 x x)) (pow.f64 (sqrt.f64 (exp.f64 10)) (.f64 x x))))
	3.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 10)) (cbrt.f64 (exp.f64 10))) (.f64 x x)) (pow.f64 (cbrt.f64 (exp.f64 10)) (*.f64 x x))))
	3.6b	(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 10 (*.f64 x x))) (cos.f64 x)) 3))
	3.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))

Compiler

Compiled 2096 to 1238 computations (40.9% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series17.0ms (0.5%)

Counts

3 → 36

Calls

3 calls:

8.0ms	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
5.0ms	(pow.f64 (exp.f64 10) x)
4.0ms	(pow.f64 (pow.f64 (exp.f64 10) x) x)

rewrite14.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`unpow-prod-down_binary64`
21×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
11×	`associate-r_binary64`

Counts

3 → 82

Calls

3 calls:

6.0ms	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
2.0ms	(pow.f64 (pow.f64 (exp.f64 10) x) x)
2.0ms	(pow.f64 (exp.f64 10) x)

simplify109.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

550×	`unswap-sqr_binary64`
478×	`associate-l_binary64`
405×	`associate-r_binary64`
293×	`log-prod_binary64`
286×	`associate-+l+_binary64`

Counts

118 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	1614
1	286	1531
2	793	1524
3	2190	1489
4	4486	1489
5	4922	1489
6	5052	1489

prune129.0ms (3.7%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	120	23	143
Fresh	12	6	18
Picked	1	0	1
Done	0	0	0
Total	133	29	162

Error

0.1b

Counts

162 → 29

Alt Table

Status	Error	Program
	1.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x)) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x))
	1.4b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	3.2b	(.f64 (.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))
	4.2b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (.f64 10 x)) (sqrt.f64 x)) (sqrt.f64 x)))
	1.4b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (*.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	3.9b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) (sqrt.f64 x)) (sqrt.f64 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))
	1.4b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	3.2b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x))))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (.f64 x x)))))
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (exp.f64 10)) (cbrt.f64 (exp.f64 10))) (.f64 x x))) (pow.f64 (cbrt.f64 (exp.f64 10)) (*.f64 x x)))
	5.6b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) x) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)))
	3.3b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x)) 3))
	1.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	2.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	1.7b	(.f64 (.f64 (cos.f64 x) (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	1.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x)))
	2.3b	(.f64 (cos.f64 x) (pow.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x))
	3.6b	(cbrt.f64 (pow.f64 (.f64 (exp.f64 (.f64 10 (*.f64 x x))) (cos.f64 x)) 3))
	3.0b	(.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 x))) (cbrt.f64 (exp.f64 (*.f64 10 x)))) x)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x))
	3.4b	(.f64 (cos.f64 x) (.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (.f64 10 x)) x)) (cbrt.f64 (pow.f64 (exp.f64 (.f64 10 x)) x))) (cbrt.f64 (pow.f64 (exp.f64 (.f64 10 x)) x))))
	3.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	2.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x))
	1.7b	(.f64 (cos.f64 x) (.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	1.4b	(.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (exp.f64 10) x) (pow.f64 (exp.f64 10) x)) (pow.f64 (exp.f64 10) x))) x))
	1.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x)))) (cbrt.f64 (*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	1.4b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))) (*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	2.9b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/5)) x)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x))
	2.2b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 30)))

Compiler

Compiled 3447 to 2273 computations (34.1% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series48.0ms (1.4%)

Counts

4 → 48

Calls

4 calls:

22.0ms	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))
15.0ms	(pow.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)
7.0ms	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x))
3.0ms	(pow.f64 (sqrt.f64 (exp.f64 10)) x)

rewrite37.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`add-exp-log_binary64`
55×	`add-sqr-sqrt_binary64`
53×	`unpow-prod-down_binary64`
39×	`pow-exp_binary64`
39×	`prod-exp_binary64`

Counts

4 → 164

Calls

4 calls:

8.0ms	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))
7.0ms	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x))
6.0ms	(pow.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)
3.0ms	(pow.f64 (sqrt.f64 (exp.f64 10)) x)

simplify139.0ms (4%)

Algorithm

1×	egg-herbie

Rules

735×	`fma-def_binary64`
493×	`fma-neg_binary64`
432×	`associate-+l+_binary64`
280×	`unswap-sqr_binary64`
274×	`associate-+r+_binary64`

Counts

212 → 218

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	224	4100
1	468	3860
2	1590	3258
3	4616	3254
4	5016	3254

prune258.0ms (7.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	246	11	257
Fresh	11	17	28
Picked	1	0	1
Done	0	0	0
Total	258	28	286

Error

0.1b

Counts

286 → 28

Alt Table

Status	Error	Program
	1.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x)) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) x))
	1.4b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))))
	1.9b	(.f64 (cos.f64 x) (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x))) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)))) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)))) x))
	3.1b	(.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (exp.f64 10)) (cbrt.f64 (exp.f64 10))) (.f64 x x))) (pow.f64 (cbrt.f64 (exp.f64 10)) (*.f64 x x)))
	1.4b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	1.2b	(cbrt.f64 (.f64 (.f64 (.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 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) 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))))
	1.6b	(.f64 (cos.f64 x) (pow.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 10))) (cbrt.f64 (sqrt.f64 (exp.f64 10)))) x)) (pow.f64 (cbrt.f64 (sqrt.f64 (exp.f64 10))) x)) x))
	1.3b	(.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x))) (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)))) x))
	1.6b	(.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))) (cbrt.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x)))) (cbrt.f64 (*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	3.3b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x)) 3))
	1.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x)))
	1.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) (/.f64 x 2)) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) (/.f64 x 2))))
	1.4b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x)) (.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))) (*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))))
	1.1b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (.f64 2 x)))
	1.7b	(.f64 (.f64 (cos.f64 x) (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	1.1b	(.f64 (cos.f64 x) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))))
	2.9b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (/.f64 x 1/5)) x)) (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 10) x)) x))
	3.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	2.2b	(.f64 (.f64 (cos.f64 x) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) (cbrt.f64 (pow.f64 (exp.f64 10) x))) x)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x))
	1.4b	(.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (.f64 (*.f64 (pow.f64 (exp.f64 10) x) (pow.f64 (exp.f64 10) x)) (pow.f64 (exp.f64 10) x))) x))
	3.2b	(.f64 (.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))) (cbrt.f64 (pow.f64 (exp.f64 10) (.f64 x x))))
	1.4b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (*.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	3.1b	(.f64 (cos.f64 x) (pow.f64 (.f64 (sqrt.f64 (exp.f64 10)) (sqrt.f64 (exp.f64 10))) (*.f64 x x)))
	1.9b	(.f64 (cos.f64 x) (pow.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x)) (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x))) (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x)) (pow.f64 (sqrt.f64 (exp.f64 10)) x))) x))
	1.0b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) (+.f64 x x)) x))
	3.0b	(.f64 (.f64 (cos.f64 x) (pow.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 10 x))) (cbrt.f64 (exp.f64 (*.f64 10 x)))) x)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 10) x)) x))
	2.2b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 30)))

Compiler

Compiled 6655 to 4872 computations (26.8% saved)

regimes559.0ms (16.1%)

Accuracy

Total 0.6b remaining (83.5%)

Threshold costs 0.6b (83.5%)

Counts

217 → 1

Compiler

Compiled 8894 to 6611 computations (25.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	27
1	15	27
2	15	27

end579.0ms (16.6%)

Compiler: Compiled 797 to 592 computations (25.7% saved)

Details

analyze1.0ms (0%)

sample1.1s (33%)

simplify70.0ms (2%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

series11.0ms (0.3%)

rewrite13.0ms (0.4%)

simplify74.0ms (2.1%)

prune59.0ms (1.7%)

localize8.0ms (0.2%)

series9.0ms (0.3%)

rewrite9.0ms (0.2%)

simplify84.0ms (2.4%)

prune73.0ms (2.1%)

localize9.0ms (0.3%)

series17.0ms (0.5%)

rewrite14.0ms (0.4%)

simplify109.0ms (3.1%)

prune129.0ms (3.7%)

localize12.0ms (0.3%)

series48.0ms (1.4%)

rewrite37.0ms (1.1%)

simplify139.0ms (4%)

prune258.0ms (7.4%)

regimes559.0ms (16.1%)

simplify2.0ms (0.1%)

end579.0ms (16.6%)

Profiling