Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	50%	50%	2
25%	25%	50%	3
25%	12.5%	62.5%	4
25%	6.2%	68.8%	5
25%	3.1%	71.9%	6
25%	1.6%	73.5%	7
25%	0.8%	74.2%	8
25%	0.4%	74.6%	9
25%	0.2%	74.8%	10
25%	0.1%	74.9%	11
25%	0%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample14.0ms (0%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify283.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (184.0ms)

Iter	Nodes	Cost
0	4965	10
1	4965	10

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.2b

Counts

2 → 1

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`log-prod_binary64_1187`
10×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162`
8×	`add-sqr-sqrt_binary64_1123` `log-pow_binary64_1190`
6×	`add-cube-cbrt_binary64_1136`
4×	`associate--r+_binary64_1037` `distribute-lft-out--_binary64_1053` `cancel-sign-sub-inv_binary64_1067`
3×	`add-exp-log_binary64_1139` `associate--l+_binary64_1038`
2×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
1×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `rem-log-exp_binary64_1142` `flip--_binary64_1076` `flip3--_binary64_1105`

Counts

2 → 40

Calls

4 calls:

6.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))
0.0ms	(log.f64 (log.f64 x))
0.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series288.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

166.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
122.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 122 to 106 computations (13.1% saved)

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5070	484

prune106.0ms (0.2%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	24	22	46
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	24	23	47

Error

Counts

47 → 23

Compiler

Compiled 577 to 254 computations (56% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 x (log.f64 x))
0.0b	(log.f64 (/.f64 x (log.f64 x)))
0.0b	(log.f64 (/.f64 x (log.f64 x)))
0.3b	(/.f64 x (log.f64 x))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`times-frac_binary64_1107`
19×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
16×	`log-prod_binary64_1187`
10×	`pow1_binary64_1162`
8×	`log-pow_binary64_1190`
7×	`add-exp-log_binary64_1139`
4×	`add-cbrt-cube_binary64_1137` `associate-/r*_binary64_1045`
3×	`associate-/l*_binary64_1046`
2×	`add-log-exp_binary64_1140` `rem-log-exp_binary64_1142` `div-inv_binary64_1098` `div-exp_binary64_1152`
1×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `cbrt-undiv_binary64_1135` `log-div_binary64_1188`

Counts

2 → 58

Calls

4 calls:

3.0ms	(/.f64 x (log.f64 x))
3.0ms	(log.f64 (/.f64 x (log.f64 x)))
0.0ms	(log.f64 (/.f64 x (log.f64 x)))
0.0ms	(/.f64 x (log.f64 x))

series282.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

166.0ms	(log.f64 (/.f64 x (log.f64 x)))
115.0ms	(/.f64 x (log.f64 x))

Compiler

Compiled 118 to 104 computations (11.9% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4959	799
1	4959	799

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.2b	(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_1101`
11×	`log-prod_binary64_1187`
10×	`pow1_binary64_1162`
8×	`log-pow_binary64_1190`
6×	`distribute-lft-out_binary64_1052`
5×	`add-sqr-sqrt_binary64_1123` `add-cube-cbrt_binary64_1136`
4×	`distribute-rgt-neg-in_binary64_1059` `associate-+r+_binary64_1033` `distribute-neg-in_binary64_1062`
3×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `associate-+l+_binary64_1034`
2×	`sum-log_binary64_1192` `add-cbrt-cube_binary64_1137`
1×	`rem-log-exp_binary64_1142` `associate-+r-_binary64_1035` `neg-log_binary64_1194` `unsub-neg_binary64_1095` `flip3-+_binary64_1104` `neg-sub0_binary64_1096` `+-commutative_binary64_1031` `flip-+_binary64_1075`

Counts

2 → 40

Calls

4 calls:

7.0ms	(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
1.0ms	(log.f64 (log.f64 x))
0.0ms	(log.f64 (log.f64 x))
0.0ms	(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))

series284.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

170.0ms	(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
114.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 128 to 112 computations (12.5% saved)

simplify94.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4903	458
1	4903	458

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

1.1b	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
0.1b	(log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.1b	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`log-prod_binary64_1187`
23×	`*-un-lft-identity_binary64_1101`
22×	`pow1_binary64_1162`
18×	`log-pow_binary64_1190`
17×	`add-sqr-sqrt_binary64_1123`
12×	`distribute-lft-out--_binary64_1053`
11×	`add-cube-cbrt_binary64_1136`
8×	`exp-sum_binary64_1147`
6×	`add-exp-log_binary64_1139`
4×	`associate--r+_binary64_1037` `add-log-exp_binary64_1140` `exp-prod_binary64_1153` `add-cbrt-cube_binary64_1137` `log-div_binary64_1188` `cancel-sign-sub-inv_binary64_1067`
3×	`difference-of-squares_binary64_1070` `associate--l+_binary64_1038` `flip--_binary64_1076` `flip3--_binary64_1105`
2×	`rem-log-exp_binary64_1142` `exp-diff_binary64_1149`
1×	`diff-log_binary64_1193` `rem-exp-log_binary64_1141` `sub-neg_binary64_1094`

Counts

4 → 81

Calls

8 calls:

6.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
6.0ms	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
4.0ms	(log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
1.0ms	(log.f64 (log.f64 x))
0.0ms	(log.f64 (log.f64 x))

series853.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

292.0ms	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
278.0ms	(log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
163.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
119.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 306 to 274 computations (10.5% saved)

simplify109.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4882	1248
1	4882	1248

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.2b	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
0.6b	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`sqrt-prod_binary64_1117`
32×	`add-sqr-sqrt_binary64_1123`
29×	`pow1_binary64_1162`
17×	`*-un-lft-identity_binary64_1101`
15×	`add-cube-cbrt_binary64_1136`
11×	`swap-sqr_binary64_1068`
10×	`sqrt-pow1_binary64_1119` `pow1/2_binary64_1181`
8×	`log-pow_binary64_1190`
7×	`associate-r_binary64_1041` `associate-l_binary64_1042`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`pow-prod-up_binary64_1171` `add-log-exp_binary64_1140`
4×	`rem-sqrt-square_binary64_1114` `unswap-sqr_binary64_1069`
3×	`associate--l+_binary64_1038` `pow-sqr_binary64_1074` `log-prod_binary64_1187` `pow-prod-down_binary64_1172`
1×	`pow-plus_binary64_1164` `diff-log_binary64_1193` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `prod-exp_binary64_1150` `rem-square-sqrt_binary64_1113` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `sqr-abs_binary64_1116` `cancel-sign-sub-inv_binary64_1067` `sqrt-unprod_binary64_1121` `pow2_binary64_1182`

Counts

4 → 99

Calls

8 calls:

8.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))
4.0ms	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
1.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
1.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
0.0ms	(log.f64 (log.f64 x))

series572.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

173.0ms	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
142.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
136.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
121.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 298 to 234 computations (21.5% saved)

simplify124.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4861	995
1	4861	995

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
0.2b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x)))))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.3b	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
0.4b	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_1123`
27×	`cbrt-prod_binary64_1132`
18×	`unpow-prod-down_binary64_1180`
14×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
12×	`associate-l_binary64_1042`
11×	`pow1_binary64_1162`
10×	`add-exp-log_binary64_1139` `unswap-sqr_binary64_1069`
7×	`associate-r_binary64_1041`
6×	`unpow2_binary64_1166`
5×	`add-cbrt-cube_binary64_1137` `log-pow_binary64_1190`
4×	`add-log-exp_binary64_1140` `sqr-pow_binary64_1073`
3×	`pow1/3_binary64_1183` `prod-exp_binary64_1150` `pow-unpow_binary64_1178`
2×	`pow-exp_binary64_1169` `pow-pow_binary64_1173` `pow-to-exp_binary64_1170`
1×	`rem-3cbrt-lft_binary64_1126` `pow-plus_binary64_1164` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `pow-prod-up_binary64_1171` `pow3_binary64_1184`

Counts

4 → 92

Calls

8 calls:

11.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
3.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
0.0ms	(log.f64 (log.f64 x))

series810.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

237.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
228.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
216.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
128.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 370 to 296 computations (20% saved)

simplify71.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5133	1191

prune2.5s (5.6%)

Pruning

131 alts after pruning (125 fresh and 6 done)

	Pruned	Kept	Total
New	306	112	418
Fresh	4	13	17
Picked	0	0	0
Done	0	6	6
Total	310	131	441

Error

Counts

441 → 131

Compiler

Compiled 5204 to 2077 computations (60.1% saved)

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

5.6b	(exp.f64 (log.f64 (/.f64 x (log.f64 x))))
0.3b	(/.f64 x (log.f64 x))
0.0b	(log.f64 (/.f64 x (log.f64 x)))
0.0b	(log.f64 (exp.f64 (log.f64 (/.f64 x (log.f64 x)))))
0.0b	(log.f64 (/.f64 x (log.f64 x)))
0.0b	(log.f64 (exp.f64 (log.f64 (/.f64 x (log.f64 x)))))
0.3b	(/.f64 x (log.f64 x))
5.6b	(exp.f64 (log.f64 (/.f64 x (log.f64 x))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`log-prod_binary64_1187`
48×	`times-frac_binary64_1107`
40×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
32×	`exp-sum_binary64_1147`
21×	`pow1_binary64_1162` `log-pow_binary64_1190`
9×	`add-exp-log_binary64_1139`
8×	`exp-prod_binary64_1153`
6×	`add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `div-inv_binary64_1098` `log-div_binary64_1188` `associate-/r*_binary64_1045`
3×	`rem-log-exp_binary64_1142` `associate-/l*_binary64_1046`
2×	`exp-diff_binary64_1149` `div-exp_binary64_1152`
1×	`rem-exp-log_binary64_1141` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `cbrt-undiv_binary64_1135`

Counts

4 → 120

Calls

8 calls:

5.0ms	(log.f64 (exp.f64 (log.f64 (/.f64 x (log.f64 x)))))
5.0ms	(exp.f64 (log.f64 (/.f64 x (log.f64 x))))
3.0ms	(/.f64 x (log.f64 x))
3.0ms	(log.f64 (/.f64 x (log.f64 x)))
0.0ms	(log.f64 (exp.f64 (log.f64 (/.f64 x (log.f64 x)))))

series763.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

293.0ms	(log.f64 (exp.f64 (log.f64 (/.f64 x (log.f64 x)))))
180.0ms	(exp.f64 (log.f64 (/.f64 x (log.f64 x))))
178.0ms	(log.f64 (/.f64 x (log.f64 x)))
112.0ms	(/.f64 x (log.f64 x))

Compiler

Compiled 306 to 276 computations (9.8% saved)

simplify106.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4924	1645
1	4924	1645

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 x (log.f64 x))
0.0b	(log.f64 (*.f64 1 (/.f64 x (log.f64 x))))
0.0b	(log.f64 (*.f64 1 (/.f64 x (log.f64 x))))
0.3b	(/.f64 x (log.f64 x))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-exp-log_binary64_1139`
12×	`times-frac_binary64_1107`
11×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
9×	`pow1_binary64_1162`
6×	`log-pow_binary64_1190`
5×	`rem-log-exp_binary64_1142`
4×	`prod-exp_binary64_1150` `add-cbrt-cube_binary64_1137` `associate-/r*_binary64_1045`
3×	`associate-/l*_binary64_1046` `div-exp_binary64_1152`
2×	`1-exp_binary64_1145` `add-log-exp_binary64_1140`
1×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-*r/_binary64_1043` `div-inv_binary64_1098` `log-prod_binary64_1187` `pow-prod-down_binary64_1172` `cbrt-undiv_binary64_1135` `log-div_binary64_1188`

Counts

2 → 47

Calls

4 calls:

4.0ms	(log.f64 (*.f64 1 (/.f64 x (log.f64 x))))
3.0ms	(/.f64 x (log.f64 x))
0.0ms	(log.f64 (*.f64 1 (/.f64 x (log.f64 x))))
0.0ms	(/.f64 x (log.f64 x))

series285.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

180.0ms	(log.f64 (*.f64 1 (/.f64 x (log.f64 x))))
105.0ms	(/.f64 x (log.f64 x))

Compiler

Compiled 130 to 116 computations (10.8% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4967	518
1	4967	518

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
0.2b	(log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
0.1b	(log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
0.1b	(log.f64 (log.f64 x))
0.2b	(log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
0.3b	(exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))
1.1b	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`log-prod_binary64_1187`
16×	`*-un-lft-identity_binary64_1101`
15×	`pow1_binary64_1162`
14×	`add-sqr-sqrt_binary64_1123`
12×	`add-cube-cbrt_binary64_1136`
11×	`exp-prod_binary64_1153` `log-pow_binary64_1190`
8×	`exp-sum_binary64_1147`
5×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139`
4×	`associate--r+_binary64_1037` `distribute-lft-out--_binary64_1053` `add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`
3×	`associate--l+_binary64_1038`
2×	`rem-exp-log_binary64_1141`
1×	`diff-log_binary64_1193` `difference-of-squares_binary64_1070` `sub-neg_binary64_1094` `rem-log-exp_binary64_1142` `flip--_binary64_1076` `flip3--_binary64_1105`

Counts

4 → 71

Calls

8 calls:

6.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
3.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))))
2.0ms	(exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))
1.0ms	(log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
0.0ms	(log.f64 (log.f64 x))

series1.3s (2.9%)

Counts

4 → 12

Calls

4 calls:

394.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))))
390.0ms	(exp.f64 (log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))
382.0ms	(log.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
175.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 370 to 338 computations (8.6% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5149	1132

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(-.f64 (log.f64 x) (*.f64 (log.f64 (exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))) (cbrt.f64 (log.f64 (log.f64 x)))))
0.1b	(log.f64 (exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3)))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.3b	(*.f64 (log.f64 (exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))) (cbrt.f64 (log.f64 (log.f64 x))))
0.5b	(pow.f64 (log.f64 (log.f64 x)) 2/3)
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))
0.7b	(exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_1123`
16×	`exp-prod_binary64_1153`
14×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `log-pow_binary64_1190`
13×	`pow1_binary64_1162`
12×	`unpow-prod-down_binary64_1180` `associate-l_binary64_1042`
9×	`cbrt-prod_binary64_1132`
7×	`add-exp-log_binary64_1139` `associate-r_binary64_1041`
5×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`pow-unpow_binary64_1178` `sqr-pow_binary64_1073`
2×	`unswap-sqr_binary64_1069`
1×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `pow1/3_binary64_1183` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `rem-exp-log_binary64_1141` `pow-prod-down_binary64_1172` `pow-to-exp_binary64_1170`

Counts

4 → 78

Calls

8 calls:

9.0ms	(*.f64 (log.f64 (exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))) (cbrt.f64 (log.f64 (log.f64 x))))
5.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)
4.0ms	(exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
0.0ms	(log.f64 (log.f64 x))

series1.2s (2.7%)

Counts

4 → 12

Calls

4 calls:

541.0ms	(*.f64 (log.f64 (exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))) (cbrt.f64 (log.f64 (log.f64 x))))
226.0ms	(exp.f64 (pow.f64 (log.f64 (log.f64 x)) 2/3))
225.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)
214.0ms	(cbrt.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 464 to 380 computations (18.1% saved)

simplify80.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4907	936
1	4907	936

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))))
0.2b	(+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))
0.3b	(-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))
0.4b	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
1.1b	(exp.f64 (log.f64 (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))))

rewrite68.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`sqrt-prod_binary64_1117`
37×	`*-un-lft-identity_binary64_1101`
31×	`add-sqr-sqrt_binary64_1123`
28×	`pow1_binary64_1162`
21×	`log-pow_binary64_1190` `cancel-sign-sub-inv_binary64_1067`
13×	`add-cube-cbrt_binary64_1136`
12×	`associate-r_binary64_1041`
10×	`distribute-lft-out_binary64_1052` `distribute-lft-out--_binary64_1053`
8×	`difference-of-squares_binary64_1070` `frac-times_binary64_1111` `add-log-exp_binary64_1140` `exp-diff_binary64_1149` `distribute-lft-in_binary64_1050` `associate-l_binary64_1042` `log-div_binary64_1188` `distribute-rgt-in_binary64_1051`
7×	`flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `flip-+_binary64_1075`
6×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
5×	`exp-prod_binary64_1153`
4×	`associate-r/_binary64_1043` `associate-l/_binary64_1044`
3×	`sub-neg_binary64_1094`
2×	`pow-prod-down_binary64_1172`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `exp-sum_binary64_1147` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `rem-exp-log_binary64_1141` `sum-log_binary64_1192` `+-commutative_binary64_1031` `log-prod_binary64_1187` `unswap-sqr_binary64_1069`

Counts

4 → 121

Calls

8 calls:

23.0ms	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
16.0ms	(exp.f64 (log.f64 (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))))
7.0ms	(-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))
7.0ms	(+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))
0.0ms	(log.f64 (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))))

series1.5s (3.4%)

Counts

4 → 12

Calls

4 calls:

677.0ms	(exp.f64 (log.f64 (*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))))
454.0ms	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
206.0ms	(-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))
204.0ms	(+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 648 to 520 computations (19.8% saved)

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5019	3304

prune6.0s (13.2%)

Pruning

227 alts after pruning (217 fresh and 10 done)

	Pruned	Kept	Total
New	357	134	491
Fresh	37	83	120
Picked	0	0	0
Done	1	10	11
Total	395	227	622

Error

Counts

622 → 227

Compiler

Compiled 9414 to 3749 computations (60.2% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 x (log.f64 x))
0.0b	(log.f64 (*.f64 1 (pow.f64 (/.f64 x (log.f64 x)) 1)))
0.0b	(log.f64 (*.f64 1 (pow.f64 (/.f64 x (log.f64 x)) 1)))
0.3b	(/.f64 x (log.f64 x))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_1139`
12×	`times-frac_binary64_1107`
11×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
9×	`rem-log-exp_binary64_1142`
8×	`prod-exp_binary64_1150` `pow1_binary64_1162`
6×	`log-pow_binary64_1190`
4×	`pow-exp_binary64_1169` `1-exp_binary64_1145` `add-cbrt-cube_binary64_1137` `associate-/r*_binary64_1045`
3×	`associate-/l*_binary64_1046` `div-exp_binary64_1152`
2×	`add-log-exp_binary64_1140` `pow-to-exp_binary64_1170`
1×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `log-prod_binary64_1187` `pow-prod-down_binary64_1172` `cbrt-undiv_binary64_1135`

Counts

2 → 50

Calls

4 calls:

6.0ms	(log.f64 (*.f64 1 (pow.f64 (/.f64 x (log.f64 x)) 1)))
3.0ms	(/.f64 x (log.f64 x))
0.0ms	(log.f64 (*.f64 1 (pow.f64 (/.f64 x (log.f64 x)) 1)))
0.0ms	(/.f64 x (log.f64 x))

series276.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

167.0ms	(log.f64 (*.f64 1 (pow.f64 (/.f64 x (log.f64 x)) 1)))
109.0ms	(/.f64 x (log.f64 x))

Compiler

Compiled 142 to 128 computations (9.9% saved)

simplify89.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4966	510
1	4966	510

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.3b	(/.f64 1 (/.f64 (log.f64 x) x))
0.2b	(/.f64 (log.f64 x) x)
0.0b	(log.f64 (*.f64 1 (/.f64 1 (/.f64 (log.f64 x) x))))
0.0b	(log.f64 (*.f64 1 (/.f64 1 (/.f64 (log.f64 x) x))))
0.2b	(/.f64 (log.f64 x) x)
0.3b	(/.f64 1 (/.f64 (log.f64 x) x))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

108×	`times-frac_binary64_1107`
61×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
48×	`add-exp-log_binary64_1139`
23×	`pow1_binary64_1162`
22×	`div-exp_binary64_1152`
19×	`associate-/r*_binary64_1045`
18×	`log-pow_binary64_1190`
15×	`rem-log-exp_binary64_1142`
14×	`prod-exp_binary64_1150`
13×	`1-exp_binary64_1145`
10×	`add-cbrt-cube_binary64_1137`
7×	`associate-/l*_binary64_1046`
6×	`div-inv_binary64_1098` `rec-exp_binary64_1151`
4×	`cbrt-undiv_binary64_1135`
3×	`add-log-exp_binary64_1140`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `log-div_binary64_1188` `un-div-inv_binary64_1099`
1×	`inv-pow_binary64_1186` `associate-*r/_binary64_1043` `associate-/r/_binary64_1047` `log-rec_binary64_1189` `log-prod_binary64_1187` `pow-prod-down_binary64_1172` `pow-flip_binary64_1175`

Counts

3 → 147

Calls

6 calls:

9.0ms	(log.f64 (*.f64 1 (/.f64 1 (/.f64 (log.f64 x) x))))
7.0ms	(/.f64 1 (/.f64 (log.f64 x) x))
4.0ms	(/.f64 (log.f64 x) x)
0.0ms	(log.f64 (*.f64 1 (/.f64 1 (/.f64 (log.f64 x) x))))
0.0ms	(/.f64 1 (/.f64 (log.f64 x) x))

series372.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

177.0ms	(log.f64 (*.f64 1 (/.f64 1 (/.f64 (log.f64 x) x))))
109.0ms	(/.f64 1 (/.f64 (log.f64 x) x))
85.0ms	(/.f64 (log.f64 x) x)

Compiler

Compiled 206 to 186 computations (9.7% saved)

simplify95.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4920	1947
1	4920	1947

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
0.1b	(sqrt.f64 (log.f64 x))
0.1b	(sqrt.f64 (log.f64 x))
0.0b	(log.f64 (.f64 1 (.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))) (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))))))
0.1b	(sqrt.f64 (log.f64 x))
0.3b	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
0.3b	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
0.5b	(*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))) (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))))

rewrite117.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

438×	`sqrt-prod_binary64_1117`
384×	`times-frac_binary64_1107`
364×	`add-sqr-sqrt_binary64_1123`
213×	`*-un-lft-identity_binary64_1101`
197×	`add-cube-cbrt_binary64_1136`
92×	`swap-sqr_binary64_1068`
71×	`pow1_binary64_1162`
59×	`log-pow_binary64_1190`
46×	`associate-r_binary64_1041` `associate-l_binary64_1042`
25×	`unswap-sqr_binary64_1069`
20×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
14×	`associate-/r*_binary64_1045`
12×	`associate-/l*_binary64_1046`
6×	`sqrt-undiv_binary64_1122` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
4×	`cbrt-unprod_binary64_1134` `add-log-exp_binary64_1140` `prod-exp_binary64_1150`
2×	`frac-2neg_binary64_1112` `clear-num_binary64_1100`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `rem-square-sqrt_binary64_1113` `sqrt-pow1_binary64_1119` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `associate-*l/_binary64_1044` `sqrt-unprod_binary64_1121` `pow2_binary64_1182` `pow1/2_binary64_1181`

Counts

4 → 385

Calls

8 calls:

47.0ms	(*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))) (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))))
9.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
6.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
1.0ms	(sqrt.f64 (log.f64 x))
0.0ms	(log.f64 (.f64 1 (.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))) (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))))))

series439.0ms (1%)

Counts

4 → 12

Calls

4 calls:

276.0ms	(sqrt.f64 (log.f64 x))
87.0ms	(*.f64 (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))) (/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x))))
38.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))
37.0ms	(/.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))

Compiler

Compiled 494 to 405 computations (18% saved)

simplify145.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

397 → 397

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5001	8408

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (log.f64 x))
0.1b	(log.f64 (sqrt.f64 (log.f64 x)))
0.1b	(log.f64 (sqrt.f64 (log.f64 x)))
0.1b	(log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x)))))
0.2b	(-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))
0.3b	(-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x))))
0.3b	(exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x)))))))
1.1b	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))))))

rewrite41.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`*-un-lft-identity_binary64_1101`
32×	`pow1_binary64_1162`
31×	`log-pow_binary64_1190`
28×	`log-prod_binary64_1187`
22×	`distribute-lft-out--_binary64_1053`
21×	`add-sqr-sqrt_binary64_1123`
18×	`cancel-sign-sub-inv_binary64_1067`
17×	`add-cube-cbrt_binary64_1136`
16×	`associate--l+_binary64_1038`
14×	`associate--r+_binary64_1037`
11×	`exp-prod_binary64_1153`
8×	`exp-sum_binary64_1147` `sqrt-prod_binary64_1117`
6×	`add-log-exp_binary64_1140`
4×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
3×	`sub-neg_binary64_1094` `sqrt-pow1_binary64_1119` `pow1/2_binary64_1181`
2×	`difference-of-squares_binary64_1070` `rem-exp-log_binary64_1141` `flip--_binary64_1076` `flip3--_binary64_1105`
1×	`associate--l-_binary64_1039`

Counts

4 → 110

Calls

8 calls:

18.0ms	(-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))
7.0ms	(-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x))))
3.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))))))
2.0ms	(exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x)))))))
0.0ms	(log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x)))))

series1.2s (2.6%)

Counts

4 → 12

Calls

4 calls:

426.0ms	(exp.f64 (exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))))))
415.0ms	(exp.f64 (log.f64 (log.f64 (-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x)))))))
178.0ms	(-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x))))
172.0ms	(-.f64 (-.f64 (log.f64 x) (log.f64 (sqrt.f64 (log.f64 x)))) (log.f64 (sqrt.f64 (log.f64 x))))

Compiler

Compiled 462 to 418 computations (9.5% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5224	1622

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.1b	(log.f64 (log.f64 x))
0.5b	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
0.6b	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
0.6b	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 79

Calls

8 calls:

4.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
4.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
2.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
0.0ms	(log.f64 (log.f64 x))

series918.0ms (2%)

Counts

4 → 12

Calls

4 calls:

252.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
236.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
221.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
209.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 598 to 426 computations (28.8% saved)

simplify71.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5031	1094

prune17.5s (38.6%)

Pruning

364 alts after pruning (350 fresh and 14 done)

	Pruned	Kept	Total
New	662	160	822
Fresh	22	190	212
Picked	0	0	0
Done	1	14	15
Total	685	364	1049

Error

Counts

1049 → 364

Compiler

Compiled 7966 to 2565 computations (67.8% saved)

simplify427.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5207	24489

regimes4.3s (9.5%)

Compiler: Compiled 39462 to 22018 computations (44.2% saved)

bsearch0.0ms (0%)

regimes8.0ms (0%)

Compiler: Compiled 5 to 8 computations (-60% saved)

bsearch1.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms (0%)

sample687.0ms (1.5%)

Algorithm

1×

intervals

Results

308.0ms	8000×	body	128	valid
0.0ms	3×	body	128	nan

Compiler

Compiled 10690 to 5995 computations (43.9% saved)