Details

analyze198.0ms (6.6%)

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 8 to 5 computations (37.5% saved)

sample22.0ms (0.7%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify186.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

974×	`associate--r-_binary64`
537×	`associate--r+_binary64`
526×	`associate--l+_binary64`
473×	`associate--l-_binary64`
342×	`associate-+r-_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
2	12	10
3	18	10
4	24	10
5	39	10
6	62	10
7	79	10
8	120	10
9	223	10
10	401	10
11	942	10
12	1300	10
13	1198	10
14	1317	10
15	1365	10
16	1375	10
17	1375	10
18	1401	10
19	1409	10
20	1413	10
21	4014	10
22	4211	10
23	4719	10
24	4911	10

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite27.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`log-prod_binary64`
10×	`pow1_binary64` `*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64` `log-pow_binary64`
6×	`add-cube-cbrt_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64` `associate--r+_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 402 to 108 computations (73.1% saved)

series53.0ms (1.8%)

Error

0.2b

Counts

2 → 6

Calls

2 calls:

31.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
19.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify101.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

800×	`div-sub_binary64`
448×	`unsub-neg_binary64`
291×	`distribute-rgt-neg-out_binary64`
275×	`cancel-sign-sub-inv_binary64`
262×	`exp-sum_binary64`

Counts

46 → 21

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	71	521
1	146	492
2	301	492
3	1084	490
4	2184	486
5	4173	480
6	4315	480
7	5190	480

prune20.0ms (0.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	15	6	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	6	22

Error

0.1b

Counts

22 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (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.2b	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
	0.6b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
	0.4b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))

Compiler

Compiled 323 to 161 computations (50.2% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(log.f64 (log.f64 x))
0.2b	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
0.5b	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))
0.7b	(pow.f64 (log.f64 (log.f64 x)) 3)

rewrite147.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`cbrt-prod_binary64`
25×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
17×	`cancel-sign-sub-inv_binary64`
16×	`add-cube-cbrt_binary64`

Counts

4 → 99

Calls

4 calls:

10.0ms	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
2.0ms	(pow.f64 (log.f64 (log.f64 x)) 3)
2.0ms	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 1263 to 622 computations (50.8% saved)

series100.0ms (3.3%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

28.0ms	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
24.0ms	(pow.f64 (log.f64 (log.f64 x)) 3)
21.0ms	(log.f64 (log.f64 x))
19.0ms	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))

Compiler

Compiled 377 to 297 computations (21.2% saved)

simplify135.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

444×	`associate-l_binary64`
396×	`log-prod_binary64`
395×	`exp-prod_binary64`
364×	`associate-r_binary64`
267×	`cancel-sign-sub-inv_binary64`

Counts

111 → 88

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	129	1228
1	235	1144
2	554	1126
3	2227	1126
4	4161	1123
5	4976	1123
6	4926	1123

prune47.0ms (1.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	82	6	88
Fresh	5	0	5
Picked	1	0	1
Done	0	0	0
Total	88	6	94

Error

Counts

94 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 (log.f64 x)) 2) (*.f64 (log.f64 x) (+.f64 (log.f64 x) (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.5b	(*.f64 (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))

Compiler

Compiled 598 to 237 computations (60.4% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite105.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
29×	`pow1_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`swap-sqr_binary64`

Counts

4 → 100

Calls

4 calls:

8.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))
3.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)))

Compiler

Compiled 1450 to 298 computations (79.4% saved)

series97.0ms (3.3%)

Error

Counts

4 → 12

Calls

4 calls:

28.0ms	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
22.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
21.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
19.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 454 to 316 computations (30.4% saved)

simplify167.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

365×	`log-prod_binary64`
344×	`times-frac_binary64`
283×	`*-commutative_binary64`
275×	`exp-prod_binary64`
259×	`cancel-sign-sub-inv_binary64`

Counts

112 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1117
1	174	1052
2	421	1032
3	1515	990
4	3331	990
5	4705	990
6	4873	990
7	4942	990
8	5008	990

prune45.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	84	6	90

Error

Counts

90 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 (log.f64 x)) 2) (*.f64 (log.f64 x) (+.f64 (log.f64 x) (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.5b	(*.f64 (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
▶	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))

Compiler

Compiled 767 to 257 computations (66.5% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

rewrite88.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`

Counts

4 → 73

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1284 to 300 computations (76.6% saved)

series76.0ms (2.6%)

Error

Counts

4 → 12

Calls

4 calls:

21.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
16.0ms	(cbrt.f64 x)
16.0ms	(cbrt.f64 x)
15.0ms	(cbrt.f64 x)

Compiler

Compiled 557 to 380 computations (31.8% saved)

simplify95.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

735×	`log-prod_binary64`
577×	`distribute-rgt-in_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
287×	`associate-l_binary64`

Counts

85 → 64

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	606
1	94	522
2	292	502
3	763	488
4	1759	418
5	4287	418
6	4550	418
7	4810	418

prune42.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	64	6	70

Error

Counts

70 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 (log.f64 x)) 2) (*.f64 (log.f64 x) (+.f64 (log.f64 x) (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.5b	(*.f64 (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))

Compiler

Compiled 613 to 231 computations (62.3% saved)

regimes574.0ms (19.2%)

Accuracy

Total -0.0b remaining (-544.4%)

Threshold costs -0.0b (-544.4%)

Compiler

Compiled 6365 to 4168 computations (34.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end1.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

sample616.0ms (20.7%)

Algorithm

1×

intervals

Results

313.0ms	8000×	body	128	valid
0.0ms	4×	body	128	nan

Compiler

Compiled 128 to 60 computations (53.1% saved)

Details

analyze198.0ms (6.6%)

sample22.0ms (0.7%)

simplify186.0ms (6.2%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite27.0ms (0.9%)

series53.0ms (1.8%)

simplify101.0ms (3.4%)

prune20.0ms (0.7%)

localize8.0ms (0.3%)

rewrite147.0ms (4.9%)

series100.0ms (3.3%)

simplify135.0ms (4.5%)

prune47.0ms (1.6%)

localize10.0ms (0.3%)

rewrite105.0ms (3.5%)

series97.0ms (3.3%)

simplify167.0ms (5.6%)

prune45.0ms (1.5%)

localize12.0ms (0.4%)

rewrite88.0ms (3%)

series76.0ms (2.6%)

simplify95.0ms (3.2%)

prune42.0ms (1.4%)

regimes574.0ms (19.2%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample616.0ms (20.7%)

Profiling