Details

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

sample102.0ms (0.1%)

Algorithm

1×

intervals

Results

24.0ms	58×	body	1024	valid
17.0ms	68×	body	1024	invalid
12.0ms	142×	body	128	valid
7.0ms	36×	body	512	valid
7.0ms	106×	body	128	invalid
6.0ms	36×	body	512	invalid
3.0ms	20×	body	256	valid
2.0ms	15×	body	256	invalid

Compiler

Compiled 34 to 40 computations (-17.6% saved)

simplify193.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4815	27
1	4815	27

prune3.0ms (0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Kept	Total
New	4	4
Fresh	4	4
Picked	0	0
Done	0	0
Total	8	8

Error

17.2b

Counts

8 → 4

Compiler

Compiled 18 to 17 computations (5.6% saved)

localize16.0ms (0%)

Local error

Found 6 expressions with local error:

5.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 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)))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1123`
13×	`*-un-lft-identity_binary64_1101`
10×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
9×	`add-cube-cbrt_binary64_1136` `associate-r_binary64_1041` `cancel-sign-sub-inv_binary64_1067`
5×	`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` `unswap-sqr_binary64_1069`

Counts

3 → 68

Calls

6 calls:

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))))
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))

series394.0ms (0.5%)

Counts

3 → 27

Calls

3 calls:

271.0ms	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
93.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
30.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 787 to 710 computations (9.8% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4932	1651
1	4932	1651

prune375.0ms (0.5%)

Pruning

42 alts after pruning (41 fresh and 1 done)

	Pruned	Kept	Total
New	57	38	95
Fresh	0	3	3
Picked	0	0	0
Done	0	1	1
Total	57	42	99

Error

0.0b

Counts

99 → 42

Compiler

Compiled 2100 to 1237 computations (41.1% saved)

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`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×	`associate-r_binary64_1041`
5×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
3×	`add-log-exp_binary64_1140` `sinh-def_binary64_1286`
2×	`-commutative_binary64_1032` `associate-r/_binary64_1043` `associate-l_binary64_1042`
1×	`associate-*l/_binary64_1044`

Counts

3 → 49

Calls

6 calls:

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

series567.0ms (0.7%)

Counts

3 → 27

Calls

3 calls:

365.0ms	(.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
156.0ms	(.f64 (.f64 J 2) (sinh.f64 l))
45.0ms	(sinh.f64 l)

Compiler

Compiled 803 to 726 computations (9.6% saved)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5180	1111

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b	(.f64 J (cos.f64 (.f64 K 1/2)))
0.1b	(.f64 l (.f64 J (cos.f64 (*.f64 K 1/2))))
0.0b	(.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 K 1/2)))))
0.0b	(.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 K 1/2)))))
0.1b	(.f64 l (.f64 J (cos.f64 (*.f64 K 1/2))))
0.2b	(.f64 J (cos.f64 (.f64 K 1/2)))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
10×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172`
9×	`add-sqr-sqrt_binary64_1123` `associate-l_binary64_1042`
7×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
5×	`associate-r_binary64_1041`
3×	`*-commutative_binary64_1032` `add-log-exp_binary64_1140`
1×	`unswap-sqr_binary64_1069`

Counts

3 → 57

Calls

6 calls:

8.0ms	(.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 K 1/2)))))
7.0ms	(.f64 J (cos.f64 (.f64 K 1/2)))
6.0ms	(.f64 l (.f64 J (cos.f64 (*.f64 K 1/2))))
0.0ms	(.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 K 1/2)))))
0.0ms	(.f64 J (cos.f64 (.f64 K 1/2)))

series476.0ms (0.6%)

Counts

3 → 27

Calls

3 calls:

215.0ms	(.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 K 1/2)))))
182.0ms	(.f64 l (.f64 J (cos.f64 (*.f64 K 1/2))))
79.0ms	(.f64 J (cos.f64 (.f64 K 1/2)))

Compiler

Compiled 651 to 630 computations (3.2% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4801	1114
1	4801	1114

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.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 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))
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.1b	(*.f64 1/60 (pow.f64 l 5))
0.1b	(*.f64 1/3 (pow.f64 l 3))
0.1b	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))

rewrite54.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 98

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)))))
15.0ms	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
7.0ms	(*.f64 1/3 (pow.f64 l 3))
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.4%)

Counts

4 → 34

Calls

4 calls:

671.0ms	(.f64 (.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
330.0ms	(.f64 J (+.f64 (.f64 1/3 (pow.f64 l 3)) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5)))))
37.0ms	(*.f64 1/60 (pow.f64 l 5))
33.0ms	(*.f64 1/3 (pow.f64 l 3))

Compiler

Compiled 1478 to 1294 computations (12.4% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5382	2654

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))
0.0b	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)
0.0b	(.f64 (.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))) (cos.f64 (/.f64 K 2)))
0.0b	(*.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)))
0.0b	(.f64 (.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))) (cos.f64 (/.f64 K 2)))
0.0b	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)
0.3b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
18×	`cbrt-prod_binary64_1132`
12×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `add-cube-cbrt_binary64_1136`
10×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
9×	`add-cbrt-cube_binary64_1137`
6×	`add-log-exp_binary64_1140` `cube-div_binary64_1130`
5×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `sinh-undef_binary64_1294`
4×	`flip--_binary64_1076` `flip3--_binary64_1105` `cbrt-div_binary64_1133`
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` `associate-r/_binary64_1043` `unpow3_binary64_1167` `associate-l/_binary64_1044` `sqr-pow_binary64_1073`
1×	`diff-log_binary64_1193` `-commutative_binary64_1032` `pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `pow1/3_binary64_1183` `pow-pow_binary64_1173` `sub-neg_binary64_1094` `associate-l*_binary64_1042` `pow-to-exp_binary64_1170` `rem-cbrt-cube_binary64_1125`

Counts

4 → 97

Calls

8 calls:

13.0ms	(.f64 (.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))) (cos.f64 (/.f64 K 2)))
7.0ms	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))
6.0ms	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(*.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)))

series402.0ms (0.5%)

Counts

4 → 30

Calls

4 calls:

267.0ms	(.f64 (.f64 J (cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))) (cos.f64 (/.f64 K 2)))
72.0ms	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3)
33.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
29.0ms	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) 3))

Compiler

Compiled 879 to 804 computations (8.5% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4989	2311
1	4989	2311

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))
0.0b	(.f64 (.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2))))) (cbrt.f64 (cos.f64 (/.f64 K 2))))
0.0b	(.f64 (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J) (*.f64 (cbrt.f64 (cos.f64 (/.f64 K 2))) (cbrt.f64 (cos.f64 (/.f64 K 2)))))
0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J)
0.3b	(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b	(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.3b	(cbrt.f64 (cos.f64 (/.f64 K 2)))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
9×	`cbrt-prod_binary64_1132`
8×	`add-cube-cbrt_binary64_1136`
6×	`add-log-exp_binary64_1140`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`pow1/3_binary64_1183` `cancel-sign-sub-inv_binary64_1067`
1×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `sinh-undef_binary64_1294`

Counts

4 → 50

Calls

8 calls:

6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
1.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
1.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
1.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
0.0ms	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) J)

series230.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

67.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
67.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
63.0ms	(cbrt.f64 (cos.f64 (/.f64 K 2)))
33.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 760 to 683 computations (10.1% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4851	789
1	4851	789

prune6.9s (8.7%)

Pruning

184 alts after pruning (179 fresh and 5 done)

	Pruned	Kept	Total
New	336	148	484
Fresh	5	31	36
Picked	0	0	0
Done	1	5	6
Total	342	184	526

Error

0.0b

Counts

526 → 184

Compiler

Compiled 12332 to 8667 computations (29.7% saved)

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64_1139`
11×	`prod-exp_binary64_1150`
10×	`add-cbrt-cube_binary64_1137`
9×	`add-sqr-sqrt_binary64_1123` `pow1_binary64_1162`
6×	`-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `associate-r_binary64_1041` `associate-l*_binary64_1042`
4×	`cbrt-unprod_binary64_1134` `pow-prod-down_binary64_1172`
3×	`pow-exp_binary64_1169` `add-log-exp_binary64_1140`
2×	`*-commutative_binary64_1032` `unswap-sqr_binary64_1069` `sqr-pow_binary64_1073` `sinh-def_binary64_1286`
1×	`unpow-prod-down_binary64_1180` `associate-*r/_binary64_1043` `pow-to-exp_binary64_1170`

Counts

3 → 52

Calls

6 calls:

7.0ms	(.f64 (pow.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) 1) (cos.f64 (/.f64 K 2)))
5.0ms	(.f64 (.f64 J 2) (sinh.f64 l))
1.0ms	(sinh.f64 l)
0.0ms	(sinh.f64 l)
0.0ms	(.f64 (.f64 J 2) (sinh.f64 l))

series572.0ms (0.7%)

Counts

3 → 27

Calls

3 calls:

371.0ms	(.f64 (pow.f64 (.f64 (*.f64 J 2) (sinh.f64 l)) 1) (cos.f64 (/.f64 K 2)))
156.0ms	(.f64 (.f64 J 2) (sinh.f64 l))
45.0ms	(sinh.f64 l)

Compiler

Compiled 847 to 770 computations (9.1% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4931	1213
1	4931	1213

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

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 J (cos.f64 (*.f64 K 1/2))) (cbrt.f64 l))
0.3b	(.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (.f64 (.f64 J (cos.f64 (*.f64 K 1/2))) (cbrt.f64 l)))
0.2b	(.f64 J (cos.f64 (.f64 K 1/2)))
0.0b	(.f64 2 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (.f64 (.f64 J (cos.f64 (.f64 K 1/2))) (cbrt.f64 l))))
0.5b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
0.7b	(cbrt.f64 l)
0.7b	(cbrt.f64 l)
0.7b	(cbrt.f64 l)

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_1132`
23×	`add-sqr-sqrt_binary64_1123`
15×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
11×	`pow1_binary64_1162`
9×	`pow1/3_binary64_1183`
6×	`add-exp-log_binary64_1139` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
2×	`pow-prod-up_binary64_1171` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow2_binary64_1182`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
0.0ms	(.f64 2 (.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (.f64 (.f64 J (cos.f64 (.f64 K 1/2))) (cbrt.f64 l))))

series326.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

90.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
80.0ms	(cbrt.f64 l)
79.0ms	(cbrt.f64 l)
76.0ms	(cbrt.f64 l)

Compiler

Compiled 514 to 454 computations (11.7% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
15×	`add-exp-log_binary64_1139`
11×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
10×	`pow1_binary64_1162` `associate-r_binary64_1041`
6×	`prod-exp_binary64_1150` `log-prod_binary64_1187` `cbrt-prod_binary64_1132`
4×	`cbrt-unprod_binary64_1134` `unpow-prod-down_binary64_1180` `add-log-exp_binary64_1140` `associate-l_binary64_1042`
3×	`pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069`
2×	`-commutative_binary64_1032` `pow1/3_binary64_1183` `associate-r/_binary64_1043` `log-pow_binary64_1190` `associate-*l/_binary64_1044` `sqr-pow_binary64_1073`
1×	`pow-exp_binary64_1169` `rem-log-exp_binary64_1142` `flip3-+_binary64_1104` `flip-+_binary64_1075` `pow-to-exp_binary64_1170`

Counts

4 → 72

Calls

8 calls:

14.0ms	(.f64 (.f64 J (+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 l 3)))) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
6.0ms	(*.f64 1/60 (pow.f64 l 5))
4.0ms	(cbrt.f64 (exp.f64 (pow.f64 l 3)))
3.0ms	(log.f64 (cbrt.f64 (exp.f64 (pow.f64 l 3))))
0.0ms	(exp.f64 (pow.f64 l 3))

series1.6s (2%)

Counts

4 → 28

Calls

4 calls:

1.2s	(.f64 (.f64 J (+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 l 3)))) (+.f64 (+.f64 l l) (*.f64 1/60 (pow.f64 l 5))))) (cos.f64 (/.f64 K 2)))
201.0ms	(log.f64 (cbrt.f64 (exp.f64 (pow.f64 l 3))))
127.0ms	(cbrt.f64 (exp.f64 (pow.f64 l 3)))
46.0ms	(*.f64 1/60 (pow.f64 l 5))

Compiler

Compiled 1342 to 1174 computations (12.5% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4953	1893
1	4953	1893

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
0.0b	(cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
0.0b	(.f64 (.f64 J (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))) (cos.f64 (/.f64 K 2)))
0.0b	(.f64 J (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))))
0.0b	(cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
0.1b	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
0.3b	(pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite43.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`unpow-prod-down_binary64_1180`
21×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
17×	`cbrt-prod_binary64_1132`
13×	`add-cube-cbrt_binary64_1136`
7×	`add-exp-log_binary64_1139` `pow-unpow_binary64_1178`
6×	`add-log-exp_binary64_1140`
5×	`pow-exp_binary64_1169` `pow1_binary64_1162` `sqr-pow_binary64_1073`
4×	`difference-of-squares_binary64_1070` `distribute-lft-out--_binary64_1053` `add-cbrt-cube_binary64_1137` `sinh-undef_binary64_1294`
3×	`cancel-sign-sub-inv_binary64_1067` `pow-to-exp_binary64_1170`
2×	`pow-pow_binary64_1173`
1×	`diff-log_binary64_1193` `pow1/3_binary64_1183` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105`

Counts

4 → 86

Calls

8 calls:

11.0ms	(cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
8.0ms	(pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
7.0ms	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
0.0ms	(.f64 J (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))))

series1.3s (1.6%)

Counts

4 → 24

Calls

4 calls:

652.0ms	(cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))
399.0ms	(pow.f64 (pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
206.0ms	(pow.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
32.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1650 to 1538 computations (6.8% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4959	2975
1	4959	2975

prune10.8s (13.7%)

Pruning

309 alts after pruning (300 fresh and 9 done)

	Pruned	Kept	Total
New	229	145	374
Fresh	19	155	174
Picked	0	0	0
Done	1	9	10
Total	249	309	558

Error

0.0b

Counts

558 → 309

Compiler

Compiled 16143 to 12006 computations (25.6% saved)

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`add-exp-log_binary64_1139`
31×	`prod-exp_binary64_1150`
26×	`add-cbrt-cube_binary64_1137`
12×	`cbrt-unprod_binary64_1134`
10×	`add-sqr-sqrt_binary64_1123` `associate-r_binary64_1041`
9×	`pow1_binary64_1162`
8×	`div-exp_binary64_1152`
7×	`pow-exp_binary64_1169` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`associate-l_binary64_1042`
4×	`pow-prod-down_binary64_1172` `cbrt-undiv_binary64_1135`
3×	`add-log-exp_binary64_1140` `times-frac_binary64_1107`
2×	`*-commutative_binary64_1032` `unswap-sqr_binary64_1069` `sqr-pow_binary64_1073`
1×	`unpow-prod-down_binary64_1180` `associate-*r/_binary64_1043` `div-inv_binary64_1098` `pow-to-exp_binary64_1170` `sinh-def_binary64_1286`

Counts

3 → 68

Calls

6 calls:

8.0ms	(.f64 (.f64 J 2) (/.f64 (*.f64 2 (sinh.f64 l)) 2))
7.0ms	(.f64 (pow.f64 (.f64 (.f64 J 2) (/.f64 (.f64 2 (sinh.f64 l)) 2)) 1) (cos.f64 (/.f64 K 2)))
1.0ms	(sinh.f64 l)
0.0ms	(sinh.f64 l)
0.0ms	(.f64 (.f64 J 2) (/.f64 (*.f64 2 (sinh.f64 l)) 2))

series587.0ms (0.7%)

Counts

3 → 27

Calls

3 calls:

383.0ms	(.f64 (pow.f64 (.f64 (.f64 J 2) (/.f64 (.f64 2 (sinh.f64 l)) 2)) 1) (cos.f64 (/.f64 K 2)))
162.0ms	(.f64 (.f64 J 2) (/.f64 (*.f64 2 (sinh.f64 l)) 2))
42.0ms	(sinh.f64 l)

Compiler

Compiled 879 to 802 computations (8.8% saved)

simplify68.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4978	1506
1	4978	1506

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

10.1b	(.f64 l (+.f64 2 (.f64 (*.f64 K K) -1/4)))
2.7b	(.f64 J (.f64 l (+.f64 2 (.f64 (.f64 K K) -1/4))))
2.7b	(.f64 J (.f64 l (+.f64 2 (.f64 (.f64 K K) -1/4))))
10.1b	(.f64 l (+.f64 2 (.f64 (*.f64 K K) -1/4)))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 46

Calls

4 calls:

8.0ms	(.f64 l (+.f64 2 (.f64 (*.f64 K K) -1/4)))
7.0ms	(.f64 J (.f64 l (+.f64 2 (.f64 (.f64 K K) -1/4))))
0.0ms	(.f64 J (.f64 l (+.f64 2 (.f64 (.f64 K K) -1/4))))
0.0ms	(.f64 l (+.f64 2 (.f64 (*.f64 K K) -1/4)))

series349.0ms (0.4%)

Counts

2 → 21

Calls

2 calls:

224.0ms	(.f64 J (.f64 l (+.f64 2 (.f64 (.f64 K K) -1/4))))
125.0ms	(.f64 l (+.f64 2 (.f64 (*.f64 K K) -1/4)))

Compiler

Compiled 492 to 466 computations (5.3% saved)

simplify68.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5003	1043

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (sinh.f64 l))
0.0b	(.f64 (.f64 J 2) (*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l))))
0.0b	(sinh.f64 l)
0.0b	(sinh.f64 l)
0.0b	(sqrt.f64 (sinh.f64 l))
0.0b	(.f64 (.f64 J 2) (*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l))))
0.1b	(.f64 (.f64 (.f64 J 2) (.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))) (cos.f64 (/.f64 K 2)))
0.3b	(*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))

rewrite54.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`pow1_binary64_1162`
36×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
29×	`add-sqr-sqrt_binary64_1123`
24×	`pow-prod-down_binary64_1172`
22×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150`
21×	`sqrt-prod_binary64_1117`
14×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
13×	`sqrt-div_binary64_1118` `sinh-def_binary64_1286`
10×	`associate-r_binary64_1041`
9×	`sqrt-pow1_binary64_1119` `associate-*r/_binary64_1043` `pow1/2_binary64_1181`
8×	`swap-sqr_binary64_1068` `associate-l_binary64_1042`
6×	`associate-*l/_binary64_1044`
5×	`pow-prod-up_binary64_1171`
4×	`add-log-exp_binary64_1140` `unswap-sqr_binary64_1069`
3×	`*-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `frac-times_binary64_1111` `pow-sqr_binary64_1074`
1×	`pow-plus_binary64_1164` `rem-square-sqrt_binary64_1113` `sqr-abs_binary64_1116` `sqrt-unprod_binary64_1121` `pow2_binary64_1182`

Counts

4 → 122

Calls

8 calls:

16.0ms	(.f64 (.f64 (.f64 J 2) (.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))) (cos.f64 (/.f64 K 2)))
15.0ms	(.f64 (.f64 J 2) (*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l))))
8.0ms	(*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))
2.0ms	(sqrt.f64 (sinh.f64 l))
0.0ms	(sinh.f64 l)

series623.0ms (0.8%)

Counts

4 → 30

Calls

4 calls:

374.0ms	(.f64 (.f64 (.f64 J 2) (.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))) (cos.f64 (/.f64 K 2)))
152.0ms	(.f64 (.f64 J 2) (*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l))))
50.0ms	(sqrt.f64 (sinh.f64 l))
46.0ms	(*.f64 (sqrt.f64 (sinh.f64 l)) (sqrt.f64 (sinh.f64 l)))

Compiler

Compiled 949 to 860 computations (9.4% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	6319	1814

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 l)) 4) (cbrt.f64 (pow.f64 l 2/3))) (.f64 (.f64 J (cos.f64 (*.f64 K 1/2))) (cbrt.f64 l)))
0.2b	(.f64 J (cos.f64 (.f64 K 1/2)))
0.1b	(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 l)) 4) (cbrt.f64 (pow.f64 l 2/3)))
0.0b	(.f64 2 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 l)) 4) (cbrt.f64 (pow.f64 l 2/3))) (.f64 (.f64 J (cos.f64 (.f64 K 1/2))) (cbrt.f64 l))))
0.7b	(cbrt.f64 l)
0.7b	(cbrt.f64 l)
1.0b	(pow.f64 (cbrt.f64 (cbrt.f64 l)) 4)
2.8b	(pow.f64 l 2/3)

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cbrt-prod_binary64_1132`
12×	`add-sqr-sqrt_binary64_1123` `unpow-prod-down_binary64_1180` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `pow-unpow_binary64_1178`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`pow1/3_binary64_1183` `pow-pow_binary64_1173`
2×	`pow-exp_binary64_1169` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170`

Counts

4 → 63

Calls

8 calls:

4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 l)) 4)
2.0ms	(pow.f64 l 2/3)
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
0.0ms	(.f64 2 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 l)) 4) (cbrt.f64 (pow.f64 l 2/3))) (.f64 (.f64 J (cos.f64 (.f64 K 1/2))) (cbrt.f64 l))))

series384.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

147.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 l)) 4)
79.0ms	(cbrt.f64 l)
79.0ms	(pow.f64 l 2/3)
77.0ms	(cbrt.f64 l)

Compiler

Compiled 644 to 590 computations (8.4% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5291	539

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
0.1b	(.f64 (.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) J) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
0.0b	(.f64 (.f64 (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) J)
0.0b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) J) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2)))
0.1b	(cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
5.3b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
10×	`add-log-exp_binary64_1140`
9×	`cancel-sign-sub-inv_binary64_1067`
8×	`add-cube-cbrt_binary64_1136`
6×	`cbrt-prod_binary64_1132`
4×	`difference-of-squares_binary64_1070` `add-exp-log_binary64_1139` `pow1_binary64_1162` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cbrt-cube_binary64_1137` `sinh-undef_binary64_1294`
3×	`diff-log_binary64_1193` `sub-neg_binary64_1094`
2×	`cbrt-div_binary64_1133`
1×	`pow1/3_binary64_1183`

Counts

4 → 67

Calls

8 calls:

6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
6.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
5.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
5.0ms	(cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
0.0ms	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) J) (cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2)))

series260.0ms (0.3%)

Counts

4 → 24

Calls

4 calls:

157.0ms	(cbrt.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
37.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
33.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
33.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1202 to 816 computations (32.1% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4927	1340
1	4927	1340

prune18.0s (22.8%)

Pruning

400 alts after pruning (386 fresh and 14 done)

	Pruned	Kept	Total
New	355	125	480
Fresh	34	261	295
Picked	0	0	0
Done	0	14	14
Total	389	400	789

Error

0.0b

Counts

789 → 400

Compiler

Compiled 7389 to 3833 computations (48.1% saved)

simplify501.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5407	34088

regimes11.4s (14.4%)

Compiler: Compiled 114849 to 94355 computations (17.8% saved)

bsearch0.0ms (0%)

regimes352.0ms (0.4%)

Compiler: Compiled 2684 to 2600 computations (3.1% saved)

bsearch0.0ms (0%)

regimes333.0ms (0.4%)

Compiler: Compiled 2593 to 2509 computations (3.2% saved)

bsearch0.0ms (0%)

regimes100.0ms (0.1%)

Compiler: Compiled 520 to 560 computations (-7.7% saved)

bsearch0.0ms (0%)

regimes92.0ms (0.1%)

Compiler: Compiled 472 to 512 computations (-8.5% saved)

bsearch0.0ms (0%)

regimes88.0ms (0.1%)

Compiler: Compiled 440 to 480 computations (-9.1% saved)

bsearch0.0ms (0%)

regimes38.0ms (0%)

Accuracy

Total 0.1b remaining (86.1%)

Threshold costs 0.1b (86.1%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch6.0ms (0%)

Compiler: Compiled 66 to 70 computations (-6.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	99
1	52	99

end0.0ms (0%)

sample18.4s (23.2%)

Algorithm

1×

intervals

Results

714.0ms	1627×	body	1024	valid
534.0ms	1923×	body	1024	invalid
319.0ms	4469×	body	128	valid
267.0ms	1164×	body	512	valid
240.0ms	3370×	body	128	invalid
210.0ms	1023×	body	512	invalid
100.0ms	681×	body	256	valid
73.0ms	495×	body	256	invalid
40.0ms	59×	body	2048	valid

Compiler

Compiled 16001 to 13199 computations (17.5% saved)

Pareto

0.8228554963110758