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.2s (36.4%)

Results

1.1s

8256×

body

128

valid

Compiler

Compiled 44 to 31 computations (29.5% saved)

simplify70.0ms (2.1%)

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

series11.0ms (0.3%)

Counts

3 → 36

Calls

3 calls:

6.0ms	(.f64 (cos.f64 x) (exp.f64 (.f64 10 (*.f64 x x))))
2.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:

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

simplify74.0ms (2.3%)

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

prune58.0ms (1.8%)

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

Counts

85 → 14

Alt Table

Status	Error	Program
	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.4b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.1b	(.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.1b	(.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)))))
	3.6b	(.f64 (cos.f64 x) (expm1.f64 (log1p.f64 (exp.f64 (.f64 10 (*.f64 x x))))))
	3.7b	(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.6b	(.f64 (cos.f64 x) (exp.f64 (.f64 (sqrt.f64 10) (.f64 (sqrt.f64 10) (.f64 x x)))))
	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.2b	(.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 (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x)))) (sqrt.f64 (exp.f64 (.f64 10 (.f64 x x))))))
	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 1765 to 1026 computations (41.9% saved)

localize9.0ms (0.3%)

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

series8.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

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

rewrite11.0ms (0.3%)

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:

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

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

prune79.0ms (2.4%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	74	14	88
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	79	23	102

Error

0.8b

Counts

102 → 23

Alt Table

Status	Error	Program
	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.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.2b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 (.f64 x x)) 5) (pow.f64 (exp.f64 (.f64 x x)) 5)))
	4.8b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 (sqrt.f64 10)) (.f64 (sqrt.f64 10) (*.f64 x x))))
	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))))))
	3.4b	(.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.2b	(.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.4b	(.f64 (.f64 (cos.f64 x) (pow.f64 (exp.f64 (.f64 x x)) 5)) (sqrt.f64 (exp.f64 (.f64 10 (*.f64 x x)))))
	3.1b	(.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (exp.f64 (.f64 x x)) 30)))
	3.1b	(.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.3b	(.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	(.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.3b	(.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.1b	(.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.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.1b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.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 (.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 (cos.f64 x) (.f64 (pow.f64 (exp.f64 10) (/.f64 (.f64 x x) 2)) (pow.f64 (exp.f64 10) (/.f64 (.f64 x x) 2))))
	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.1b	(.f64 (cos.f64 x) (.f64 (.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.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
▶	1.3b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))

Compiler

Compiled 2356 to 1394 computations (40.8% 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.3b	(pow.f64 (pow.f64 (exp.f64 10) x) x)
✓	1.0b	(pow.f64 (exp.f64 10) x)

series13.0ms (0.4%)

Counts

3 → 36

Calls

3 calls:

8.0ms	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 10) x) x))
4.0ms	(pow.f64 (pow.f64 (exp.f64 10) x) x)
2.0ms	(pow.f64 (exp.f64 10) 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)

simplify108.0ms (3.3%)

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

prune134.0ms (4.1%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	122	21	143
Fresh	16	6	22
Picked	1	0	1
Done	0	0	0
Total	139	27	166

Error

0.1b

Counts

166 → 27

Alt Table

Status	Error	Program
	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)))))
	1.1b	(.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)))
	1.6b	(.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))))
	3.1b	(.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)))))
	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))
	2.1b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 30)))
	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.1b	(.f64 (cos.f64 x) (.f64 (pow.f64 (exp.f64 10) (/.f64 (.f64 x x) 2)) (pow.f64 (exp.f64 10) (/.f64 (.f64 x x) 2))))
	3.3b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cbrt.f64 (cos.f64 x))))
	2.2b	(.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))
	1.3b	(.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)))
	2.1b	(*.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 30)) 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.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	4.1b	(.f64 (cos.f64 x) (pow.f64 (pow.f64 (exp.f64 (.f64 10 x)) (sqrt.f64 x)) (sqrt.f64 x)))
	3.9b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (pow.f64 (exp.f64 10) (sqrt.f64 x)) (sqrt.f64 x)) x))
	1.3b	(.f64 (.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	1.5b	(.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.6b	(.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)))
	3.2b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cos.f64 x)) 3))
▶	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))
	3.4b	(.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.2b	(*.f64 (cos.f64 x) (pow.f64 (expm1.f64 (log1p.f64 (pow.f64 (exp.f64 10) x))) x))
	3.1b	(.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))))
	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.3b	(.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.3b	(.f64 (cos.f64 x) (.f64 (pow.f64 (pow.f64 (exp.f64 10) x) (/.f64 x 2)) (pow.f64 (pow.f64 (exp.f64 10) x) (/.f64 x 2))))

Compiler

Compiled 3313 to 2165 computations (34.7% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(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.3b	(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))

series40.0ms (1.2%)

Counts

4 → 48

Calls

4 calls:

18.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))
10.0ms	(pow.f64 (*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)
8.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)

rewrite39.0ms (1.2%)

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:

11.0ms	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x))
9.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))
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)

simplify125.0ms (3.8%)

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

prune232.0ms (7%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	247	10	257
Fresh	14	12	26
Picked	0	1	1
Done	0	0	0
Total	261	23	284

Error

0.1b

Counts

284 → 23

Alt Table

Status	Error	Program
	1.0b	(*.f64 (cos.f64 x) (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) (+.f64 x x)) x))
	2.4b	(.f64 (.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (exp.f64 10) (.f64 x x)))) (sqrt.f64 (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)))
	3.1b	(.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)))))
	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))
	2.1b	(*.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 30)))
	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))))
	2.7b	(.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 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)))
	3.3b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (pow.f64 (exp.f64 (.f64 10 x)) x) (cbrt.f64 (cos.f64 x))))
	1.4b	(.f64 (.f64 (cos.f64 x) (.f64 (cbrt.f64 (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)) (cbrt.f64 (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)))) (cbrt.f64 (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))))
	1.2b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) 3/2))) x))
	1.8b	(.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) (.f64 (cbrt.f64 (cos.f64 x)) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x)))
	3.9b	(.f64 (cos.f64 x) (pow.f64 (exp.f64 1) (.f64 10 (*.f64 x x))))
	1.3b	(.f64 (.f64 (cos.f64 x) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x))) (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 10) x) x)))
	1.5b	(.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))))
	0.7b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (exp.f64 10) (*.f64 1/2 x))) x))
✓	1.1b	(.f64 (cos.f64 x) (pow.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 10)) x) (pow.f64 (sqrt.f64 (exp.f64 10)) x)) x))
	3.4b	(.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))))
	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))))
	1.4b	(.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))
	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.3b	(.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)))
	1.1b	(cbrt.f64 (.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) (cos.f64 x)) (.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))))

Compiler

Compiled 6496 to 4739 computations (27% saved)

regimes475.0ms (14.4%)

Accuracy

Total 0.6b remaining (82.9%)

Threshold costs 0.6b (82.9%)

Counts

180 → 1

Compiler

Compiled 7180 to 5221 computations (27.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end475.0ms (14.4%)

Compiler: Compiled 638 to 459 computations (28.1% saved)

Details

analyze1.0ms (0%)

sample1.2s (36.4%)

simplify70.0ms (2.1%)

prune2.0ms (0.1%)

localize7.0ms (0.2%)

series11.0ms (0.3%)

rewrite13.0ms (0.4%)

simplify74.0ms (2.3%)

prune58.0ms (1.8%)

localize9.0ms (0.3%)

series8.0ms (0.2%)

rewrite11.0ms (0.3%)

simplify80.0ms (2.4%)

prune79.0ms (2.4%)

localize9.0ms (0.3%)

series13.0ms (0.4%)

rewrite14.0ms (0.4%)

simplify108.0ms (3.3%)

prune134.0ms (4.1%)

localize11.0ms (0.3%)

series40.0ms (1.2%)

rewrite39.0ms (1.2%)

simplify125.0ms (3.8%)

prune232.0ms (7%)

regimes475.0ms (14.4%)

simplify2.0ms (0.1%)

end475.0ms (14.4%)

Profiling