Details

analyze3.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 5 to 5 computations (0% saved)

sample50.0ms (0.1%)

Algorithm

1×

intervals

Results

25.0ms	78×	body	1024	valid
7.0ms	45×	body	512	valid
6.0ms	14×	body	2048	valid
3.0ms	97×	body	128	valid
2.0ms	22×	body	256	valid

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify95.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	6
1	7	6

prune224.0ms (0.6%)

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

38.7b

Counts

2 → 1

Compiler

Compiled 4 to 4 computations (0% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

3.5b	(log.f64 (+.f64 1 x))
3.5b	(log.f64 (+.f64 1 x))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_1101` `log-prod_binary64_1187`
2×	`add-sqr-sqrt_binary64_1123` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `log-div_binary64_1188`
1×	`add-log-exp_binary64_1140` `distribute-lft-out_binary64_1052` `rem-log-exp_binary64_1142` `flip3-+_binary64_1104` `add-cbrt-cube_binary64_1137` `flip-+_binary64_1075` `log-pow_binary64_1190`

Counts

1 → 15

Calls

2 calls:

3.0ms	(log.f64 (+.f64 1 x))
0.0ms	(log.f64 (+.f64 1 x))

series30.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

30.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 112 to 99 computations (11.6% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5015	267

prune81.0ms (0.2%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	5	19	24
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	5	20	25

Error

0.0b

Counts

25 → 20

Compiler

Compiled 367 to 288 computations (21.5% saved)

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

0.4b	(*.f64 x 1/3)
0.1b	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
0.0b	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
0.0b	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
0.1b	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
0.4b	(*.f64 x 1/3)

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 62

Calls

6 calls:

9.0ms	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
6.0ms	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
4.0ms	(*.f64 x 1/3)
0.0ms	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
0.0ms	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))

series97.0ms (0.3%)

Counts

3 → 14

Calls

3 calls:

47.0ms	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
34.0ms	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
16.0ms	(*.f64 x 1/3)

Compiler

Compiled 235 to 201 computations (14.5% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5102	916

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (.f64 (.f64 x x) 1/2))
0.0b	(-.f64 x (.f64 (.f64 x x) 1/2))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_1140`
1×	`diff-log_binary64_1193` `add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-exp-log_binary64_1139` `pow1_binary64_1162` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`

Counts

1 → 12

Calls

2 calls:

3.0ms	(-.f64 x (.f64 (.f64 x x) 1/2))
0.0ms	(-.f64 x (.f64 (.f64 x x) 1/2))

series48.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

48.0ms

(-.f64 x (*.f64 (*.f64 x x) 1/2))

Compiler

Compiled 53 to 47 computations (11.3% saved)

simplify67.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4896	225
1	4896	225

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

3.5b	(log.f64 (+.f64 1 x))
3.5b	(log.f64 (+.f64 1 x))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_1101` `log-prod_binary64_1187`
2×	`add-sqr-sqrt_binary64_1123` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136` `log-div_binary64_1188`
1×	`add-log-exp_binary64_1140` `distribute-lft-out_binary64_1052` `rem-log-exp_binary64_1142` `flip3-+_binary64_1104` `add-cbrt-cube_binary64_1137` `flip-+_binary64_1075` `log-pow_binary64_1190`

Counts

1 → 15

Calls

2 calls:

3.0ms	(log.f64 (+.f64 1 x))
0.0ms	(log.f64 (+.f64 1 x))

series31.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

30.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 132 to 119 computations (9.8% saved)

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5015	267

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b	(log.f64 (-.f64 1 x))
1.2b	(log.f64 (-.f64 1 (*.f64 x x)))
0.0b	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
0.0b	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
1.2b	(log.f64 (-.f64 1 (*.f64 x x)))
3.5b	(log.f64 (-.f64 1 x))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 68

Calls

6 calls:

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

series132.0ms (0.4%)

Counts

3 → 22

Calls

3 calls:

53.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
50.0ms	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
28.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 411 to 354 computations (13.9% saved)

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5075	1353

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

14.7b	(log.f64 (+.f64 1 (pow.f64 x 3)))
13.2b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
0.3b	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
0.3b	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
13.2b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
14.7b	(log.f64 (+.f64 1 (pow.f64 x 3)))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 62

Calls

6 calls:

15.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))
0.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
0.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

series275.0ms (0.8%)

Counts

3 → 26

Calls

3 calls:

185.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))
48.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
42.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

Compiler

Compiled 518 to 442 computations (14.7% saved)

simplify83.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5102	1720

prune3.5s (10%)

Pruning

158 alts after pruning (152 fresh and 6 done)

	Pruned	Kept	Total
New	157	139	296
Fresh	1	13	14
Picked	0	0	0
Done	0	6	6
Total	158	158	316

Error

0.0b

Counts

316 → 158

Compiler

Compiled 6820 to 4967 computations (27.2% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

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

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b	(log.f64 (-.f64 1 x))
1.2b	(log.f64 (-.f64 1 (*.f64 x x)))
0.0b	(-.f64 (log.f64 (-.f64 1 (.f64 x x))) (.f64 1 (log.f64 (-.f64 1 x))))
0.0b	(-.f64 (log.f64 (-.f64 1 (.f64 x x))) (.f64 1 (log.f64 (-.f64 1 x))))
1.2b	(log.f64 (-.f64 1 (*.f64 x x)))
3.5b	(log.f64 (-.f64 1 x))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 66

Calls

6 calls:

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

series133.0ms (0.4%)

Counts

3 → 22

Calls

3 calls:

57.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
46.0ms	(-.f64 (log.f64 (-.f64 1 (.f64 x x))) (.f64 1 (log.f64 (-.f64 1 x))))
29.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 445 to 388 computations (12.8% saved)

simplify96.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5034	1345

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x))
0.0b	(-.f64 (.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x)) (*.f64 (pow.f64 x 6) 1/3))
0.0b	(-.f64 (-.f64 (.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x)) (*.f64 (pow.f64 x 6) 1/3)) (log.f64 (-.f64 1 x)))
0.0b	(-.f64 (*.f64 (pow.f64 x 3) -1/2) x)
0.0b	(-.f64 (.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x)) (*.f64 (pow.f64 x 6) 1/3))
0.0b	(.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x))
0.1b	(*.f64 (pow.f64 x 6) 1/3)
3.5b	(log.f64 (-.f64 1 x))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_1123`
17×	`*-un-lft-identity_binary64_1101`
14×	`add-cube-cbrt_binary64_1136`
13×	`cancel-sign-sub-inv_binary64_1067`
12×	`add-exp-log_binary64_1139`
10×	`associate-l_binary64_1042`
8×	`distribute-lft-in_binary64_1050` `associate--l+_binary64_1038` `add-cbrt-cube_binary64_1137` `distribute-rgt-in_binary64_1051`
7×	`pow1_binary64_1162`
6×	`add-log-exp_binary64_1140` `associate-r_binary64_1041` `log-prod_binary64_1187`
5×	`sub-neg_binary64_1094`
4×	`unpow-prod-down_binary64_1180` `prod-exp_binary64_1150` `unswap-sqr_binary64_1069`
3×	`flip--_binary64_1076` `flip3--_binary64_1105`
2×	`-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `difference-of-squares_binary64_1070` `associate-r/_binary64_1043` `log-div_binary64_1188` `sqr-pow_binary64_1073`
1×	`diff-log_binary64_1193` `pow-exp_binary64_1169` `rem-log-exp_binary64_1142` `distribute-lft-out--_binary64_1053` `pow-prod-down_binary64_1172` `log-pow_binary64_1190` `pow-to-exp_binary64_1170`

Counts

4 → 90

Calls

8 calls:

12.0ms	(.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x))
11.0ms	(-.f64 (.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x)) (*.f64 (pow.f64 x 6) 1/3))
5.0ms	(*.f64 (pow.f64 x 6) 1/3)
4.0ms	(log.f64 (-.f64 1 x))
0.0ms	(-.f64 (*.f64 (pow.f64 x 3) -1/2) x)

series241.0ms (0.7%)

Counts

4 → 21

Calls

4 calls:

108.0ms	(.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x))
56.0ms	(-.f64 (.f64 x (-.f64 (.f64 (pow.f64 x 3) -1/2) x)) (*.f64 (pow.f64 x 6) 1/3))
42.0ms	(*.f64 (pow.f64 x 6) 1/3)
35.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 654 to 545 computations (16.7% saved)

simplify107.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5166	1554

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

13.2b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
0.3b	(pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)
0.3b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3))
0.3b	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)))
0.3b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3))
0.3b	(pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)
13.2b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
14.7b	(log.f64 (+.f64 1 (pow.f64 x 3)))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_1101`
14×	`cbrt-prod_binary64_1132`
12×	`add-sqr-sqrt_binary64_1123` `add-cube-cbrt_binary64_1136`
11×	`pow1_binary64_1162`
8×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `log-prod_binary64_1187`
7×	`add-exp-log_binary64_1139`
6×	`log-pow_binary64_1190`
5×	`add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `log-div_binary64_1188`
3×	`pow-unpow_binary64_1178`
2×	`cube-mult_binary64_1131` `distribute-lft-out_binary64_1052` `rem-log-exp_binary64_1142` `flip3-+_binary64_1104` `unpow3_binary64_1167` `flip-+_binary64_1075` `sqr-pow_binary64_1073`
1×	`pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `pow1/3_binary64_1183` `pow-pow_binary64_1173` `pow-to-exp_binary64_1170` `rem-cbrt-cube_binary64_1125`

Counts

4 → 78

Calls

8 calls:

6.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))
3.0ms	(pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)
2.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3))
0.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)))

series389.0ms (1.1%)

Counts

4 → 37

Calls

4 calls:

189.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))
103.0ms	(pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3)
49.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
48.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))) 3))

Compiler

Compiled 1034 to 901 computations (12.9% saved)

simplify106.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4959	2048
1	4959	2048

prune7.7s (21.7%)

Pruning

270 alts after pruning (259 fresh and 11 done)

	Pruned	Kept	Total
New	198	116	314
Fresh	4	143	147
Picked	0	0	0
Done	0	11	11
Total	202	270	472

Error

0.0b

Counts

472 → 270

Compiler

Compiled 10898 to 8221 computations (24.6% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.4b	(*.f64 x 1/3)
0.0b	(.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2))
0.0b	(+.f64 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2)))
0.0b	(+.f64 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2)))
0.0b	(.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2))
0.4b	(*.f64 x 1/3)

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 54

Calls

6 calls:

13.0ms	(.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2))
4.0ms	(*.f64 x 1/3)
4.0ms	(+.f64 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2)))
0.0ms	(+.f64 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2)))
0.0ms	(.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2))

series118.0ms (0.3%)

Counts

3 → 14

Calls

3 calls:

67.0ms	(.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2))
34.0ms	(+.f64 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/3) -1/2)))
17.0ms	(*.f64 x 1/3)

Compiler

Compiled 231 to 191 computations (17.3% saved)

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5055	865

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

0.4b	(*.f64 x 1/3)
0.1b	(.f64 x (.f64 x 1/3))
0.0b	(.f64 x (+.f64 1 (.f64 x (*.f64 x 1/3))))
0.0b	(.f64 x (+.f64 1 (.f64 x (*.f64 x 1/3))))
0.1b	(.f64 x (.f64 x 1/3))
0.4b	(*.f64 x 1/3)

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 58

Calls

6 calls:

6.0ms	(.f64 x (+.f64 1 (.f64 x (*.f64 x 1/3))))
5.0ms	(.f64 x (.f64 x 1/3))
4.0ms	(*.f64 x 1/3)
0.0ms	(.f64 x (+.f64 1 (.f64 x (*.f64 x 1/3))))
0.0ms	(.f64 x (.f64 x 1/3))

series106.0ms (0.3%)

Counts

3 → 11

Calls

3 calls:

62.0ms	(.f64 x (+.f64 1 (.f64 x (*.f64 x 1/3))))
26.0ms	(.f64 x (.f64 x 1/3))
17.0ms	(*.f64 x 1/3)

Compiler

Compiled 154 to 131 computations (14.9% saved)

simplify85.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4888	618
1	4888	618

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b	(log.f64 (+.f64 1 x))
0.3b	(pow.f64 (log.f64 (+.f64 1 x)) 3)
0.3b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
0.3b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
0.3b	(pow.f64 (log.f64 (+.f64 1 x)) 3)
3.5b	(log.f64 (+.f64 1 x))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_1132`
12×	`*-un-lft-identity_binary64_1101`
10×	`add-sqr-sqrt_binary64_1123` `add-cube-cbrt_binary64_1136`
9×	`pow1_binary64_1162`
8×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180`
5×	`add-exp-log_binary64_1139` `log-pow_binary64_1190`
4×	`add-cbrt-cube_binary64_1137` `log-prod_binary64_1187`
3×	`add-log-exp_binary64_1140` `pow-unpow_binary64_1178`
2×	`cube-mult_binary64_1131` `unpow3_binary64_1167` `log-div_binary64_1188` `sqr-pow_binary64_1073`
1×	`pow-exp_binary64_1169` `rem-cube-cbrt_binary64_1124` `pow1/3_binary64_1183` `pow-pow_binary64_1173` `distribute-lft-out_binary64_1052` `rem-log-exp_binary64_1142` `flip3-+_binary64_1104` `flip-+_binary64_1075` `pow-to-exp_binary64_1170` `rem-cbrt-cube_binary64_1125`

Counts

3 → 63

Calls

6 calls:

3.0ms	(log.f64 (+.f64 1 x))
3.0ms	(pow.f64 (log.f64 (+.f64 1 x)) 3)
2.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
0.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
0.0ms	(pow.f64 (log.f64 (+.f64 1 x)) 3)

series147.0ms (0.4%)

Counts

3 → 27

Calls

3 calls:

83.0ms	(pow.f64 (log.f64 (+.f64 1 x)) 3)
32.0ms	(log.f64 (+.f64 1 x))
31.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))

Compiler

Compiled 523 to 465 computations (11.1% saved)

simplify76.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4916	1140
1	4916	1140

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 1/3) -1/2)))))
0.1b	(.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 1/3) -1/2)))))
0.1b	(.f64 x (+.f64 (.f64 x 1/3) -1/2))
0.1b	(.f64 x (+.f64 (.f64 x 1/3) -1/2))
0.4b	(*.f64 x 1/3)
0.4b	(*.f64 x 1/3)
9.3b	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))
9.3b	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
10×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136`
8×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
6×	`sqrt-prod_binary64_1117` `associate-r_binary64_1041` `associate-l_binary64_1042`
4×	`add-log-exp_binary64_1140` `sqrt-div_binary64_1118`
2×	`*-commutative_binary64_1032` `rem-sqrt-square_binary64_1114` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `sqrt-pow1_binary64_1119` `flip3-+_binary64_1104` `pow-prod-down_binary64_1172` `flip-+_binary64_1075` `unswap-sqr_binary64_1069` `pow1/2_binary64_1181`

Counts

4 → 66

Calls

8 calls:

7.0ms	(*.f64 x 1/3)
4.0ms	(*.f64 x 1/3)
3.0ms	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))
3.0ms	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))
0.0ms	(.f64 x (+.f64 (.f64 x 1/3) -1/2))

series116.0ms (0.3%)

Counts

4 → 18

Calls

4 calls:

36.0ms	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))
35.0ms	(sqrt.f64 (+.f64 1 (.f64 x (+.f64 (.f64 x 1/3) -1/2))))
23.0ms	(*.f64 x 1/3)
22.0ms	(*.f64 x 1/3)

Compiler

Compiled 824 to 654 computations (20.6% saved)

simplify91.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4924	984
1	4924	984

localize19.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/2) x))
0.0b	(sqrt.f64 (-.f64 (*.f64 (pow.f64 x 3) -1/2) x))
0.0b	(-.f64 (*.f64 (pow.f64 x 3) -1/2) x)
0.0b	(-.f64 (*.f64 (pow.f64 x 3) -1/2) x)
0.1b	(.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))
0.1b	(.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x))) (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))
0.1b	(*.f64 (pow.f64 x 6) 1/3)
3.5b	(log.f64 (-.f64 1 x))

rewrite54.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_1123`
17×	`add-exp-log_binary64_1139`
16×	`*-un-lft-identity_binary64_1101`
15×	`associate-r_binary64_1041`
14×	`sqrt-div_binary64_1118`
13×	`add-cube-cbrt_binary64_1136` `add-cbrt-cube_binary64_1137`
12×	`pow1_binary64_1162`
11×	`associate-l_binary64_1042`
10×	`associate-*r/_binary64_1043`
8×	`flip--_binary64_1076` `flip3--_binary64_1105`
7×	`prod-exp_binary64_1150` `sqrt-prod_binary64_1117`
6×	`log-prod_binary64_1187`
5×	`cbrt-unprod_binary64_1134` `unswap-sqr_binary64_1069`
4×	`unpow-prod-down_binary64_1180` `frac-times_binary64_1111` `add-log-exp_binary64_1140` `pow-prod-down_binary64_1172`
3×	`*-commutative_binary64_1032`
2×	`difference-of-squares_binary64_1070` `log-div_binary64_1188` `associate-*l/_binary64_1044` `sqr-pow_binary64_1073`
1×	`pow-exp_binary64_1169` `rem-log-exp_binary64_1142` `distribute-lft-out--_binary64_1053` `log-pow_binary64_1190` `pow-to-exp_binary64_1170`

Counts

4 → 95

Calls

8 calls:

17.0ms	(.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x))) (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))
14.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))
6.0ms	(*.f64 (pow.f64 x 6) 1/3)
4.0ms	(log.f64 (-.f64 1 x))
0.0ms	(-.f64 (*.f64 (pow.f64 x 3) -1/2) x)

series174.0ms (0.5%)

Counts

4 → 17

Calls

4 calls:

65.0ms	(.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x))) (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))
43.0ms	(*.f64 (pow.f64 x 6) 1/3)
38.0ms	(log.f64 (-.f64 1 x))
27.0ms	(.f64 x (sqrt.f64 (-.f64 (.f64 (pow.f64 x 3) -1/2) x)))

Compiler

Compiled 831 to 681 computations (18.1% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4941	1793
1	4941	1793

prune13.9s (39.3%)

Pruning

401 alts after pruning (386 fresh and 15 done)

	Pruned	Kept	Total
New	274	149	423
Fresh	17	237	254
Picked	0	0	0
Done	1	15	16
Total	292	401	693

Error

0.0b

Counts

693 → 401

Compiler

Compiled 6668 to 4844 computations (27.4% saved)

simplify339.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5194	22103

regimes3.2s (9.2%)

Compiler: Compiled 32590 to 25863 computations (20.6% saved)

bsearch18.0ms (0.1%)

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

regimes43.0ms (0.1%)

Compiler: Compiled 151 to 120 computations (20.5% saved)

bsearch14.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.4052688006051197

Compiler

Compiled 1 to 1 computations (0% saved)

regimes36.0ms (0.1%)

Compiler: Compiled 149 to 118 computations (20.8% saved)

bsearch13.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.1785122468865616

Compiler

Compiled 1 to 1 computations (0% saved)

regimes32.0ms (0.1%)

Compiler: Compiled 96 to 78 computations (18.8% saved)

bsearch12.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.1785122468865616

Compiler

Compiled 1 to 1 computations (0% saved)

regimes28.0ms (0.1%)

Compiler: Compiled 61 to 52 computations (14.8% saved)

bsearch12.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.1785122468865616

Compiler

Compiled 1 to 1 computations (0% saved)

regimes25.0ms (0.1%)

Compiler: Compiled 50 to 43 computations (14% saved)

bsearch11.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.1218231084569221

Compiler

Compiled 1 to 1 computations (0% saved)

regimes18.0ms (0.1%)

Compiler: Compiled 11 to 13 computations (-18.2% saved)

bsearch17.0ms (0%)

Steps

Iters	Range		Point
8	0.016944216651567437	408.79342174413506	1.0084448315976433

Compiler

Compiled 118 to 90 computations (23.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	62	169
1	62	169

end0.0ms (0%)

sample2.3s (6.4%)

Algorithm

1×

intervals

Results

873.0ms	2638×	body	1024	valid
216.0ms	1313×	body	512	valid
111.0ms	257×	body	2048	valid
108.0ms	3112×	body	128	valid
62.0ms	680×	body	256	valid

Compiler

Compiled 10914 to 8620 computations (21% saved)