Details

analyze499.0ms (0.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
49.9%	49.9%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
49.9%	49.9%	0.2%	7
53%	46.8%	0.2%	8
57.7%	42.1%	0.2%	9
61.6%	38.2%	0.2%	10
63.5%	30%	6.4%	11
63.5%	30%	6.4%	12
67.6%	25.9%	6.4%	13
68.9%	24.7%	6.4%	14

Compiler

Compiled 16 to 15 computations (6.3% saved)

sample94.0ms (0.1%)

Algorithm

1×

intervals

Results

21.0ms	51×	body	1024	valid
17.0ms	66×	body	1024	invalid
10.0ms	149×	body	128	valid
9.0ms	124×	body	128	invalid
9.0ms	38×	body	512	valid
6.0ms	30×	body	512	invalid
2.0ms	17×	body	256	valid
1.0ms	10×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify197.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4815	24
1	4815	24

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

17.7b

Counts

2 → 1

Compiler

Compiled 15 to 14 computations (6.7% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0b	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0b	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0b	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
14×	`*-un-lft-identity_binary64_1101`
11×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
10×	`add-cube-cbrt_binary64_1136`
9×	`associate-r_binary64_1041` `cancel-sign-sub-inv_binary64_1067`
8×	`add-log-exp_binary64_1140`
4×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `distribute-lft-in_binary64_1050` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `associate-l*_binary64_1042` `distribute-rgt-in_binary64_1051`
3×	`sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105`
2×	`-commutative_binary64_1032` `difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `associate-l/_binary64_1044` `sinh-undef_binary64_1294`
1×	`diff-log_binary64_1193` `sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `unswap-sqr_binary64_1069`

Counts

4 → 79

Calls

8 calls:

10.0ms	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
10.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
9.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

series1.1s (1.2%)

Counts

4 → 50

Calls

4 calls:

640.0ms	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
289.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
101.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
35.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1529 to 1337 computations (12.6% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5072	2563

prune563.0ms (0.6%)

Pruning

49 alts after pruning (49 fresh and 0 done)

	Pruned	Kept	Total
New	80	49	129
Fresh	0	0	0
Picked	0	0	0
Done	1	0	1
Total	81	49	130

Error

0.0b

Counts

130 → 49

Compiler

Compiled 2909 to 1693 computations (41.8% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
0.0b	(sinh.f64 l)
0.0b	(+.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (.f64 J 2) (sinh.f64 l))
0.0b	(.f64 (.f64 J 2) (sinh.f64 l))
0.0b	(+.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)
0.0b	(sinh.f64 l)
0.1b	(.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2)))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
9×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
6×	`add-sqr-sqrt_binary64_1123` `-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136` `associate-r*_binary64_1041`
3×	`sinh-def_binary64_1286`
2×	`-commutative_binary64_1032` `associate-r/_binary64_1043` `associate-l_binary64_1042`
1×	`sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `associate-*l/_binary64_1044`

Counts

4 → 60

Calls

8 calls:

10.0ms	(.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
8.0ms	(+.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)
5.0ms	(.f64 (.f64 J 2) (sinh.f64 l))
1.0ms	(sinh.f64 l)
0.0ms	(.f64 (.f64 J 2) (sinh.f64 l))

series1.2s (1.3%)

Counts

4 → 50

Calls

4 calls:

584.0ms	(+.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)
395.0ms	(.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
153.0ms	(.f64 (.f64 J 2) (sinh.f64 l))
45.0ms	(sinh.f64 l)

Compiler

Compiled 1545 to 1353 computations (12.4% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5063	1908

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2)))
0.0b	(+.f64 (.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2))) U)
0.1b	(.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

4 calls:

9.0ms	(+.f64 (.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2))) U)
8.0ms	(.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2)))
0.0ms	(+.f64 (.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2))) U)
0.0ms	(.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2)))

series565.0ms (0.6%)

Counts

2 → 32

Calls

2 calls:

340.0ms	(+.f64 (.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2))) U)
224.0ms	(.f64 (.f64 J (+.f64 l l)) (cos.f64 (/.f64 K 2)))

Compiler

Compiled 612 to 611 computations (0.2% saved)

simplify44.0ms (0%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4910	1071
1	4910	1071

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0b	(.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2)))
0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0b	(+.f64 (.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2))) U)
0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0b	(.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2)))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1123`
15×	`*-un-lft-identity_binary64_1101`
14×	`add-exp-log_binary64_1139`
11×	`add-cube-cbrt_binary64_1136`
9×	`associate-r_binary64_1041` `cancel-sign-sub-inv_binary64_1067`
8×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `associate-l_binary64_1042`
7×	`pow1_binary64_1162`
6×	`prod-exp_binary64_1150`
4×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
3×	`sub-neg_binary64_1094` `unswap-sqr_binary64_1069`
2×	`-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `associate-r/_binary64_1043` `pow-prod-down_binary64_1172` `sqr-pow_binary64_1073` `sinh-undef_binary64_1294`
1×	`diff-log_binary64_1193` `unpow-prod-down_binary64_1180` `sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `pow-to-exp_binary64_1170`

Counts

4 → 83

Calls

8 calls:

9.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
8.0ms	(.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2)))
7.0ms	(+.f64 (.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2))) U)
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(+.f64 (.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2))) U)

series1.0s (1.2%)

Counts

4 → 50

Calls

4 calls:

641.0ms	(+.f64 (.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2))) U)
281.0ms	(.f64 (pow.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) 1) (cos.f64 (/.f64 K 2)))
95.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
32.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1573 to 1381 computations (12.2% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4931	2692
1	4931	2692

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (sqrt.f64 J) (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
0.0b	(.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2)))
0.0b	(+.f64 (.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2)))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
0.0b	(.f64 (sqrt.f64 J) (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite52.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
19×	`add-sqr-sqrt_binary64_1123`
15×	`*-un-lft-identity_binary64_1101`
13×	`associate-l_binary64_1042`
11×	`add-cube-cbrt_binary64_1136`
10×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `associate-r_binary64_1041` `pow-prod-down_binary64_1172`
8×	`associate-*l/_binary64_1044`
7×	`sqrt-prod_binary64_1117`
6×	`add-log-exp_binary64_1140`
4×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-*r/_binary64_1043`
3×	`*-commutative_binary64_1032` `cancel-sign-sub-inv_binary64_1067`
2×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `unswap-sqr_binary64_1069` `sinh-undef_binary64_1294`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094`

Counts

4 → 90

Calls

8 calls:

14.0ms	(.f64 (sqrt.f64 J) (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))
13.0ms	(.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2)))
9.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(+.f64 (.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2))) U)

series495.0ms (0.6%)

Counts

4 → 37

Calls

4 calls:

271.0ms	(.f64 (.f64 (sqrt.f64 J) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (cos.f64 (/.f64 K 2)))
101.0ms	(.f64 (sqrt.f64 J) (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))
94.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
29.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1337 to 1124 computations (15.9% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4901	2375
1	4901	2375

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 (neg.f64 l)))
0.0b	(*.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J)
0.0b	(+.f64 (.f64 (.f64 (*.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))
0.0b	(sqrt.f64 (exp.f64 l))
0.0b	(.f64 (.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))))
0.0b	(.f64 (.f64 (*.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2)))
6.4b	(-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))

rewrite72.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_1123`
24×	`sqrt-prod_binary64_1117` `associate-*l/_binary64_1044`
22×	`*-un-lft-identity_binary64_1101`
19×	`pow1_binary64_1162`
18×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`
14×	`add-cube-cbrt_binary64_1136`
12×	`associate-r_binary64_1041`
9×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
8×	`difference-of-squares_binary64_1070` `frac-times_binary64_1111`
7×	`distribute-lft-in_binary64_1050` `flip--_binary64_1076` `flip3--_binary64_1105` `distribute-rgt-in_binary64_1051`
6×	`add-log-exp_binary64_1140` `flip3-+_binary64_1104` `flip-+_binary64_1075`
4×	`sqrt-pow1_binary64_1119` `distribute-lft-out--_binary64_1053` `associate-*r/_binary64_1043`
3×	`sub-neg_binary64_1094` `exp-prod_binary64_1153`
2×	`-commutative_binary64_1032` `associate-l*_binary64_1042`
1×	`diff-log_binary64_1193` `rem-sqrt-square_binary64_1114` `pow1/2_binary64_1181`

Counts

4 → 114

Calls

8 calls:

22.0ms	(.f64 (.f64 (*.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2)))
20.0ms	(.f64 (.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))))
8.0ms	(-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))
2.0ms	(sqrt.f64 (exp.f64 l))
0.0ms	(+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))

series980.0ms (1.1%)

Counts

4 → 34

Calls

4 calls:

607.0ms	(.f64 (.f64 (*.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2)))
297.0ms	(.f64 (.f64 (+.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))) J) (-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l)))))
50.0ms	(-.f64 (sqrt.f64 (exp.f64 l)) (sqrt.f64 (exp.f64 (neg.f64 l))))
26.0ms	(sqrt.f64 (exp.f64 l))

Compiler

Compiled 1382 to 1061 computations (23.2% saved)

simplify110.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4958	3650
1	4958	3650

prune7.4s (8.3%)

Pruning

196 alts after pruning (193 fresh and 3 done)

	Pruned	Kept	Total
New	419	162	581
Fresh	13	31	44
Picked	0	0	0
Done	2	3	5
Total	434	196	630

Error

0.0b

Counts

630 → 196

Compiler

Compiled 13086 to 7258 computations (44.5% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
0.0b	(sinh.f64 l)
0.0b	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
0.0b	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
0.0b	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
0.0b	(sinh.f64 l)
0.1b	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))

rewrite41.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-exp-log_binary64_1139`
34×	`pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
33×	`prod-exp_binary64_1150`
21×	`cbrt-unprod_binary64_1134` `pow-prod-down_binary64_1172`
6×	`add-log-exp_binary64_1140`
5×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`1-exp_binary64_1145` `associate-r/_binary64_1043` `associate-r*_binary64_1041`
3×	`sinh-def_binary64_1286`
2×	`-commutative_binary64_1032` `associate-l*_binary64_1042`
1×	`sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `associate-*l/_binary64_1044`

Counts

4 → 74

Calls

8 calls:

12.0ms	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
11.0ms	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
7.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
1.0ms	(sinh.f64 l)
0.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))

series1.2s (1.3%)

Counts

4 → 50

Calls

4 calls:

581.0ms	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
396.0ms	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
156.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
43.0ms	(sinh.f64 l)

Compiler

Compiled 1561 to 1369 computations (12.3% saved)

simplify100.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4934	2103
1	4934	2103

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 J (+.f64 l l)) U)
0.0b	(+.f64 (*.f64 J (+.f64 l l)) U)

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_1140`
2×	`associate-+l+_binary64_1034`
1×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `sum-log_binary64_1192` `add-exp-log_binary64_1139` `pow1_binary64_1162` `distribute-lft-in_binary64_1050` `flip3-+_binary64_1104` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `+-commutative_binary64_1031` `flip-+_binary64_1075` `distribute-rgt-in_binary64_1051`

Counts

1 → 13

Calls

2 calls:

6.0ms	(+.f64 (*.f64 J (+.f64 l l)) U)
0.0ms	(+.f64 (*.f64 J (+.f64 l l)) U)

series109.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

109.0ms

(+.f64 (*.f64 J (+.f64 l l)) U)

Compiler

Compiled 155 to 195 computations (-25.8% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4986	324
1	4986	324

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
0.0b	(+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))
0.0b	(+.f64 (.f64 (pow.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))
0.0b	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
0.0b	(*.f64 1/60 (pow.f64 l 5))
0.1b	(*.f64 1/3 (pow.f64 l 3))
0.1b	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_1123`
25×	`associate-r_binary64_1041`
24×	`add-exp-log_binary64_1139`
15×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
14×	`associate-l_binary64_1042`
12×	`prod-exp_binary64_1150` `add-cbrt-cube_binary64_1137`
10×	`unswap-sqr_binary64_1069`
9×	`unpow-prod-down_binary64_1180`
7×	`pow1_binary64_1162`
6×	`sqr-pow_binary64_1073`
4×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `cube-prod_binary64_1129` `cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140`
3×	`pow-to-exp_binary64_1170`
2×	`associate-*r/_binary64_1043` `pow-prod-down_binary64_1172`
1×	`cube-mult_binary64_1131` `distribute-lft-in_binary64_1050` `flip3-+_binary64_1104` `unpow3_binary64_1167` `flip-+_binary64_1075` `distribute-rgt-in_binary64_1051`

Counts

4 → 102

Calls

8 calls:

16.0ms	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
7.0ms	(*.f64 1/3 (pow.f64 l 3))
6.0ms	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))
6.0ms	(*.f64 1/60 (pow.f64 l 5))
0.0ms	(+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))

series1.1s (1.2%)

Counts

4 → 34

Calls

4 calls:

675.0ms	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))
320.0ms	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
39.0ms	(*.f64 1/60 (pow.f64 l 5))
33.0ms	(*.f64 1/3 (pow.f64 l 3))

Compiler

Compiled 1538 to 1354 computations (12% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5846	2854

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sinh.f64 l)
0.0b	(sinh.f64 l)
0.0b	(.f64 (.f64 J 2) (sinh.f64 l))
0.0b	(-.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)
0.3b	(*.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2)))
0.5b	(-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (*.f64 U U))
18.0b	(.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l)))))
23.9b	(/.f64 (-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (.f64 U U)) (-.f64 (.f64 (.f64 (.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U))

rewrite104.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`pow1_binary64_1162`
64×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
45×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
19×	`associate-*r/_binary64_1043`
18×	`add-sqr-sqrt_binary64_1123`
16×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
9×	`times-frac_binary64_1107`
8×	`sinh-def_binary64_1286`
6×	`add-log-exp_binary64_1140`
5×	`frac-times_binary64_1111` `cos-mult_binary64_1255`
4×	`associate-r_binary64_1041` `associate-l_binary64_1042`
3×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l_binary64_1046` `swap-sqr_binary64_1068` `associate-l/_binary64_1044` `associate-/r*_binary64_1045`
2×	`*-commutative_binary64_1032` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`pow-plus_binary64_1164` `diff-log_binary64_1193` `sqr-cos-a_binary64_1250` `pow-prod-up_binary64_1171` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `div-inv_binary64_1098` `pow-sqr_binary64_1074` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `unswap-sqr_binary64_1069` `cancel-sign-sub-inv_binary64_1067` `pow2_binary64_1182` `div-sub_binary64_1106`

Counts

4 → 124

Calls

8 calls:

32.0ms	(/.f64 (-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (.f64 U U)) (-.f64 (.f64 (.f64 (.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U))
25.0ms	(.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l)))))
20.0ms	(-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (*.f64 U U))
5.0ms	(*.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2)))
0.0ms	(-.f64 (.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U)

series5.3s (5.9%)

Counts

4 → 58

Calls

4 calls:

3.1s	(/.f64 (-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (.f64 U U)) (-.f64 (.f64 (.f64 (.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2))) U))
1.4s	(-.f64 (.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l))))) (*.f64 U U))
730.0ms	(.f64 (.f64 J J) (.f64 4 (.f64 (.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2))) (.f64 (sinh.f64 l) (sinh.f64 l)))))
26.0ms	(*.f64 (cos.f64 (/.f64 K 2)) (cos.f64 (/.f64 K 2)))

Compiler

Compiled 7579 to 5045 computations (33.4% saved)

simplify123.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5370	8958

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
0.0b	(+.f64 (.f64 (.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (sqrt.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))))) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_1123`
20×	`*-un-lft-identity_binary64_1101`
12×	`add-cube-cbrt_binary64_1136` `associate-r_binary64_1041` `associate-l_binary64_1042`
8×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137`
6×	`cancel-sign-sub-inv_binary64_1067`
4×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `sinh-undef_binary64_1294`
2×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `sub-neg_binary64_1094` `pow-prod-down_binary64_1172`

Counts

4 → 88

Calls

8 calls:

14.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
10.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))) (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))))

series216.0ms (0.2%)

Counts

4 → 18

Calls

4 calls:

91.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
81.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
22.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
21.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1276 to 884 computations (30.7% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5262	1640

prune16.0s (18%)

Pruning

340 alts after pruning (332 fresh and 8 done)

	Pruned	Kept	Total
New	425	154	579
Fresh	10	178	188
Picked	0	0	0
Done	0	8	8
Total	435	340	775

Error

Counts

775 → 340

Compiler

Compiled 24493 to 15427 computations (37% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
0.0b	(sinh.f64 l)
0.0b	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
0.0b	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
0.0b	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
0.0b	(sinh.f64 l)
0.1b	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-exp-log_binary64_1139`
34×	`pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
33×	`prod-exp_binary64_1150`
21×	`cbrt-unprod_binary64_1134` `pow-prod-down_binary64_1172`
6×	`add-log-exp_binary64_1140`
5×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`1-exp_binary64_1145` `associate-r/_binary64_1043` `associate-r*_binary64_1041`
3×	`sinh-def_binary64_1286`
2×	`-commutative_binary64_1032` `associate-l*_binary64_1042`
1×	`sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `associate-*l/_binary64_1044`

Counts

4 → 74

Calls

8 calls:

10.0ms	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
10.0ms	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
7.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
1.0ms	(sinh.f64 l)
0.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))

series1.2s (1.3%)

Counts

4 → 50

Calls

4 calls:

583.0ms	(+.f64 (.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
378.0ms	(.f64 (.f64 (.f64 J 2) (.f64 1 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
160.0ms	(.f64 (.f64 J 2) (*.f64 1 (sinh.f64 l)))
46.0ms	(sinh.f64 l)

Compiler

Compiled 1713 to 1521 computations (11.2% saved)

simplify107.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4934	2103
1	4934	2103

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2)))
0.0b	(pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3)
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J)
0.0b	(+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U)
0.0b	(pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3)
0.0b	(.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2)))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
39.0b	(cbrt.f64 (pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3))

rewrite50.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
12×	`add-cube-cbrt_binary64_1136` `cbrt-prod_binary64_1132`
10×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
6×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `add-log-exp_binary64_1140`
4×	`cube-div_binary64_1130` `associate-*l/_binary64_1044`
3×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-unpow_binary64_1178` `associate-r_binary64_1041` `pow-prod-down_binary64_1172` `cancel-sign-sub-inv_binary64_1067`
2×	`cube-mult_binary64_1131` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `unpow3_binary64_1167` `flip-+_binary64_1075` `sqr-pow_binary64_1073` `cbrt-div_binary64_1133`
1×	`diff-log_binary64_1193` `-commutative_binary64_1032` `pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `pow1/3_binary64_1183` `difference-of-squares_binary64_1070` `pow-pow_binary64_1173` `sub-neg_binary64_1094` `distribute-lft-out--_binary64_1053` `associate-l*_binary64_1042` `pow-to-exp_binary64_1170` `sinh-undef_binary64_1294` `rem-cbrt-cube_binary64_1125`

Counts

4 → 85

Calls

8 calls:

12.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3))
12.0ms	(pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3)
10.0ms	(.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2)))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U)

series2.5s (2.9%)

Counts

4 → 74

Calls

4 calls:

1.6s	(pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3)
638.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2))) U) 3))
286.0ms	(.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (cos.f64 (/.f64 K 2)))
30.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 5395 to 4133 computations (23.4% saved)

simplify118.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5025	7240

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 J (+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
0.0b	(+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))
0.0b	(+.f64 (.f64 (pow.f64 (.f64 J (+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2))) U)
0.0b	(+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))
0.1b	(.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 (pow.f64 l 3) (cbrt.f64 1/3)))
0.1b	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))
0.1b	(*.f64 (pow.f64 l 3) (cbrt.f64 1/3))
1.0b	(*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))

rewrite56.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary64_1123`
43×	`add-exp-log_binary64_1139`
27×	`prod-exp_binary64_1150`
24×	`associate-l_binary64_1042`
23×	`cbrt-prod_binary64_1132`
19×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
17×	`pow1_binary64_1162`
16×	`associate-r_binary64_1041`
14×	`unswap-sqr_binary64_1069`
13×	`add-cbrt-cube_binary64_1137`
11×	`cbrt-unprod_binary64_1134`
6×	`pow1/3_binary64_1183` `unpow-prod-down_binary64_1180` `swap-sqr_binary64_1068` `pow-prod-down_binary64_1172`
5×	`pow-exp_binary64_1169` `cube-prod_binary64_1129` `sqr-pow_binary64_1073`
4×	`*-commutative_binary64_1032` `add-log-exp_binary64_1140` `pow-to-exp_binary64_1170`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074`
1×	`pow-plus_binary64_1164` `cube-mult_binary64_1131` `unpow3_binary64_1167` `pow2_binary64_1182`

Counts

4 → 126

Calls

8 calls:

12.0ms	(*.f64 (pow.f64 l 3) (cbrt.f64 1/3))
11.0ms	(.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 (pow.f64 l 3) (cbrt.f64 1/3)))
8.0ms	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))
7.0ms	(*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))
0.0ms	(+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))

series1.0s (1.1%)

Counts

4 → 22

Calls

4 calls:

873.0ms	(.f64 (pow.f64 (.f64 J (+.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (pow.f64 l 3) (cbrt.f64 1/3))) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) 1) (cos.f64 (/.f64 K 2)))
88.0ms	(.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 (pow.f64 l 3) (cbrt.f64 1/3)))
47.0ms	(*.f64 (pow.f64 l 3) (cbrt.f64 1/3))
0.0ms	(*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))

Compiler

Compiled 1227 to 1085 computations (11.6% saved)

simplify63.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5043	2558

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))
0.0b	(pow.f64 E.f64 (*.f64 2 (sinh.f64 l)))
0.0b	(+.f64 (.f64 (.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))) (sqrt.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))))) (cos.f64 (/.f64 K 2))) U)
0.0b	(.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))) (sqrt.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))))
0.0b	(.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
6.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
6.5b	(log.f64 (pow.f64 E.f64 (*.f64 2 (sinh.f64 l))))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_1123`
17×	`*-un-lft-identity_binary64_1101`
13×	`add-cube-cbrt_binary64_1136`
12×	`associate-r_binary64_1041`
10×	`add-exp-log_binary64_1139` `associate-l_binary64_1042`
8×	`pow1_binary64_1162` `sqrt-prod_binary64_1117` `add-cbrt-cube_binary64_1137`
7×	`log-prod_binary64_1187`
6×	`add-log-exp_binary64_1140`
4×	`rem-log-exp_binary64_1142` `unswap-sqr_binary64_1069`
3×	`unpow-prod-down_binary64_1180` `cancel-sign-sub-inv_binary64_1067`
2×	`-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `pow-prod-down_binary64_1172` `log-pow_binary64_1190` `associate-l/_binary64_1044` `sinh-undef_binary64_1294`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `sqr-pow_binary64_1073` `e-exp-1_binary64_1146` `pow-to-exp_binary64_1170`

Counts

4 → 86

Calls

8 calls:

10.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
6.0ms	(.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
3.0ms	(log.f64 (pow.f64 E.f64 (*.f64 2 (sinh.f64 l))))
0.0ms	(.f64 (sqrt.f64 J) (.f64 (sqrt.f64 (.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))) (sqrt.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J)))))

series514.0ms (0.6%)

Counts

4 → 18

Calls

4 calls:

252.0ms	(.f64 (log.f64 (pow.f64 E.f64 (.f64 2 (sinh.f64 l)))) (sqrt.f64 J))
151.0ms	(log.f64 (pow.f64 E.f64 (*.f64 2 (sinh.f64 l))))
86.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (sqrt.f64 J))
24.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1294 to 972 computations (24.9% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4853	1237
1	4853	1237

prune24.1s (27%)

Pruning

473 alts after pruning (460 fresh and 13 done)

	Pruned	Kept	Total
New	376	159	535
Fresh	26	301	327
Picked	0	0	0
Done	0	13	13
Total	402	473	875

Error

Counts

875 → 473

Compiler

Compiled 11453 to 7097 computations (38% saved)

simplify618.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4995	46584
1	4995	46584

regimes13.5s (15.2%)

Compiler: Compiled 180113 to 134055 computations (25.6% saved)

bsearch0.0ms (0%)

regimes388.0ms (0.4%)

Compiler: Compiled 2622 to 2762 computations (-5.3% saved)

bsearch0.0ms (0%)

regimes157.0ms (0.2%)

Compiler: Compiled 424 to 480 computations (-13.2% saved)

bsearch226.0ms (0.3%)

Steps

Iters

Range

Point

-2.15673274499205e+132

-2.9389913602977252e+131

-2.124979930094211e+132

-6.465229963365503e+157

-1.0272065066330084e+155

-1.036908238623153e+155

-4.1355660230699926e+262

-7.179437563991145e+253

-1.0248851657408603e+257

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes84.0ms (0.1%)

Compiler: Compiled 384 to 440 computations (-14.6% saved)

bsearch0.0ms (0%)

regimes83.0ms (0.1%)

Compiler: Compiled 352 to 404 computations (-14.8% saved)

bsearch0.0ms (0%)

regimes77.0ms (0.1%)

Compiler: Compiled 44 to 132 computations (-200% saved)

bsearch273.0ms (0.3%)

Steps

Iters	Range		Point
8	2.6590400222090937e-184	1.4436112880322046e-179	5.965809540484049e-184
7	-1.087721200151163e-237	-1.7359197309394059e-239	-5.255952915470628e-239
10	-1.1406223463340902e-118	-1.2783180297420372e-134	-1.1149716906082464e-118
7	-7.237917419674923e-99	-4.798199090271361e-101	-6.651757748365109e-101

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes38.0ms (0%)

Compiler: Compiled 24 to 108 computations (-350% saved)

bsearch7.0ms (0%)

Compiler: Compiled 117 to 92 computations (21.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	77	166
1	77	166

end0.0ms (0%)

sample4.1s (4.6%)

Algorithm

1×

intervals

Results

710.0ms	1665×	body	1024	valid
535.0ms	1967×	body	1024	invalid
306.0ms	4418×	body	128	valid
268.0ms	1176×	body	512	valid
244.0ms	3380×	body	128	invalid
208.0ms	1013×	body	512	invalid
101.0ms	690×	body	256	valid
62.0ms	461×	body	256	invalid
35.0ms	51×	body	2048	valid

Compiler

Compiled 22159 to 16525 computations (25.4% saved)