Details

analyze103.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	37.5%	12.6%	7
56.2%	31.2%	12.6%	8
62.4%	18.7%	18.8%	9
65.6%	15.6%	18.8%	10
68.7%	9.4%	22%	11
70.2%	7.8%	22%	12
71.8%	4.7%	23.5%	13
72.6%	3.9%	23.5%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample51.0ms (2.7%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify10.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

13×	`associate-l_binary64`
11×	`associate-r_binary64`
10×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	14	10
2	28	10
3	36	10
4	35	10
5	35	10

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (.f64 (*.f64 x 3) y) y)
0.3b	(.f64 (.f64 x 3) y)

rewrite35.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 39

Calls

2 calls:

5.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
4.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 460 to 270 computations (41.3% saved)

series26.0ms (1.4%)

Error

0.1b

Counts

2 → 12

Calls

2 calls:

13.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
11.0ms	(.f64 (.f64 x 3) y)

Compiler

Compiled 232 to 167 computations (28% saved)

simplify115.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

371×	`associate-*r/_binary64`
317×	`*-commutative_binary64`
296×	`associate-*l/_binary64`
272×	`associate-/l*_binary64`
253×	`associate-/l/_binary64`

Counts

51 → 37

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	612
1	162	504
2	583	504
3	873	502
4	1212	502
5	2051	502
6	4441	502
7	4998	502
8	5000	502
9	4908	502

prune22.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	6	38

Error

0.0b

Counts

38 → 6

Alt Table

Status	Error	Program
	23.6b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 y x))) (sqrt.f64 (.f64 3 (.f64 y x)))) y)
	21.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) y)
▶	0.2b	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	36.8b	(.f64 (.f64 3 (*.f64 x (pow.f64 y 3/2))) (sqrt.f64 y))

Compiler

Compiled 357 to 206 computations (42.3% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
0.2b	(.f64 3 (.f64 y x))

rewrite44.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

19×	`add-exp-log_binary64`
11×	`prod-exp_binary64`
9×	`add-cbrt-cube_binary64`
8×	`associate-l_binary64`
8×	`add-sqr-sqrt_binary64`

Counts

2 → 43

Calls

2 calls:

6.0ms	(.f64 3 (.f64 y x))
4.0ms	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)

Compiler

Compiled 618 to 378 computations (38.8% saved)

series25.0ms (1.3%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

12.0ms	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
11.0ms	(.f64 3 (.f64 y x))

Compiler

Compiled 258 to 193 computations (25.2% saved)

simplify87.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

438×	`associate-/l/_binary64`
414×	`sqr-pow_binary64`
351×	`*-commutative_binary64`
249×	`unswap-sqr_binary64`
243×	`distribute-rgt-in_binary64`

Counts

55 → 35

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	82	634
1	157	577
2	648	577
3	1127	577
4	1991	577
5	3601	577
6	4951	577
7	4916	577

prune21.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	33	8	41

Error

0.0b

Counts

41 → 8

Alt Table

Status	Error	Program
	1.0b	(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1)) (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1))) (.f64 y (cbrt.f64 (.f64 3 (*.f64 y x)))))
	23.6b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 y x))) (sqrt.f64 (.f64 3 (.f64 y x)))) y)
	21.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) y)
	0.5b	(.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))) 1) y)
✓	0.2b	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
▶	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	36.8b	(.f64 (.f64 3 (*.f64 x (pow.f64 y 3/2))) (sqrt.f64 y))

Compiler

Compiled 458 to 283 computations (38.2% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b	(.f64 y (.f64 y x))
0.2b	(.f64 3 (.f64 y (*.f64 y x)))

rewrite35.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 39

Calls

2 calls:

5.0ms	(.f64 3 (.f64 y (*.f64 y x)))
3.0ms	(.f64 y (.f64 y x))

Compiler

Compiled 442 to 174 computations (60.6% saved)

series26.0ms (1.3%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

13.0ms	(.f64 3 (.f64 y (*.f64 y x)))
12.0ms	(.f64 y (.f64 y x))

Compiler

Compiled 225 to 175 computations (22.2% saved)

simplify123.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

475×	`unswap-sqr_binary64`
367×	`distribute-rgt-in_binary64`
366×	`times-frac_binary64`
338×	`associate-+l+_binary64`
333×	`sqr-pow_binary64`

Counts

51 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	617
1	139	500
2	500	500
3	766	498
4	1116	498
5	2092	498
6	3746	498
7	4635	498
8	4910	498

prune23.0ms (1.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	42	9	51

Error

0.0b

Counts

51 → 9

Alt Table

Status	Error	Program
	1.0b	(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1)) (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1))) (.f64 y (cbrt.f64 (.f64 3 (*.f64 y x)))))
	23.6b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 y x))) (sqrt.f64 (.f64 3 (.f64 y x)))) y)
	21.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) y)
▶	0.5b	(.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))) 1) y)
✓	0.2b	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
✓	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
✓	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	36.8b	(.f64 (.f64 3 (*.f64 x (pow.f64 y 3/2))) (sqrt.f64 y))
	9.8b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (.f64 (*.f64 y y) x) (cbrt.f64 3)))

Compiler

Compiled 459 to 270 computations (41.2% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b	(.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))) 1) y)
0.3b	(.f64 (sqrt.f64 3) (.f64 (*.f64 y x) (sqrt.f64 3)))
0.4b	(.f64 (.f64 y x) (sqrt.f64 3))

rewrite88.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-exp-log_binary64`
21×	`prod-exp_binary64`
19×	`add-cbrt-cube_binary64`
18×	`pow1_binary64`
12×	`associate-l_binary64`

Counts

3 → 71

Calls

3 calls:

7.0ms	(.f64 (sqrt.f64 3) (.f64 (*.f64 y x) (sqrt.f64 3)))
5.0ms	(.f64 (.f64 y x) (sqrt.f64 3))
5.0ms	(.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))) 1) y)

Compiler

Compiled 1316 to 943 computations (28.3% saved)

series68.0ms (3.5%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

23.0ms	(.f64 (pow.f64 (.f64 (sqrt.f64 3) (.f64 (.f64 y x) (sqrt.f64 3))) 1) y)
23.0ms	(.f64 (sqrt.f64 3) (.f64 (*.f64 y x) (sqrt.f64 3)))
18.0ms	(.f64 (.f64 y x) (sqrt.f64 3))

Compiler

Compiled 529 to 425 computations (19.7% saved)

simplify121.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

577×	`unswap-sqr_binary64`
491×	`*-commutative_binary64`
329×	`sqr-pow_binary64`
293×	`log-prod_binary64`
292×	`exp-prod_binary64`

Counts

89 → 71

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	113	1356
1	236	952
2	957	952
3	1720	944
4	3730	944
5	4694	944
6	4999	944
7	4941	944

prune41.0ms (2.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	1	4	5
Picked	1	0	1
Done	0	3	3
Total	72	8	80

Error

0.0b

Counts

80 → 8

Alt Table

Status	Error	Program
	1.0b	(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1)) (cbrt.f64 (pow.f64 (.f64 3 (.f64 y x)) 1))) (.f64 y (cbrt.f64 (.f64 3 (*.f64 y x)))))
	23.6b	(.f64 (.f64 (sqrt.f64 (.f64 3 (.f64 y x))) (sqrt.f64 (.f64 3 (.f64 y x)))) y)
	0.5b	(.f64 (pow.f64 (sqrt.f64 3) 1) (.f64 y (.f64 y (.f64 (sqrt.f64 3) x))))
	21.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 3 (*.f64 y x)) 3)) y)
	0.2b	(.f64 (pow.f64 (.f64 3 (*.f64 y x)) 1) y)
	0.3b	(.f64 3 (.f64 y (*.f64 y x)))
	0.3b	(.f64 (.f64 (*.f64 x 3) y) y)
	36.8b	(.f64 (.f64 3 (*.f64 x (pow.f64 y 3/2))) (sqrt.f64 y))

Compiler

Compiled 680 to 495 computations (27.2% saved)

regimes302.0ms (15.6%)

Accuracy

Total 0.2b remaining (89.1%)

Threshold costs 0.2b (89.1%)

Compiler

Compiled 4530 to 3038 computations (32.9% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	13	10

end0.0ms (0%)

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

sample541.0ms (27.9%)

Algorithm

1×

intervals

Results

222.0ms	8000×	body	128	valid
4.0ms	173×	body	128	invalid

Compiler

Compiled 134 to 95 computations (29.1% saved)

Details

analyze103.0ms (5.3%)

sample51.0ms (2.7%)

simplify10.0ms (0.5%)

prune2.0ms (0.1%)

localize6.0ms (0.3%)

rewrite35.0ms (1.8%)

series26.0ms (1.4%)

simplify115.0ms (5.9%)

prune22.0ms (1.1%)

localize6.0ms (0.3%)

rewrite44.0ms (2.3%)

series25.0ms (1.3%)

simplify87.0ms (4.5%)

prune21.0ms (1.1%)

localize5.0ms (0.3%)

rewrite35.0ms (1.8%)

series26.0ms (1.3%)

simplify123.0ms (6.4%)

prune23.0ms (1.2%)

localize8.0ms (0.4%)

rewrite88.0ms (4.6%)

series68.0ms (3.5%)

simplify121.0ms (6.3%)

prune41.0ms (2.1%)

regimes302.0ms (15.6%)

simplify3.0ms (0.2%)

end0.0ms (0%)

sample541.0ms (27.9%)

Profiling