Details

analyze143.0ms (0.4%)

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)

sample34.0ms (0.1%)

Algorithm

1×

intervals

Results

11.0ms	48×	body	1024	valid
8.0ms	184×	body	128	valid
2.0ms	15×	body	1024	invalid
2.0ms	17×	body	512	valid
1.0ms	7×	body	512	invalid
1.0ms	7×	body	256	valid
0.0ms	8×	body	128	invalid
0.0ms	4×	body	256	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify98.0ms (0.3%)

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

series73.0ms (0.2%)

Counts

1 → 10

Calls

1 calls:

73.0ms

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

Compiler

Compiled 123 to 103 computations (16.3% saved)

simplify99.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4830	294
1	4830	294

prune78.0ms (0.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	10	18	28
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	10	19	29

Error

0.0b

Counts

29 → 19

Compiler

Compiled 368 to 197 computations (46.5% 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))

series74.0ms (0.2%)

Counts

1 → 10

Calls

1 calls:

74.0ms

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

Compiler

Compiled 153 to 133 computations (13.1% saved)

simplify96.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4830	294
1	4830	294

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.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.0b	(.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 re (+.f64 1 (.f64 1/2 (.f64 re re))))
0.0b	(+.f64 re (+.f64 1 (.f64 1/2 (.f64 re re))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 56

Calls

6 calls:

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

series260.0ms (0.7%)

Counts

3 → 25

Calls

3 calls:

176.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (.f64 1/2 (*.f64 re re)))))
56.0ms	(+.f64 re (+.f64 1 (.f64 1/2 (.f64 re re))))
28.0ms	(.f64 1/2 (.f64 re re))

Compiler

Compiled 484 to 415 computations (14.3% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5380	1207

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(log.f64 (exp.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
0.1b	(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.1b	(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
0.2b	(log.f64 (exp.f64 (*.f64 (exp.f64 re) (cos.f64 im))))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_782`
6×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `pow1_binary64_821`
5×	`add-cbrt-cube_binary64_796`
4×	`add-exp-log_binary64_798`
3×	`log-pow_binary64_849` `associate-r_binary64_700` `associate-l_binary64_701` `log-prod_binary64_846`
2×	`exp-prod_binary64_812` `exp-to-pow_binary64_822`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `rem-exp-log_binary64_800` `rem-log-exp_binary64_801` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

3 → 42

Calls

6 calls:

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

series383.0ms (1%)

Counts

3 → 30

Calls

3 calls:

209.0ms	(log.f64 (exp.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
104.0ms	(exp.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
70.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 570 to 450 computations (21.1% saved)

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5670	878

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

61×	`pow1_binary64_821`
32×	`sqrt-pow1_binary64_778`
23×	`pow-prod-down_binary64_831`
14×	`add-sqr-sqrt_binary64_782`
12×	`pow1/2_binary64_840`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `pow-prod-up_binary64_830`
8×	`add-cbrt-cube_binary64_796`
7×	`add-exp-log_binary64_798` `associate-r_binary64_700` `associate-l_binary64_701`
6×	`sqrt-prod_binary64_776` `pow-sqr_binary64_733`
4×	`add-log-exp_binary64_799` `swap-sqr_binary64_727`
2×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`
1×	`pow2_binary64_841` `rem-square-sqrt_binary64_772` `pow-plus_binary64_823` `sqrt-unprod_binary64_780`

Counts

4 → 89

Calls

8 calls:

12.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
5.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series344.0ms (0.9%)

Counts

4 → 40

Calls

4 calls:

97.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
97.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
76.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
73.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 882 to 577 computations (34.6% saved)

simplify46.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5075	1291

prune2.5s (6.6%)

Pruning

121 alts after pruning (115 fresh and 6 done)

	Pruned	Kept	Total
New	207	103	310
Fresh	1	12	13
Picked	0	0	0
Done	0	6	6
Total	208	121	329

Error

Counts

329 → 121

Compiler

Compiled 4584 to 2313 computations (49.5% saved)

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.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	(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))))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite30.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)))
5.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(sqrt.f64 (exp.f64 re))

series204.0ms (0.5%)

Counts

4 → 32

Calls

4 calls:

89.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
70.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
23.0ms	(sqrt.f64 (exp.f64 re))
21.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 622 to 506 computations (18.6% saved)

simplify97.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4856	1064
1	4856	1064

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

4 calls:

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

series79.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

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

Compiler

Compiled 136 to 141 computations (-3.7% saved)

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5049	518

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

2.5b	(exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))
0.0b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))
2.5b	(exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))
33.3b	(log.f64 (.f64 1/2 (.f64 re re)))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`pow1_binary64_821`
17×	`add-exp-log_binary64_798`
13×	`*-un-lft-identity_binary64_760`
11×	`add-cbrt-cube_binary64_796` `add-sqr-sqrt_binary64_782`
10×	`pow-prod-down_binary64_831`
8×	`add-cube-cbrt_binary64_795`
7×	`prod-exp_binary64_809`
6×	`exp-prod_binary64_812` `log-pow_binary64_849` `associate-r_binary64_700` `associate-l_binary64_701`
4×	`add-log-exp_binary64_799` `cbrt-unprod_binary64_793`
3×	`distribute-lft-out_binary64_711` `rem-log-exp_binary64_801`
2×	`unswap-sqr_binary64_728` `associate-r/_binary64_702` `-commutative_binary64_691` `log-prod_binary64_846`
1×	`flip3-+_binary64_763` `distribute-lft-in_binary64_709` `rem-exp-log_binary64_800` `distribute-rgt-in_binary64_710` `flip-+_binary64_734` `exp-sum_binary64_806`

Counts

4 → 72

Calls

8 calls:

13.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))
8.0ms	(log.f64 (.f64 1/2 (.f64 re re)))
6.0ms	(.f64 1/2 (.f64 re re))
6.0ms	(exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))
0.0ms	(+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))))

series420.0ms (1.1%)

Counts

4 → 19

Calls

4 calls:

256.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))
81.0ms	(exp.f64 (log.f64 (.f64 1/2 (.f64 re re))))
58.0ms	(log.f64 (.f64 1/2 (.f64 re re)))
24.0ms	(.f64 1/2 (.f64 re re))

Compiler

Compiled 596 to 529 computations (11.2% saved)

simplify120.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4915	1126
1	4915	1126

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_782`
13×	`pow1_binary64_821`
11×	`sqrt-prod_binary64_776`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`unpow-prod-down_binary64_839`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
5×	`sqrt-pow1_binary64_778`
4×	`add-log-exp_binary64_799` `pow-pow_binary64_832`
3×	`rem-sqrt-square_binary64_773` `associate-r_binary64_700` `associate-l_binary64_701` `sqr-pow_binary64_732` `pow1/2_binary64_840` `pow-prod-down_binary64_831` `pow-unpow_binary64_837`
1×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `pow-exp_binary64_828` `pow-to-exp_binary64_829` `cbrt-unprod_binary64_793` `sqrt-pow2_binary64_779` `*-commutative_binary64_691`

Counts

4 → 71

Calls

8 calls:

6.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
5.0ms	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 4)
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
3.0ms	(sqrt.f64 (pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 4))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series403.0ms (1.1%)

Counts

4 → 40

Calls

4 calls:

169.0ms	(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 4)
101.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
67.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
66.0ms	(sqrt.f64 (pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 4))

Compiler

Compiled 708 to 619 computations (12.6% saved)

simplify46.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5196	1296

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`pow1_binary64_821`
30×	`sqrt-pow1_binary64_778`
21×	`pow-prod-down_binary64_831`
11×	`pow1/2_binary64_840` `add-sqr-sqrt_binary64_782`
10×	`pow-prod-up_binary64_830`
9×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`add-log-exp_binary64_799`
6×	`add-exp-log_binary64_798` `pow-sqr_binary64_733` `add-cbrt-cube_binary64_796`
5×	`sqrt-prod_binary64_776`
4×	`swap-sqr_binary64_727` `associate-r_binary64_700` `associate-l_binary64_701`
3×	`log-pow_binary64_849` `log-prod_binary64_846`
2×	`exp-prod_binary64_812` `exp-to-pow_binary64_822`
1×	`pow2_binary64_841` `unswap-sqr_binary64_728` `prod-exp_binary64_809` `rem-square-sqrt_binary64_772` `rem-exp-log_binary64_800` `pow-plus_binary64_823` `sqrt-unprod_binary64_780` `rem-log-exp_binary64_801` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 84

Calls

8 calls:

12.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
3.0ms	(exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))))
2.0ms	(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series478.0ms (1.3%)

Counts

4 → 40

Calls

4 calls:

204.0ms	(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))))
108.0ms	(exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))))
95.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
72.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))))

Compiler

Compiled 858 to 640 computations (25.4% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4969	1309
1	4969	1309

prune9.3s (24.7%)

Pruning

239 alts after pruning (230 fresh and 9 done)

	Pruned	Kept	Total
New	330	148	478
Fresh	28	82	110
Picked	0	0	0
Done	2	9	11
Total	360	239	599

Error

Counts

599 → 239

Compiler

Compiled 8346 to 4881 computations (41.5% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_782`
6×	`-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`
4×	`add-exp-log_binary64_798`
2×	`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

2 → 36

Calls

4 calls:

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

series143.0ms (0.4%)

Counts

2 → 20

Calls

2 calls:

73.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
70.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 546 to 384 computations (29.7% saved)

simplify97.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4830	588
1	4830	588

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.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:

13.1b	(.f64 (+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8)))) (.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	(+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8))))
0.0b	(+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8))))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
13.1b	(.f64 (+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8)))) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_782`
12×	`pow1_binary64_821`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
10×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`sqrt-prod_binary64_776` `associate-r_binary64_700`
6×	`add-log-exp_binary64_799` `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`
2×	`unswap-sqr_binary64_728` `associate-l/_binary64_703` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-+r+_binary64_692` `-commutative_binary64_691`
1×	`rem-sqrt-square_binary64_773` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `+-commutative_binary64_690` `sum-log_binary64_851` `pow1/2_binary64_840`

Counts

4 → 71

Calls

8 calls:

10.0ms	(.f64 (+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8)))) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
9.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
3.0ms	(+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8))))
2.0ms	(sqrt.f64 (exp.f64 re))
0.0ms	(+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8))))

series456.0ms (1.2%)

Counts

4 → 37

Calls

4 calls:

264.0ms	(.f64 (+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8)))) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))
90.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
79.0ms	(+.f64 1 (.f64 re (+.f64 1/2 (.f64 re 1/8))))
23.0ms	(sqrt.f64 (exp.f64 re))

Compiler

Compiled 1212 to 979 computations (19.2% saved)

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4997	1685
1	4997	1685

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))))
0.0b	(log.f64 (log.f64 (.f64 1/2 (.f64 re re))))
0.0b	(.f64 1/2 (.f64 re re))
0.0b	(+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re))))))))
0.0b	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))))
0.4b	(exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re)))))
0.8b	(exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re))))))
33.3b	(log.f64 (.f64 1/2 (.f64 re re)))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`pow1_binary64_821`
15×	`*-un-lft-identity_binary64_760`
13×	`exp-prod_binary64_812` `log-prod_binary64_846`
12×	`add-exp-log_binary64_798` `exp-sum_binary64_806` `add-sqr-sqrt_binary64_782`
10×	`add-cube-cbrt_binary64_795` `log-pow_binary64_849` `pow-prod-down_binary64_831`
6×	`add-cbrt-cube_binary64_796`
5×	`add-log-exp_binary64_799` `associate-r_binary64_700`
4×	`prod-exp_binary64_809`
3×	`distribute-lft-out_binary64_711` `associate-l_binary64_701` `rem-log-exp_binary64_801`
2×	`rem-exp-log_binary64_800` `associate-*r/_binary64_702`
1×	`unswap-sqr_binary64_728` `flip3-+_binary64_763` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `flip-+_binary64_734` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

8 calls:

16.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))))
6.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re))))))
6.0ms	(exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re)))))
5.0ms	(log.f64 (.f64 1/2 (.f64 re re)))
0.0ms	(+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re))))))))

series747.0ms (2%)

Counts

4 → 17

Calls

4 calls:

331.0ms	(.f64 (cos.f64 im) (+.f64 re (+.f64 1 (exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (*.f64 re re)))))))))
184.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re))))))
173.0ms	(exp.f64 (log.f64 (log.f64 (.f64 1/2 (.f64 re re)))))
59.0ms	(log.f64 (.f64 1/2 (.f64 re re)))

Compiler

Compiled 584 to 532 computations (8.9% saved)

simplify134.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4904	1144
1	4904	1144

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im)))
0.0b	(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
0.0b	(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)
0.0b	(exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)))
0.1b	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))
0.1b	(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-exp-log_binary64_798`
11×	`pow1_binary64_821` `add-sqr-sqrt_binary64_782`
8×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
7×	`add-log-exp_binary64_799`
6×	`prod-exp_binary64_809` `add-cbrt-cube_binary64_796`
5×	`associate-r_binary64_700`
4×	`pow-exp_binary64_828` `associate-l_binary64_701`
3×	`log-pow_binary64_849` `unpow1/2_binary64_824` `sqr-pow_binary64_732` `pow1/2_binary64_840` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831` `pow-unpow_binary64_837` `log-prod_binary64_846`
2×	`unswap-sqr_binary64_728` `exp-prod_binary64_812` `sqrt-pow1_binary64_778` `pow-to-exp_binary64_829` `exp-to-pow_binary64_822` `unpow-prod-down_binary64_839` `pow-pow_binary64_832`
1×	`sqrt-prod_binary64_776` `rem-square-sqrt_binary64_772` `pow-sqr_binary64_733` `rem-exp-log_binary64_800` `sqrt-unprod_binary64_780` `rem-log-exp_binary64_801` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

8 calls:

10.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))
5.0ms	(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)
4.0ms	(exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)))
2.0ms	(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))))
0.0ms	(*.f64 (exp.f64 re) (cos.f64 im))

series611.0ms (1.6%)

Counts

4 → 40

Calls

4 calls:

218.0ms	(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)
206.0ms	(log.f64 (exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))))
111.0ms	(exp.f64 (.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2)))
75.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (cos.f64 im))) (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1/2))

Compiler

Compiled 858 to 640 computations (25.4% saved)

simplify53.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5056	1419

prune10.0s (26.6%)

Pruning

312 alts after pruning (298 fresh and 14 done)

	Pruned	Kept	Total
New	276	91	367
Fresh	18	207	225
Picked	0	0	0
Done	0	14	14
Total	294	312	606

Error

Counts

606 → 312

Compiler

Compiled 4669 to 2336 computations (50% saved)

simplify258.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	2277	15955
1	2277	15955

regimes3.5s (9.3%)

Compiler: Compiled 37256 to 27455 computations (26.3% saved)

bsearch0.0ms (0%)

regimes2.3s (6%)

Compiler: Compiled 20337 to 16855 computations (17.1% saved)

bsearch0.0ms (0%)

regimes335.0ms (0.9%)

Compiler: Compiled 1553 to 1302 computations (16.2% saved)

bsearch1.0ms (0%)

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

regimes257.0ms (0.7%)

Compiler: Compiled 881 to 786 computations (10.8% saved)

bsearch1.0ms (0%)

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

regimes218.0ms (0.6%)

Compiler: Compiled 689 to 622 computations (9.7% saved)

bsearch1.0ms (0%)

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

regimes175.0ms (0.5%)

Compiler: Compiled 524 to 464 computations (11.5% saved)

bsearch1.0ms (0%)

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

regimes55.0ms (0.1%)

Compiler: Compiled 374 to 326 computations (12.8% saved)

bsearch0.0ms (0%)

regimes84.0ms (0.2%)

Compiler: Compiled 244 to 210 computations (13.9% saved)

bsearch24.0ms (0.1%)

Steps

Iters	Range		Point
9	-1631.4601183908362	-2.367174243083814e-06	-296.1320179986615

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes55.0ms (0.1%)

Compiler: Compiled 40 to 56 computations (-40% saved)

bsearch23.0ms (0.1%)

Steps

Iters	Range		Point
9	-1631.4601183908362	-2.367174243083814e-06	-63.30516565935089

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes42.0ms (0.1%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch34.0ms (0.1%)

Steps

Iters	Range		Point
9	-1631.4601183908362	-2.367174243083814e-06	-266.7798762763534

Compiler

Compiled 119 to 103 computations (13.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	66	178
1	66	178

end0.0ms (0%)

sample1.8s (4.9%)

Algorithm

1×

intervals

Results

300.0ms	1335×	body	1024	valid
226.0ms	5702×	body	128	valid
113.0ms	654×	body	1024	invalid
85.0ms	646×	body	512	valid
36.0ms	319×	body	512	invalid
25.0ms	313×	body	256	valid
18.0ms	177×	body	256	invalid
9.0ms	186×	body	128	invalid
2.0ms	4×	body	2048	valid

Compiler

Compiled 7381 to 5493 computations (25.6% saved)