Details

analyze759.0ms (20.1%)

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
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample21.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify245.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

986×	`div-sub_binary64`
972×	`distribute-rgt-in_binary64`
929×	`distribute-lft-in_binary64`
786×	`sub-neg_binary64`
582×	`times-frac_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	34	13
3	70	13
4	131	13
5	217	13
6	507	13
7	1253	13
8	2664	13
9	2829	13
10	3200	13
11	3241	13
12	3253	13
13	3314	13
14	3763	13
15	3503	13
16	3739	13
17	3731	13
18	3769	13
19	3769	13
20	3807	13
21	3807	13
22	5580	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

11.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	11.8b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

Compiler

Compiled 26 to 16 computations (38.5% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite43.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

2 → 59

Calls

2 calls:

7.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
5.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 893 to 225 computations (74.8% saved)

series85.0ms (2.3%)

Error

5.1b

Counts

2 → 42

Calls

2 calls:

52.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
19.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 1688 to 963 computations (43% saved)

simplify84.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

335×	`distribute-rgt-in_binary64`
320×	`associate-/l/_binary64`
319×	`div-sub_binary64`
311×	`distribute-lft-in_binary64`
298×	`associate-/r/_binary64`

Counts

101 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	176	1849
1	474	1684
2	1836	1630
3	4489	1630
4	5340	1630

prune31.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	61	8	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	8	70

Error

0.0b

Counts

70 → 8

Alt Table

Status	Error	Program
	12.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (-.f64 y z) x) (-.f64 t z))) (cbrt.f64 (/.f64 (.f64 (-.f64 y z) x) (-.f64 t z)))) (cbrt.f64 (/.f64 (*.f64 (-.f64 y z) x) (-.f64 t z))))
	11.8b	(/.f64 (+.f64 (.f64 y x) (neg.f64 (.f64 z x))) (-.f64 t z))
	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 y z) x)) (cbrt.f64 (.f64 (-.f64 y z) x))) (cbrt.f64 (*.f64 (-.f64 y z) x))) (-.f64 t z))
	35.1b	(/.f64 (*.f64 (/.f64 x (sqrt.f64 (-.f64 t z))) (-.f64 y z)) (sqrt.f64 (-.f64 t z)))
	11.7b	(/.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z)) (cbrt.f64 (-.f64 t z)))
	48.3b	(/.f64 (.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (.f64 (-.f64 t z) (+.f64 (.f64 z z) (.f64 y (+.f64 y z)))))
	12.1b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 (-.f64 y z) x)))
▶	2.6b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

Compiler

Compiled 1068 to 377 computations (64.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite76.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

75×	`add-sqr-sqrt_binary64`
70×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
26×	`add-cube-cbrt_binary64`

Counts

2 → 102

Calls

2 calls:

11.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
6.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 1542 to 306 computations (80.2% saved)

series131.0ms (3.5%)

Error

0.0b

Counts

2 → 54

Calls

2 calls:

59.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
47.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 2626 to 1558 computations (40.7% saved)

simplify131.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

878×	`times-frac_binary64`
350×	`distribute-rgt-in_binary64`
333×	`cancel-sign-sub-inv_binary64`
268×	`sub-neg_binary64`
195×	`div-sub_binary64`

Counts

156 → 91

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	248	3546
1	675	3345
2	2411	3150
3	4711	3138
4	5000	3138

prune39.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	87	4	91
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	89	10	99

Error

0.0b

Counts

99 → 10

Alt Table

Status	Error	Program
	9.4b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
	11.8b	(/.f64 (+.f64 (.f64 y x) (neg.f64 (.f64 z x))) (-.f64 t z))
▶	3.7b	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))
	19.5b	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 (-.f64 y z) (-.f64 t z)) 3)))
	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 y z) x)) (cbrt.f64 (.f64 (-.f64 y z) x))) (cbrt.f64 (*.f64 (-.f64 y z) x))) (-.f64 t z))
	32.7b	(.f64 (sqrt.f64 x) (.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (sqrt.f64 x)))
	35.1b	(/.f64 (*.f64 (/.f64 x (sqrt.f64 (-.f64 t z))) (-.f64 y z)) (sqrt.f64 (-.f64 t z)))
	48.3b	(/.f64 (.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (.f64 (-.f64 t z) (+.f64 (.f64 z z) (.f64 y (+.f64 y z)))))
	12.1b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 (-.f64 y z) x)))
✓	2.6b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

Compiler

Compiled 1481 to 545 computations (63.2% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))
2.5b	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))

rewrite69.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`cbrt-div_binary64`
22×	`associate-*r/_binary64`
22×	`add-exp-log_binary64`
16×	`frac-times_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 87

Calls

4 calls:

20.0ms	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))
2.0ms	(cbrt.f64 (-.f64 y z))
2.0ms	(cbrt.f64 (-.f64 y z))
2.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 2509 to 437 computations (82.6% saved)

series146.0ms (3.9%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

69.0ms	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))
20.0ms	(cbrt.f64 (-.f64 y z))
20.0ms	(cbrt.f64 (-.f64 y z))
18.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 3225 to 1929 computations (40.2% saved)

simplify121.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

557×	`associate-/l*_binary64`
466×	`times-frac_binary64`
233×	`associate-/r*_binary64`
213×	`associate-r_binary64`
210×	`associate-l_binary64`

Counts

138 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	221	2783
1	557	2567
2	1749	2513
3	4761	2498
4	5217	2498

prune33.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	92	10	102

Error

0.0b

Counts

102 → 10

Alt Table

Status	Error	Program
▶	9.4b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
	11.8b	(/.f64 (+.f64 (.f64 y x) (neg.f64 (.f64 z x))) (-.f64 t z))
✓	3.7b	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))
	19.5b	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 (-.f64 y z) (-.f64 t z)) 3)))
	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 y z) x)) (cbrt.f64 (.f64 (-.f64 y z) x))) (cbrt.f64 (*.f64 (-.f64 y z) x))) (-.f64 t z))
	32.7b	(.f64 (sqrt.f64 x) (.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (sqrt.f64 x)))
	35.1b	(/.f64 (*.f64 (/.f64 x (sqrt.f64 (-.f64 t z))) (-.f64 y z)) (sqrt.f64 (-.f64 t z)))
	48.3b	(/.f64 (.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (.f64 (-.f64 t z) (+.f64 (.f64 z z) (.f64 y (+.f64 y z)))))
	12.1b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 (-.f64 y z) x)))
✓	2.6b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

Compiler

Compiled 1760 to 561 computations (68.1% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))
0.6b	(cbrt.f64 (-.f64 y z))
8.0b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))

rewrite91.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

58×	`*-un-lft-identity_binary64`
58×	`add-sqr-sqrt_binary64`
46×	`associate-r_binary64`
40×	`cbrt-prod_binary64`
40×	`times-frac_binary64`

Counts

4 → 132

Calls

4 calls:

21.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
2.0ms	(cbrt.f64 (-.f64 y z))
2.0ms	(cbrt.f64 (-.f64 y z))
2.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 3675 to 569 computations (84.5% saved)

series139.0ms (3.7%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

64.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
20.0ms	(cbrt.f64 (-.f64 y z))
20.0ms	(cbrt.f64 (-.f64 y z))
18.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 3225 to 1925 computations (40.3% saved)

simplify176.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

909×	`times-frac_binary64`
421×	`associate-l_binary64`
329×	`associate-r_binary64`
224×	`*-commutative_binary64`
204×	`cancel-sign-sub-inv_binary64`

Counts

183 → 127

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	282	4419
1	757	4176
2	2867	4176
3	4648	4161
4	4977	4161
5	4965	4161

prune43.0ms (1.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	127	10	137

Error

Counts

137 → 10

Alt Table

Status	Error	Program
	9.4b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
	8.9b	(.f64 (/.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 t z))))
	11.8b	(/.f64 (+.f64 (.f64 y x) (neg.f64 (.f64 z x))) (-.f64 t z))
	3.7b	(.f64 x (.f64 (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z))))
	19.5b	(*.f64 x (cbrt.f64 (pow.f64 (/.f64 (-.f64 y z) (-.f64 t z)) 3)))
	12.6b	(/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 y z) x)) (cbrt.f64 (.f64 (-.f64 y z) x))) (cbrt.f64 (*.f64 (-.f64 y z) x))) (-.f64 t z))
	32.7b	(.f64 (sqrt.f64 x) (.f64 (/.f64 (-.f64 y z) (-.f64 t z)) (sqrt.f64 x)))
	48.3b	(/.f64 (.f64 x (-.f64 (pow.f64 y 3) (pow.f64 z 3))) (.f64 (-.f64 t z) (+.f64 (.f64 z z) (.f64 y (+.f64 y z)))))
	12.1b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 (-.f64 y z) x)))
	2.6b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

Compiler

Compiled 2038 to 534 computations (73.8% saved)

regimes500.0ms (13.3%)

Accuracy

Total 1.0b remaining (97.1%)

Threshold costs 0b (0%)

Compiler

Compiled 11055 to 5864 computations (47% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	20	49
2	26	49
3	28	49
4	29	49
5	29	49

end1.0ms (0%)

Compiler: Compiled 35 to 14 computations (60% saved)

sample766.0ms (20.3%)

Algorithm

1×

intervals

Results

310.0ms	8000×	body	128	valid
23.0ms	626×	body	128	invalid

Compiler

Compiled 268 to 140 computations (47.8% saved)

Details

analyze759.0ms (20.1%)

sample21.0ms (0.5%)

simplify245.0ms (6.5%)

prune1.0ms (0%)

localize6.0ms (0.2%)

rewrite43.0ms (1.2%)

series85.0ms (2.3%)

simplify84.0ms (2.2%)

prune31.0ms (0.8%)

localize6.0ms (0.2%)

rewrite76.0ms (2%)

series131.0ms (3.5%)

simplify131.0ms (3.5%)

prune39.0ms (1%)

localize11.0ms (0.3%)

rewrite69.0ms (1.8%)

series146.0ms (3.9%)

simplify121.0ms (3.2%)

prune33.0ms (0.9%)

localize11.0ms (0.3%)

rewrite91.0ms (2.4%)

series139.0ms (3.7%)

simplify176.0ms (4.7%)

prune43.0ms (1.2%)

regimes500.0ms (13.3%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample766.0ms (20.3%)

Profiling