Details

analyze1.0s (29.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample25.0ms (0.7%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
2.0ms	76×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify121.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

683×	`unsub-neg_binary64`
313×	`distribute-rgt-in_binary64`
306×	`sub-neg_binary64`
236×	`associate-+l+_binary64`
225×	`distribute-neg-in_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	35	13
3	97	13
4	291	13
5	549	13
6	1136	13
7	1453	13
8	1744	13
9	1655	13
10	1663	13
11	1663	13
12	1664	13
13	1634	13
14	1634	13
15	1641	13
16	1582	13

prune1.0ms (0%)

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.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 26 to 16 computations (38.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 y z) (-.f64 t x))
0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

rewrite48.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64`
12×	`cancel-sign-sub-inv_binary64`
12×	`*-un-lft-identity_binary64`
8×	`distribute-lft-in_binary64`
8×	`associate-+r+_binary64`

Counts

2 → 57

Calls

2 calls:

8.0ms	(*.f64 (-.f64 y z) (-.f64 t x))
3.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 1016 to 245 computations (75.9% saved)

series84.0ms (2.4%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

41.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
31.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Compiler

Compiled 1476 to 823 computations (44.2% saved)

simplify95.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

384×	`exp-diff_binary64`
334×	`*-commutative_binary64`
290×	`exp-prod_binary64`
248×	`unsub-neg_binary64`
216×	`cancel-sign-sub-inv_binary64`

Counts

105 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1803
1	422	1647
2	1366	1382
3	2300	1382
4	4340	1382
5	4922	1382

prune49.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	85	5	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	5	91

Error

Counts

91 → 5

Alt Table

Status	Error	Program
	31.3b	(*.f64 x (-.f64 (+.f64 z 1) y))
	34.7b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (.f64 y y) (+.f64 (.f64 z z) (.f64 y z)))))
▶	0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
	1.0b	(+.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 t x) (-.f64 y z))) (cbrt.f64 (.f64 (-.f64 t x) (-.f64 y z)))) (cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))))
	41.3b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 t x) (-.f64 y z)) 3)))

Compiler

Compiled 946 to 312 computations (67% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 x (-.f64 z y))
0.0b	(*.f64 t (-.f64 y z))
0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))

rewrite56.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
12×	`cancel-sign-sub-inv_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-r_binary64`

Counts

3 → 74

Calls

3 calls:

6.0ms	(*.f64 x (-.f64 z y))
5.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
5.0ms	(*.f64 t (-.f64 y z))

Compiler

Compiled 1404 to 351 computations (75% saved)

series91.0ms (2.6%)

Error

Counts

3 → 54

Calls

3 calls:

42.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
19.0ms	(*.f64 x (-.f64 z y))
18.0ms	(*.f64 t (-.f64 y z))

Compiler

Compiled 1718 to 951 computations (44.6% saved)

simplify87.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

686×	`distribute-rgt-in_binary64`
638×	`distribute-lft-in_binary64`
181×	`exp-prod_binary64`
175×	`associate-l_binary64`
153×	`associate-r_binary64`

Counts

128 → 93

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	176	1687
1	454	1504
2	1411	1504
3	4759	1504
4	4997	1504

prune24.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	93	5	98

Error

Counts

98 → 5

Alt Table

Status	Error	Program
▶	0.7b	(+.f64 x (+.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (-.f64 y z) (cbrt.f64 t))) (.f64 x (-.f64 z y))))
	31.3b	(*.f64 x (-.f64 (+.f64 z 1) y))
	34.7b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (.f64 y y) (+.f64 (.f64 z z) (.f64 y z)))))
✓	0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
	41.3b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 t x) (-.f64 y z)) 3)))

Compiler

Compiled 779 to 302 computations (61.2% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)

rewrite49.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 73

Calls

4 calls:

4.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 1695 to 373 computations (78% saved)

series57.0ms (1.7%)

Error

Counts

4 → 12

Calls

4 calls:

16.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
13.0ms	(cbrt.f64 t)
12.0ms	(cbrt.f64 t)
12.0ms	(cbrt.f64 t)

Compiler

Compiled 824 to 486 computations (41% saved)

simplify97.0ms (2.8%)

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	624
1	94	576
2	292	556
3	763	542
4	1759	418
5	4280	418
6	4543	418
7	4810	418

prune21.0ms (0.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	64	5	69

Error

Counts

69 → 5

Alt Table

Status	Error	Program
✓	0.7b	(+.f64 x (+.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (-.f64 y z) (cbrt.f64 t))) (.f64 x (-.f64 z y))))
▶	31.3b	(*.f64 x (-.f64 (+.f64 z 1) y))
	34.7b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (.f64 y y) (+.f64 (.f64 z z) (.f64 y z)))))
✓	0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
	41.3b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 t x) (-.f64 y z)) 3)))

Compiler

Compiled 836 to 312 computations (62.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 x (-.f64 (+.f64 z 1) y))

rewrite29.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`*-un-lft-identity_binary64`
9×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`cancel-sign-sub-inv_binary64`
5×	`distribute-lft-in_binary64`

Counts

1 → 33

Calls

1 calls:

8.0ms

(*.f64 x (-.f64 (+.f64 z 1) y))

Compiler

Compiled 427 to 257 computations (39.8% saved)

series71.0ms (2.1%)

Error

Counts

1 → 15

Calls

1 calls:

18.0ms

(*.f64 x (-.f64 (+.f64 z 1) y))

Compiler

Compiled 310 to 202 computations (34.8% saved)

simplify64.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

549×	`unsub-neg_binary64`
456×	`distribute-rgt-in_binary64`
445×	`distribute-lft-in_binary64`
358×	`associate-l_binary64`
320×	`associate-r_binary64`

Counts

48 → 40

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	80	575
1	176	533
2	584	533
3	2225	533
4	3574	533
5	5012	533

prune17.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	40	5	45

Error

Counts

45 → 5

Alt Table

Status	Error	Program
	0.7b	(+.f64 x (+.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (-.f64 y z) (cbrt.f64 t))) (.f64 x (-.f64 z y))))
	31.3b	(*.f64 x (-.f64 (+.f64 z 1) y))
	34.7b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (+.f64 (.f64 y y) (+.f64 (.f64 z z) (.f64 y z)))))
	0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
	41.3b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 t x) (-.f64 y z)) 3)))

Compiler

Compiled 383 to 234 computations (38.9% saved)

regimes473.0ms (13.7%)

Accuracy

Total 0.0b remaining (45.3%)

Threshold costs 0.0b (45.3%)

Compiler

Compiled 8476 to 4840 computations (42.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
4×	`*-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	19	19
2	27	19
3	31	19
4	33	19
5	33	19

end0.0ms (0%)

Compiler: Compiled 17 to 10 computations (41.2% saved)

sample833.0ms (24.2%)

Algorithm

1×

intervals

Results

297.0ms	8000×	body	128	valid
86.0ms	2510×	body	128	invalid

Compiler

Compiled 132 to 83 computations (37.1% saved)

Details

analyze1.0s (29.4%)

sample25.0ms (0.7%)

simplify121.0ms (3.5%)

prune1.0ms (0%)

localize6.0ms (0.2%)

rewrite48.0ms (1.4%)

series84.0ms (2.4%)

simplify95.0ms (2.8%)

prune49.0ms (1.4%)

localize8.0ms (0.2%)

rewrite56.0ms (1.6%)

series91.0ms (2.6%)

simplify87.0ms (2.5%)

prune24.0ms (0.7%)

localize13.0ms (0.4%)

rewrite49.0ms (1.4%)

series57.0ms (1.7%)

simplify97.0ms (2.8%)

prune21.0ms (0.6%)

localize5.0ms (0.1%)

rewrite29.0ms (0.8%)

series71.0ms (2.1%)

simplify64.0ms (1.9%)

prune17.0ms (0.5%)

regimes473.0ms (13.7%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample833.0ms (24.2%)

Profiling