Details

analyze366.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample74.0ms (0.1%)

Algorithm

1×

intervals

Results

20.0ms	60×	body	1024	valid
12.0ms	53×	body	1024	invalid
8.0ms	144×	body	128	valid
7.0ms	40×	body	512	valid
7.0ms	27×	body	512	invalid
2.0ms	15×	body	256	invalid
1.0ms	12×	body	256	valid
1.0ms	19×	body	128	invalid

Compiler

Compiled 26 to 28 computations (-7.7% saved)

simplify220.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	5290	20

prune2.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Kept	Total
New	3	3
Fresh	3	3
Picked	0	0
Done	0	0
Total	6	6

Error

0.0b

Counts

6 → 3

Compiler

Compiled 13 to 12 computations (7.7% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `associate-r_binary64_1041`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `add-cube-cbrt_binary64_1136` `pow-prod-down_binary64_1172`
2×	`distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
1×	`-commutative_binary64_1032` `sum-log_binary64_1192` `distribute-lft-in_binary64_1050` `+-commutative_binary64_1031` `associate-l*_binary64_1042` `distribute-rgt-in_binary64_1051`

Counts

2 → 35

Calls

4 calls:

12.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

series190.0ms (0.2%)

Counts

2 → 17

Calls

2 calls:

164.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
26.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 404 to 334 computations (17.3% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4904	907
1	4904	907

prune185.0ms (0.2%)

Pruning

29 alts after pruning (28 fresh and 1 done)

	Pruned	Kept	Total
New	26	26	52
Fresh	0	2	2
Picked	0	0	0
Done	0	1	1
Total	26	29	55

Error

Counts

55 → 29

Compiler

Compiled 1065 to 594 computations (44.2% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `associate-r_binary64_1041`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `add-cube-cbrt_binary64_1136` `pow-prod-down_binary64_1172`
2×	`distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
1×	`-commutative_binary64_1032` `sum-log_binary64_1192` `distribute-lft-in_binary64_1050` `+-commutative_binary64_1031` `associate-l*_binary64_1042` `distribute-rgt-in_binary64_1051`

Counts

2 → 35

Calls

4 calls:

11.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

series190.0ms (0.2%)

Counts

2 → 17

Calls

2 calls:

166.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
23.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 452 to 382 computations (15.5% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4904	907
1	4904	907

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

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

12.0b	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
0.1b	(*.f64 1/48 (pow.f64 re 4))
0.0b	(.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))))
0.1b	(*.f64 1/48 (pow.f64 re 4))
12.0b	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
13×	`*-un-lft-identity_binary64_1101`
11×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139`
10×	`associate-r_binary64_1041`
9×	`add-cube-cbrt_binary64_1136`
8×	`add-cbrt-cube_binary64_1137`
7×	`associate-l_binary64_1042`
6×	`pow1_binary64_1162`
4×	`unpow-prod-down_binary64_1180` `frac-times_binary64_1111` `prod-exp_binary64_1150` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `flip-+_binary64_1075` `unswap-sqr_binary64_1069`
3×	`sub-neg_binary64_1094` `distribute-lft-in_binary64_1050` `associate--l+_binary64_1038` `cancel-sign-sub-inv_binary64_1067` `distribute-rgt-in_binary64_1051`
2×	`diff-log_binary64_1193` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `distribute-lft-out_binary64_1052` `sum-log_binary64_1192` `associate-r/_binary64_1043` `associate-*l/_binary64_1044` `sqr-pow_binary64_1073`
1×	`pow-exp_binary64_1169` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `pow-to-exp_binary64_1170`

Counts

4 → 84

Calls

8 calls:

15.0ms	(.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))))
7.0ms	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
6.0ms	(*.f64 1/48 (pow.f64 re 4))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series314.0ms (0.4%)

Counts

4 → 25

Calls

4 calls:

213.0ms	(.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))))
42.0ms	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
33.0ms	(*.f64 1/48 (pow.f64 re 4))
26.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 937 to 793 computations (15.4% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5357	2746

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.4b	(pow.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)
0.4b	(cbrt.f64 (.f64 1/8 (pow.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)))
0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.4b	(cbrt.f64 (.f64 1/8 (pow.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)))
0.4b	(pow.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_1101`
9×	`add-sqr-sqrt_binary64_1123` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
8×	`associate-*r/_binary64_1043`
7×	`add-cube-cbrt_binary64_1136`
6×	`add-log-exp_binary64_1140`
4×	`flip3-+_binary64_1104` `cube-div_binary64_1130` `associate-r_binary64_1041` `flip-+_binary64_1075`
3×	`pow-unpow_binary64_1178` `associate-l_binary64_1042`
2×	`pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `distribute-lft-out_binary64_1052` `pow-prod-down_binary64_1172` `cbrt-div_binary64_1133`
1×	`*-commutative_binary64_1032` `cube-prod_binary64_1129` `cube-mult_binary64_1131` `pow1/3_binary64_1183` `unpow-prod-down_binary64_1180` `sum-log_binary64_1192` `distribute-lft-in_binary64_1050` `unpow3_binary64_1167` `+-commutative_binary64_1031` `unswap-sqr_binary64_1069` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `distribute-rgt-in_binary64_1051` `cbrt-prod_binary64_1132`

Counts

4 → 70

Calls

8 calls:

10.0ms	(pow.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)
9.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
4.0ms	(cbrt.f64 (.f64 1/8 (pow.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series710.0ms (0.8%)

Counts

4 → 40

Calls

4 calls:

401.0ms	(pow.f64 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)
166.0ms	(cbrt.f64 (.f64 1/8 (pow.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) 3)))
119.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
24.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 1458 to 1158 computations (20.6% saved)

simplify97.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4948	2449
1	4948	2449

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)))
0.0b	(pow.f64 (exp.f64 im) 2)
0.0b	(pow.f64 (exp.f64 im) -2)
0.0b	(pow.f64 (exp.f64 im) 2)
0.0b	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.0b	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
5.0b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite54.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_1123`
20×	`*-un-lft-identity_binary64_1101`
15×	`difference-of-squares_binary64_1070`
13×	`unpow-prod-down_binary64_1180` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
12×	`add-cube-cbrt_binary64_1136`
11×	`cancel-sign-sub-inv_binary64_1067`
9×	`sqr-pow_binary64_1073`
8×	`add-log-exp_binary64_1140`
5×	`pow1_binary64_1162` `times-frac_binary64_1107` `associate-/r*_binary64_1045` `unpow2_binary64_1166`
4×	`pow-pow_binary64_1173` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105`
3×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `exp-prod_binary64_1153` `pow-unpow_binary64_1178` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
2×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `associate-/l/_binary64_1048` `associate-*r/_binary64_1043` `associate-/r/_binary64_1047`
1×	`pow-exp_binary64_1169` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `associate-/l*_binary64_1046` `pow-to-exp_binary64_1170`

Counts

4 → 100

Calls

8 calls:

24.0ms	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
9.0ms	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
6.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
3.0ms	(pow.f64 (exp.f64 im) 2)
0.0ms	(pow.f64 (exp.f64 im) -2)

series585.0ms (0.7%)

Counts

4 → 28

Calls

4 calls:

450.0ms	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
75.0ms	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
32.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
26.0ms	(pow.f64 (exp.f64 im) 2)

Compiler

Compiled 1008 to 766 computations (24% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5000	2516

prune5.9s (7%)

Pruning

201 alts after pruning (196 fresh and 5 done)

	Pruned	Kept	Total
New	224	175	399
Fresh	2	21	23
Picked	0	0	0
Done	1	5	6
Total	227	201	428

Error

Counts

428 → 201

Compiler

Compiled 12332 to 7438 computations (39.7% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `associate-r_binary64_1041`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `add-cube-cbrt_binary64_1136` `pow-prod-down_binary64_1172`
2×	`distribute-lft-out_binary64_1052` `flip3-+_binary64_1104` `associate-*r/_binary64_1043` `flip-+_binary64_1075`
1×	`-commutative_binary64_1032` `sum-log_binary64_1192` `distribute-lft-in_binary64_1050` `+-commutative_binary64_1031` `associate-l*_binary64_1042` `distribute-rgt-in_binary64_1051`

Counts

2 → 35

Calls

4 calls:

11.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

series188.0ms (0.2%)

Counts

2 → 17

Calls

2 calls:

165.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
23.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 500 to 430 computations (14% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4904	907
1	4904	907

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

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(exp.f64 (log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
0.1b	(*.f64 1/48 (pow.f64 re 4))
0.0b	(.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.1b	(*.f64 1/48 (pow.f64 re 4))
0.6b	(exp.f64 (log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
12.0b	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
26.6b	(log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

rewrite50.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`log-div_binary64_1188`
13×	`add-sqr-sqrt_binary64_1123`
12×	`add-exp-log_binary64_1139`
10×	`pow1_binary64_1162`
9×	`add-log-exp_binary64_1140`
8×	`*-un-lft-identity_binary64_1101` `frac-times_binary64_1111` `exp-diff_binary64_1149` `add-cube-cbrt_binary64_1136`
7×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-r_binary64_1041`
6×	`flip3-+_binary64_1104` `add-cbrt-cube_binary64_1137` `flip-+_binary64_1075`
5×	`exp-prod_binary64_1153`
4×	`unpow-prod-down_binary64_1180` `prod-exp_binary64_1150` `associate-r/_binary64_1043` `log-pow_binary64_1190` `associate-l/_binary64_1044`
3×	`associate-l_binary64_1042` `unswap-sqr_binary64_1069`
2×	`diff-log_binary64_1193` `rem-log-exp_binary64_1142` `log-prod_binary64_1187` `pow-prod-down_binary64_1172` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `exp-sum_binary64_1147` `cbrt-unprod_binary64_1134` `rem-exp-log_binary64_1141` `sum-log_binary64_1192` `sub-neg_binary64_1094` `associate--l+_binary64_1038` `cancel-sign-sub-inv_binary64_1067` `pow-to-exp_binary64_1170`

Counts

4 → 81

Calls

8 calls:

14.0ms	(exp.f64 (log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
14.0ms	(log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
6.0ms	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
6.0ms	(*.f64 1/48 (pow.f64 re 4))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series2.7s (3.2%)

Counts

4 → 31

Calls

4 calls:

1.7s	(exp.f64 (log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
1.0s	(log.f64 (.f64 (-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (.f64 re re))) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
38.0ms	(-.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (.f64 1/4 (*.f64 re re)))
32.0ms	(*.f64 1/48 (pow.f64 re 4))

Compiler

Compiled 3420 to 2624 computations (23.3% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4975	6633
1	4975	6633

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))
0.0b	(pow.f64 (exp.f64 im) -2)
0.0b	(/.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re))))
0.0b	(/.f64 1 (/.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))))
0.0b	(pow.f64 (exp.f64 im) 2)
0.0b	(.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))
5.0b	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
5.0b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64_1123`
25×	`difference-of-squares_binary64_1070`
20×	`unpow-prod-down_binary64_1180`
17×	`*-un-lft-identity_binary64_1101`
16×	`associate-l_binary64_1042` `sqr-pow_binary64_1073`
11×	`add-cube-cbrt_binary64_1136` `cancel-sign-sub-inv_binary64_1067`
10×	`pow1_binary64_1162`
9×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`add-log-exp_binary64_1140` `unpow2_binary64_1166`
4×	`pow-pow_binary64_1173`
3×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `exp-prod_binary64_1153` `flip3--_binary64_1105` `pow-unpow_binary64_1178` `pow-prod-down_binary64_1172`
2×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `associate-*l/_binary64_1044`
1×	`-commutative_binary64_1032` `pow-exp_binary64_1169` `associate-r*_binary64_1041` `pow-to-exp_binary64_1170`

Counts

4 → 102

Calls

8 calls:

16.0ms	(.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))
9.0ms	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
3.0ms	(pow.f64 (exp.f64 im) 2)
0.0ms	(/.f64 1 (/.f64 (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))))

series410.0ms (0.5%)

Counts

4 → 28

Calls

4 calls:

274.0ms	(.f64 (-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2)) (.f64 1/2 (cos.f64 re)))
75.0ms	(-.f64 (pow.f64 (exp.f64 im) -2) (pow.f64 (exp.f64 im) 2))
36.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
25.0ms	(pow.f64 (exp.f64 im) 2)

Compiler

Compiled 1075 to 869 computations (19.2% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4876	2136
1	4876	2136

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.2b	(.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.2b	(.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.4b	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

rewrite146.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

200×	`pow1_binary64_1162`
166×	`associate-*r/_binary64_1043`
87×	`pow-prod-down_binary64_1172`
68×	`add-cbrt-cube_binary64_1137`
61×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
60×	`frac-times_binary64_1111`
59×	`add-exp-log_binary64_1139`
43×	`cbrt-unprod_binary64_1134`
40×	`prod-exp_binary64_1150`
38×	`pow-prod-up_binary64_1171`
30×	`associate-*l/_binary64_1044`
26×	`cbrt-div_binary64_1133`
19×	`pow-plus_binary64_1164`
16×	`pow-sqr_binary64_1074`
9×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
8×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
6×	`add-cube-cbrt_binary64_1136` `associate-r_binary64_1041`
5×	`associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `pow2_binary64_1182`
3×	`*-commutative_binary64_1032`
2×	`rem-3cbrt-lft_binary64_1126`
1×	`pow1/3_binary64_1183` `distribute-lft-out_binary64_1052` `swap-sqr_binary64_1068` `unswap-sqr_binary64_1069` `cbrt-prod_binary64_1132` `pow3_binary64_1184`

Counts

4 → 210

Calls

8 calls:

40.0ms	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
39.0ms	(.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
19.0ms	(.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
9.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series963.0ms (1.1%)

Counts

4 → 45

Calls

4 calls:

396.0ms	(.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
258.0ms	(.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
183.0ms	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
126.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 2295 to 1551 computations (32.4% saved)

simplify131.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5011	8273

prune15.7s (18.4%)

Pruning

380 alts after pruning (370 fresh and 10 done)

	Pruned	Kept	Total
New	356	193	549
Fresh	14	177	191
Picked	0	0	0
Done	0	10	10
Total	370	380	750

Error

Counts

750 → 380

Compiler

Compiled 26134 to 16116 computations (38.3% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-exp-log_binary64_1139`
9×	`prod-exp_binary64_1150`
8×	`-un-lft-identity_binary64_1101` `associate-r*_binary64_1041`
7×	`add-cbrt-cube_binary64_1137`
5×	`pow1_binary64_1162`
4×	`add-sqr-sqrt_binary64_1123` `unpow-prod-down_binary64_1180` `add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136`
3×	`cbrt-unprod_binary64_1134` `pow-prod-down_binary64_1172`
2×	`pow-exp_binary64_1169` `distribute-lft-out_binary64_1052` `pow-to-exp_binary64_1170`
1×	`-commutative_binary64_1032` `sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `associate-l*_binary64_1042` `sqr-pow_binary64_1073`

Counts

2 → 39

Calls

4 calls:

12.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))
6.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))

series194.0ms (0.2%)

Counts

2 → 17

Calls

2 calls:

170.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (pow.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) 1))
24.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 516 to 446 computations (13.6% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4947	998
1	4947	998

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

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (cos.f64 re) 2)
0.2b	(.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
0.2b	(.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.2b	(pow.f64 (cos.f64 re) 2)
0.4b	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-exp-log_binary64_1139`
19×	`prod-exp_binary64_1150`
18×	`add-cbrt-cube_binary64_1137`
12×	`pow1_binary64_1162` `associate-*r/_binary64_1043`
10×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
9×	`cbrt-unprod_binary64_1134`
8×	`add-cube-cbrt_binary64_1136`
5×	`distribute-lft-in_binary64_1050` `associate-r_binary64_1041` `distribute-rgt-in_binary64_1051`
4×	`add-log-exp_binary64_1140` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
3×	`pow-exp_binary64_1169` `unpow-prod-down_binary64_1180` `flip3-+_binary64_1104` `pow-unpow_binary64_1178` `flip-+_binary64_1075` `pow-to-exp_binary64_1170`
2×	`*-commutative_binary64_1032` `cbrt-div_binary64_1133`
1×	`pow1/3_binary64_1183` `pow-pow_binary64_1173` `distribute-lft-out_binary64_1052` `unswap-sqr_binary64_1069` `sqr-pow_binary64_1073` `cbrt-prod_binary64_1132` `unpow2_binary64_1166`

Counts

4 → 82

Calls

8 calls:

14.0ms	(.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
13.0ms	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
9.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
2.0ms	(pow.f64 (cos.f64 re) 2)
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series735.0ms (0.9%)

Counts

4 → 29

Calls

4 calls:

384.0ms	(cbrt.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
205.0ms	(.f64 (.f64 (pow.f64 (cos.f64 re) 2) 4) (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
114.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
31.0ms	(pow.f64 (cos.f64 re) 2)

Compiler

Compiled 1160 to 961 computations (17.2% saved)

simplify60.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5443	2100

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (pow.f64 re 4) 1/16) (.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))))))
0.0b	(.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)) (/.f64 (-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6))) (+.f64 (.f64 (pow.f64 re 4) 1/16) (.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4))))))))
0.0b	(+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (*.f64 1/48 (pow.f64 re 4))))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.1b	(*.f64 1/48 (pow.f64 re 4))
0.1b	(*.f64 1/48 (pow.f64 re 4))
21.6b	(-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6)))
23.4b	(/.f64 (-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6))) (+.f64 (.f64 (pow.f64 re 4) 1/16) (.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))))))

rewrite57.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_1123`
18×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
16×	`add-exp-log_binary64_1139`
14×	`associate-r_binary64_1041`
10×	`add-cbrt-cube_binary64_1137`
9×	`times-frac_binary64_1107`
8×	`unpow-prod-down_binary64_1180`
6×	`add-log-exp_binary64_1140` `prod-exp_binary64_1150` `associate-l_binary64_1042` `unswap-sqr_binary64_1069`
4×	`pow1_binary64_1162` `sqr-pow_binary64_1073`
3×	`associate-/l_binary64_1046` `associate-/r_binary64_1045`
2×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047` `pow-to-exp_binary64_1170`
1×	`diff-log_binary64_1193` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `flip3-+_binary64_1104` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075` `cancel-sign-sub-inv_binary64_1067` `div-sub_binary64_1106`

Counts

4 → 94

Calls

8 calls:

16.0ms	(/.f64 (-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6))) (+.f64 (.f64 (pow.f64 re 4) 1/16) (.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))))))
14.0ms	(-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6)))
6.0ms	(*.f64 1/48 (pow.f64 re 4))
6.0ms	(*.f64 1/48 (pow.f64 re 4))
0.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series236.0ms (0.3%)

Counts

4 → 17

Calls

4 calls:

89.0ms	(/.f64 (-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6))) (+.f64 (.f64 (pow.f64 re 4) 1/16) (.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) (+.f64 (.f64 1/4 (.f64 re re)) (+.f64 1/2 (.f64 1/48 (pow.f64 re 4)))))))
58.0ms	(-.f64 (pow.f64 (+.f64 1/2 (.f64 1/48 (pow.f64 re 4))) 3) (.f64 1/64 (pow.f64 re 6)))
45.0ms	(*.f64 1/48 (pow.f64 re 4))
44.0ms	(*.f64 1/48 (pow.f64 re 4))

Compiler

Compiled 1074 to 927 computations (13.7% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5426	3863

localize27.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.0b	(/.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))) (+.f64 (.f64 (exp.f64 (neg.f64 im)) (exp.f64 (neg.f64 im))) (-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (*.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
0.0b	(+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))
0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))
0.0b	(*.f64 (exp.f64 im) (exp.f64 im))
0.0b	(pow.f64 (exp.f64 im) -3)
0.0b	(pow.f64 (exp.f64 im) 3)
5.0b	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`exp-prod_binary64_1153`
23×	`add-sqr-sqrt_binary64_1123`
21×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
13×	`pow1_binary64_1162`
8×	`pow-pow_binary64_1173`
7×	`add-cbrt-cube_binary64_1137`
6×	`unpow-prod-down_binary64_1180` `add-log-exp_binary64_1140` `pow-unpow_binary64_1178`
4×	`pow-prod-up_binary64_1171` `add-exp-log_binary64_1139` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
3×	`cube-prod_binary64_1129` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`pow-exp_binary64_1169` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170`
1×	`pow-plus_binary64_1164` `diff-log_binary64_1193` `*-commutative_binary64_1032` `cube-mult_binary64_1131` `rem-cube-cbrt_binary64_1124` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-rgt-out--_binary64_1055` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `unpow3_binary64_1167` `unswap-sqr_binary64_1069` `cancel-sign-sub-inv_binary64_1067` `pow2_binary64_1182`

Counts

4 → 93

Calls

8 calls:

7.0ms	(*.f64 (exp.f64 im) (exp.f64 im))
7.0ms	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.0ms	(pow.f64 (exp.f64 im) -3)
4.0ms	(pow.f64 (exp.f64 im) 3)
0.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3)))

series196.0ms (0.2%)

Counts

4 → 24

Calls

4 calls:

59.0ms	(pow.f64 (exp.f64 im) -3)
58.0ms	(-.f64 (.f64 (exp.f64 im) (exp.f64 im)) (.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
45.0ms	(pow.f64 (exp.f64 im) 3)
33.0ms	(*.f64 (exp.f64 im) (exp.f64 im))

Compiler

Compiled 1300 to 880 computations (32.3% saved)

simplify112.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4850	934
1	4850	934

prune21.3s (25.1%)

Pruning

518 alts after pruning (505 fresh and 13 done)

	Pruned	Kept	Total
New	239	156	395
Fresh	16	349	365
Picked	0	0	0
Done	2	13	15
Total	257	518	775

Error

Counts

775 → 518

Compiler

Compiled 10928 to 6468 computations (40.8% saved)

simplify649.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5068	45450

regimes6.9s (8.1%)

Compiler: Compiled 94520 to 69154 computations (26.8% saved)

bsearch0.0ms (0%)

regimes132.0ms (0.2%)

Compiler: Compiled 954 to 908 computations (4.8% saved)

bsearch0.0ms (0%)

regimes82.0ms (0.1%)

Compiler: Compiled 472 to 471 computations (0.2% saved)

bsearch0.0ms (0%)

regimes75.0ms (0.1%)

Compiler: Compiled 358 to 379 computations (-5.9% saved)

bsearch0.0ms (0%)

regimes30.0ms (0%)

Compiler: Compiled 41 to 71 computations (-73.2% saved)

bsearch0.0ms (0%)

regimes15.0ms (0%)

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

bsearch0.0ms (0%)

regimes15.0ms (0%)

Accuracy

Total 0.0b remaining (97.9%)

Threshold costs 0.0b (97.9%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch5.0ms (0%)

Compiler: Compiled 52 to 50 computations (3.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	79
1	46	79

end0.0ms (0%)

sample23.8s (28%)

Algorithm

1×

intervals

Results

701.0ms	1999×	body	1024	valid
449.0ms	2000×	body	1024	invalid
385.0ms	921×	body	512	invalid
265.0ms	4476×	body	128	valid
185.0ms	1017×	body	512	valid
59.0ms	533×	body	256	invalid
59.0ms	502×	body	256	valid
48.0ms	705×	body	128	invalid
4.0ms	6×	body	2048	valid

Compiler

Compiled 23741 to 17395 computations (26.7% saved)

Pareto

0.6533707571576833