Details

analyze140.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample38.0ms (0.1%)

Algorithm

1×

intervals

Results

14.0ms	60×	body	1024	valid
6.0ms	160×	body	128	valid
4.0ms	34×	body	512	valid
3.0ms	22×	body	1024	invalid
1.0ms	7×	body	512	invalid
0.0ms	9×	body	128	invalid
0.0ms	3×	body	256	invalid
0.0ms	2×	body	256	valid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify102.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

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

0.0b

Counts

2 → 1

Compiler

Compiled 5 to 5 computations (0% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
2×	`add-exp-log_binary64_798`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

1 → 18

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series75.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

75.0ms

(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 152 to 124 computations (18.4% saved)

simplify95.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4907	351
1	4907	351

prune97.0ms (0.2%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	10	20	30
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	10	21	31

Error

Counts

31 → 21

Compiler

Compiled 444 to 255 computations (42.6% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
2×	`add-exp-log_binary64_798`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

1 → 18

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series77.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

77.0ms

(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 184 to 156 computations (15.2% saved)

simplify89.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4907	351
1	4907	351

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.3b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0b	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0b	(.f64 1/2 (.f64 re re))
0.3b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
9×	`add-sqr-sqrt_binary64_782`
8×	`*-un-lft-identity_binary64_760`
6×	`add-cube-cbrt_binary64_795` `associate-l_binary64_701`
5×	`add-log-exp_binary64_799` `associate-r_binary64_700`
4×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
2×	`unswap-sqr_binary64_728` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-r/_binary64_702` `-commutative_binary64_691`
1×	`distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `+-commutative_binary64_690` `sum-log_binary64_851`

Counts

3 → 53

Calls

6 calls:

9.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
6.0ms	(.f64 1/2 (.f64 re re))
4.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0ms	(.f64 1/2 (.f64 re re))

series271.0ms (0.5%)

Counts

3 → 24

Calls

3 calls:

185.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
47.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
38.0ms	(.f64 1/2 (.f64 re re))

Compiler

Compiled 545 to 460 computations (15.6% saved)

simplify64.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5070	1231

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

1.2b	(log.f64 (cos.f64 im))
0.1b	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
0.0b	(+.f64 re (log.f64 (cos.f64 im)))
0.0b	(+.f64 re (log.f64 (cos.f64 im)))
0.1b	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
1.2b	(log.f64 (cos.f64 im))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_760`
6×	`add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `pow1_binary64_821` `log-prod_binary64_846` `add-sqr-sqrt_binary64_782`
5×	`exp-prod_binary64_812`
4×	`distribute-lft-out_binary64_711` `add-exp-log_binary64_798`
3×	`add-cbrt-cube_binary64_796` `log-pow_binary64_849` `associate-+r+_binary64_692`
2×	`rem-exp-log_binary64_800` `sum-log_binary64_851`
1×	`flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690` `exp-sum_binary64_806` `rem-log-exp_binary64_801`

Counts

3 → 43

Calls

6 calls:

5.0ms	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
4.0ms	(+.f64 re (log.f64 (cos.f64 im)))
2.0ms	(log.f64 (cos.f64 im))
0.0ms	(+.f64 re (log.f64 (cos.f64 im)))
0.0ms	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))

series338.0ms (0.7%)

Counts

3 → 30

Calls

3 calls:

162.0ms	(+.f64 re (log.f64 (cos.f64 im)))
102.0ms	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
74.0ms	(log.f64 (cos.f64 im))

Compiler

Compiled 387 to 342 computations (11.6% saved)

simplify89.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4873	778
1	4873	778

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_782`
13×	`*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776` `add-cube-cbrt_binary64_795` `pow1_binary64_821`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`associate-l_binary64_701`
8×	`sqrt-pow1_binary64_778`
7×	`associate-r_binary64_700`
6×	`exp-prod_binary64_812`
4×	`prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
2×	`unswap-sqr_binary64_728` `rem-sqrt-square_binary64_773` `pow1/2_binary64_840` `*-commutative_binary64_691`

Counts

4 → 75

Calls

8 calls:

11.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(sqrt.f64 (exp.f64 re))

series227.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

101.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
78.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
25.0ms	(sqrt.f64 (exp.f64 re))
22.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 596 to 458 computations (23.2% saved)

simplify160.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4754	1182
1	4754	1182

prune3.1s (6.2%)

Pruning

125 alts after pruning (119 fresh and 6 done)

	Pruned	Kept	Total
New	183	108	291
Fresh	4	11	15
Picked	0	0	0
Done	0	6	6
Total	187	125	312

Error

Counts

312 → 125

Compiler

Compiled 4687 to 2625 computations (44% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
2×	`add-exp-log_binary64_798`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

1 → 18

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series76.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

76.0ms

(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 216 to 188 computations (13% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4907	351
1	4907	351

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 1/2 (.f64 re re))
0.0b	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0b	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0b	(.f64 1/2 (.f64 re re))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
4×	`add-log-exp_binary64_799` `add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `prod-exp_binary64_809` `add-cube-cbrt_binary64_795` `associate-l*_binary64_701` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
1×	`unswap-sqr_binary64_728` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700` `+-commutative_binary64_690` `sum-log_binary64_851` `*-commutative_binary64_691`

Counts

2 → 30

Calls

4 calls:

6.0ms	(.f64 1/2 (.f64 re re))
3.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0ms	(.f64 1/2 (.f64 re re))

series73.0ms (0.1%)

Counts

2 → 9

Calls

2 calls:

47.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))
25.0ms	(.f64 1/2 (.f64 re re))

Compiler

Compiled 125 to 126 computations (-0.8% saved)

simplify87.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4890	384
1	4890	384

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_782`
11×	`pow1_binary64_821`
10×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
6×	`associate-l_binary64_701`
4×	`prod-exp_binary64_809` `sqrt-pow1_binary64_778` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
3×	`exp-prod_binary64_812` `add-log-exp_binary64_799`
2×	`unswap-sqr_binary64_728` `associate-l/_binary64_703` `-commutative_binary64_691`
1×	`rem-sqrt-square_binary64_773` `flip3-+_binary64_763` `flip-+_binary64_734` `pow1/2_binary64_840`

Counts

3 → 58

Calls

6 calls:

11.0ms	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
2.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0ms	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

series523.0ms (1%)

Counts

3 → 27

Calls

3 calls:

410.0ms	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
94.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
19.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 691 to 536 computations (22.4% saved)

simplify115.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4953	1257
1	4953	1257

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (pow.f64 im 4) 1/24)
0.0b	(*.f64 (pow.f64 im 6) -1/720)
0.0b	(.f64 -1/2 (.f64 im im))
0.0b	(+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 (pow.f64 im 6) -1/720))
0.0b	(*.f64 (pow.f64 im 6) -1/720)
0.3b	(*.f64 (pow.f64 im 4) 1/24)
8.7b	(.f64 (exp.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 (pow.f64 im 6) -1/720))))
31.4b	(+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (.f64 (pow.f64 im 6) -1/720)))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_782`
17×	`associate-l_binary64_701`
15×	`add-exp-log_binary64_798`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
10×	`add-cbrt-cube_binary64_796`
9×	`add-log-exp_binary64_799` `associate-r_binary64_700`
8×	`unpow-prod-down_binary64_839`
7×	`unswap-sqr_binary64_728` `prod-exp_binary64_809`
6×	`pow1_binary64_821`
4×	`sqr-pow_binary64_732`
3×	`sum-log_binary64_851` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
2×	`flip3-+_binary64_763` `pow-exp_binary64_828` `flip-+_binary64_734` `pow-to-exp_binary64_829` `associate-*r/_binary64_702`
1×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-+r+_binary64_692` `+-commutative_binary64_690` `pow-prod-down_binary64_831`

Counts

4 → 85

Calls

8 calls:

14.0ms	(.f64 (exp.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 (pow.f64 im 6) -1/720))))
11.0ms	(+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (.f64 (pow.f64 im 6) -1/720)))
6.0ms	(*.f64 (pow.f64 im 4) 1/24)
6.0ms	(*.f64 (pow.f64 im 6) -1/720)
0.0ms	(+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 (pow.f64 im 6) -1/720))

series336.0ms (0.7%)

Counts

4 → 19

Calls

4 calls:

193.0ms	(.f64 (exp.f64 re) (+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 (pow.f64 im 6) -1/720))))
67.0ms	(+.f64 (.f64 (pow.f64 im 4) 1/24) (+.f64 (.f64 -1/2 (.f64 im im)) (.f64 (pow.f64 im 6) -1/720)))
43.0ms	(*.f64 (pow.f64 im 6) -1/720)
33.0ms	(*.f64 (pow.f64 im 4) 1/24)

Compiler

Compiled 713 to 567 computations (20.5% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4939	1964
1	4939	1964

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (cos.f64 im))
0.1b	(sqrt.f64 (cos.f64 im))
0.0b	(+.f64 (+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re) (log.f64 (sqrt.f64 (cos.f64 im))))
0.0b	(+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re)
0.1b	(sqrt.f64 (cos.f64 im))
0.1b	(exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re) (log.f64 (sqrt.f64 (cos.f64 im)))))
1.3b	(log.f64 (sqrt.f64 (cos.f64 im)))
1.3b	(log.f64 (sqrt.f64 (cos.f64 im)))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_760`
14×	`pow1_binary64_821`
12×	`log-prod_binary64_846`
11×	`log-pow_binary64_849` `add-sqr-sqrt_binary64_782`
10×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795`
9×	`sqrt-prod_binary64_776` `exp-prod_binary64_812`
7×	`add-log-exp_binary64_799`
6×	`add-exp-log_binary64_798`
4×	`add-cbrt-cube_binary64_796`
3×	`sqrt-pow1_binary64_778` `rem-exp-log_binary64_800` `sum-log_binary64_851` `pow1/2_binary64_840`
2×	`rem-log-exp_binary64_801`
1×	`rem-sqrt-square_binary64_773` `exp-sum_binary64_806`

Counts

4 → 67

Calls

8 calls:

12.0ms	(exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re) (log.f64 (sqrt.f64 (cos.f64 im)))))
2.0ms	(log.f64 (sqrt.f64 (cos.f64 im)))
2.0ms	(log.f64 (sqrt.f64 (cos.f64 im)))
2.0ms	(sqrt.f64 (cos.f64 im))
0.0ms	(+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re)

series336.0ms (0.7%)

Counts

4 → 30

Calls

4 calls:

132.0ms	(exp.f64 (+.f64 (+.f64 (log.f64 (sqrt.f64 (cos.f64 im))) re) (log.f64 (sqrt.f64 (cos.f64 im)))))
93.0ms	(log.f64 (sqrt.f64 (cos.f64 im)))
85.0ms	(log.f64 (sqrt.f64 (cos.f64 im)))
26.0ms	(sqrt.f64 (cos.f64 im))

Compiler

Compiled 586 to 484 computations (17.4% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5100	1029

prune9.2s (18.5%)

Pruning

256 alts after pruning (245 fresh and 11 done)

	Pruned	Kept	Total
New	217	138	355
Fresh	7	107	114
Picked	0	0	0
Done	0	11	11
Total	224	256	480

Error

Counts

480 → 256

Compiler

Compiled 9695 to 6359 computations (34.4% saved)

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64_782`
3×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-cbrt-cube_binary64_796` `associate-r_binary64_700` `associate-l*_binary64_701` `pow1_binary64_821`
2×	`add-exp-log_binary64_798`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `add-log-exp_binary64_799` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

1 → 18

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series79.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

79.0ms

(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 248 to 220 computations (11.3% saved)

simplify102.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4907	351
1	4907	351

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3)
0.3b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(+.f64 1 (.f64 1/2 (.f64 re re)))
0.0b	(.f64 1/2 (.f64 re re))
0.3b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
0.3b	(pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3)
6.1b	(cbrt.f64 (pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
12×	`add-sqr-sqrt_binary64_782`
11×	`*-un-lft-identity_binary64_760`
9×	`add-cube-cbrt_binary64_795`
8×	`cbrt-prod_binary64_791`
6×	`associate-l_binary64_701` `associate-*r/_binary64_702`
5×	`prod-exp_binary64_809` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
4×	`add-log-exp_binary64_799` `cube-div_binary64_789`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `pow-unpow_binary64_837`
2×	`cube-mult_binary64_790` `unswap-sqr_binary64_728` `unpow3_binary64_826` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `cbrt-div_binary64_792` `sqr-pow_binary64_732` `cube-prod_binary64_788` `*-commutative_binary64_691` `unpow-prod-down_binary64_839` `pow-pow_binary64_832`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `distribute-lft-out_binary64_711` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `pow-to-exp_binary64_829`

Counts

4 → 85

Calls

8 calls:

8.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
8.0ms	(pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3)
6.0ms	(.f64 1/2 (.f64 re re))
3.0ms	(cbrt.f64 (pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3))
0.0ms	(+.f64 1 (.f64 1/2 (.f64 re re)))

series707.0ms (1.4%)

Counts

4 → 51

Calls

4 calls:

303.0ms	(pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3)
190.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
188.0ms	(cbrt.f64 (pow.f64 (.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re))))) 3))
25.0ms	(.f64 1/2 (.f64 re re))

Compiler

Compiled 1772 to 1480 computations (16.5% saved)

simplify102.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5035	3570

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3))
0.0b	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
0.3b	(cbrt.f64 (pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3))
0.3b	(pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3)

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
14×	`add-sqr-sqrt_binary64_782`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
8×	`cbrt-prod_binary64_791`
7×	`prod-exp_binary64_809` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
6×	`associate-l/_binary64_703` `associate-l*_binary64_701`
4×	`sqrt-prod_binary64_776` `add-log-exp_binary64_799` `cube-div_binary64_789`
3×	`flip3-+_binary64_763` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `flip-+_binary64_734` `pow-unpow_binary64_837` `pow-pow_binary64_832`
2×	`cube-mult_binary64_790` `unswap-sqr_binary64_728` `unpow3_binary64_826` `cbrt-div_binary64_792` `sqr-pow_binary64_732` `cube-prod_binary64_788` `*-commutative_binary64_691` `unpow-prod-down_binary64_839`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `pow-to-exp_binary64_829`

Counts

4 → 88

Calls

8 calls:

12.0ms	(pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3)
12.0ms	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
4.0ms	(cbrt.f64 (pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3))
0.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))

series892.0ms (1.8%)

Counts

4 → 53

Calls

4 calls:

422.0ms	(pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3)
187.0ms	(cbrt.f64 (pow.f64 (.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))) 3))
184.0ms	(.f64 (+.f64 (.f64 re 1/2) 1) (*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
99.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))

Compiler

Compiled 2016 to 1563 computations (22.5% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5152	3896

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

1.2b	(log.f64 (cos.f64 im))
0.0b	(+.f64 (log.f64 (cos.f64 im)) re)
0.0b	(+.f64 re (log.f64 (cos.f64 im)))
0.0b	(pow.f64 (exp.f64 (sqrt.f64 (+.f64 (log.f64 (cos.f64 im)) re))) (sqrt.f64 (+.f64 re (log.f64 (cos.f64 im)))))
0.0b	(+.f64 (log.f64 (cos.f64 im)) re)
0.0b	(+.f64 re (log.f64 (cos.f64 im)))
1.2b	(log.f64 (cos.f64 im))
1.2b	(log.f64 (cos.f64 im))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_760`
12×	`log-prod_binary64_846`
8×	`add-cube-cbrt_binary64_795` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`
6×	`add-exp-log_binary64_798` `add-log-exp_binary64_799`
4×	`distribute-lft-out_binary64_711` `add-cbrt-cube_binary64_796` `log-pow_binary64_849`
3×	`associate-+l+_binary64_693` `associate-+r+_binary64_692`
2×	`flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `rem-log-exp_binary64_801`

Counts

4 → 56

Calls

8 calls:

5.0ms	(+.f64 (log.f64 (cos.f64 im)) re)
4.0ms	(+.f64 re (log.f64 (cos.f64 im)))
1.0ms	(log.f64 (cos.f64 im))
1.0ms	(log.f64 (cos.f64 im))
0.0ms	(pow.f64 (exp.f64 (sqrt.f64 (+.f64 (log.f64 (cos.f64 im)) re))) (sqrt.f64 (+.f64 re (log.f64 (cos.f64 im)))))

series364.0ms (0.7%)

Counts

4 → 24

Calls

4 calls:

135.0ms	(+.f64 (log.f64 (cos.f64 im)) re)
133.0ms	(+.f64 re (log.f64 (cos.f64 im)))
52.0ms	(log.f64 (cos.f64 im))
44.0ms	(log.f64 (cos.f64 im))

Compiler

Compiled 586 to 428 computations (27% saved)

simplify83.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5000	717

prune12.7s (25.5%)

Pruning

391 alts after pruning (376 fresh and 15 done)

	Pruned	Kept	Total
New	242	145	387
Fresh	9	231	240
Picked	0	0	0
Done	1	15	16
Total	252	391	643

Error

Counts

643 → 391

Compiler

Compiled 6232 to 3389 computations (45.6% saved)

simplify389.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5122	20559

regimes4.7s (9.4%)

Compiler: Compiled 52862 to 39655 computations (25% saved)

bsearch0.0ms (0%)

regimes299.0ms (0.6%)

Compiler: Compiled 1622 to 1403 computations (13.5% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes236.0ms (0.5%)

Compiler: Compiled 1022 to 933 computations (8.7% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes192.0ms (0.4%)

Compiler: Compiled 712 to 668 computations (6.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes409.0ms (0.8%)

Compiler: Compiled 652 to 618 computations (5.2% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes106.0ms (0.2%)

Compiler: Compiled 360 to 332 computations (7.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 3 computations (-50% saved)

regimes45.0ms (0.1%)

Compiler: Compiled 263 to 239 computations (9.1% saved)

bsearch0.0ms (0%)

regimes67.0ms (0.1%)

Compiler: Compiled 170 to 152 computations (10.6% saved)

bsearch28.0ms (0.1%)

Steps

Iters	Range		Point
10	-331.7258133235138	-2.9197109452960254e-10	-286.6787909606117

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes55.0ms (0.1%)

Compiler: Compiled 30 to 46 computations (-53.3% saved)

bsearch18.0ms (0%)

Steps

Iters	Range		Point
8	-3250191.1896620854	-331.7258133235138	-338.352817309614

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes49.0ms (0.1%)

Accuracy

Total 0.0b remaining (98.5%)

Threshold costs 0.0b (98.5%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch34.0ms (0.1%)

Steps

Iters	Range		Point
10	-331.7258133235138	-2.9197109452960254e-10	-276.6683415466335

Compiler

Compiled 116 to 106 computations (8.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	67	170
1	67	170

end0.0ms (0%)

sample11.7s (23.5%)

Algorithm

1×

intervals

Results

323.0ms	1358×	body	1024	valid
241.0ms	5681×	body	128	valid
113.0ms	677×	body	1024	invalid
80.0ms	624×	body	512	valid
45.0ms	351×	body	512	invalid
28.0ms	331×	body	256	valid
12.0ms	154×	body	256	invalid
10.0ms	214×	body	128	invalid
3.0ms	6×	body	2048	valid

Compiler

Compiled 10919 to 8245 computations (24.5% saved)

Pareto

0.3303738757253742