Details

analyze936.0ms (23.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
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
23.4%	74.9%	1.8%	11
27.3%	69.4%	3.3%	12
36.6%	56.5%	6.8%	13
40.5%	52%	7.4%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample29.0ms (0.7%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
2.0ms	63×	body	128	invalid

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify30.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

112×	`distribute-rgt-in_binary64`
90×	`associate-l_binary64`
87×	`associate-r_binary64`
83×	`cancel-sign-sub-inv_binary64`
76×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	19	10
2	41	10
3	87	10
4	140	10
5	194	10
6	279	10
7	406	10
8	573	10
9	512	10
10	501	10
11	501	10
12	438	10

prune9.0ms (0.2%)

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

0.1b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	6.1b	(.f64 y (.f64 t (-.f64 x z)))
	7.1b	(.f64 (-.f64 (.f64 x y) (*.f64 z y)) t)

Compiler

Compiled 59 to 37 computations (37.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite70.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`distribute-rgt-in_binary64` `distribute-lft-in_binary64`
18×	`cancel-sign-sub-inv_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`

Counts

2 → 66

Calls

2 calls:

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

Compiler

Compiled 868 to 232 computations (73.3% saved)

series77.0ms (1.9%)

Error

0.1b

Counts

2 → 33

Calls

2 calls:

42.0ms	(.f64 y (.f64 t (-.f64 x z)))
24.0ms	(*.f64 t (-.f64 x z))

Compiler

Compiled 742 to 445 computations (40% saved)

simplify88.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

388×	`distribute-rgt-in_binary64`
382×	`distribute-lft-in_binary64`
372×	`exp-prod_binary64`
352×	`*-commutative_binary64`
333×	`unsub-neg_binary64`

Counts

99 → 72

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	123	1142
1	271	1049
2	906	1049
3	2595	1049
4	4409	1049
5	4932	1049

prune29.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	66	6	72
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	67	7	74

Error

0.0b

Counts

74 → 7

Alt Table

Status	Error	Program
✓	6.1b	(.f64 y (.f64 t (-.f64 x z)))
▶	5.7b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
	7.1b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	8.0b	(.f64 (.f64 (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z))))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))))
	6.2b	(.f64 (.f64 t y) (-.f64 x z))
	34.1b	(.f64 y (cbrt.f64 (pow.f64 (.f64 t (-.f64 x z)) 3)))
	23.4b	(.f64 y (.f64 (sqrt.f64 t) (*.f64 (-.f64 x z) (sqrt.f64 t))))

Compiler

Compiled 460 to 195 computations (57.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
2.2b	(.f64 t (.f64 (-.f64 x z) (cbrt.f64 y)))
2.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))

rewrite66.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`pow1_binary64` `add-exp-log_binary64`
21×	`add-cbrt-cube_binary64`
18×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
7×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
6×	`associate-*r/_binary64` `cbrt-prod_binary64`

Counts

4 → 72

Calls

4 calls:

14.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
8.0ms	(.f64 t (.f64 (-.f64 x z) (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 1380 to 240 computations (82.6% saved)

series183.0ms (4.5%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

94.0ms	(.f64 t (.f64 (-.f64 x z) (cbrt.f64 y)))
48.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 t (.f64 (-.f64 x z) (cbrt.f64 y))))
15.0ms	(cbrt.f64 y)
15.0ms	(cbrt.f64 y)

Compiler

Compiled 1535 to 943 computations (38.6% saved)

simplify61.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

682×	`distribute-rgt-in_binary64`
680×	`distribute-lft-in_binary64`
263×	`associate-r_binary64`
250×	`associate-l_binary64`
112×	`*-commutative_binary64`

Counts

114 → 81

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	1768
1	323	1182
2	1276	1172
3	5200	1172

prune29.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	80	8	88

Error

Counts

88 → 8

Alt Table

Status	Error	Program
▶	5.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))
✓	6.1b	(.f64 y (.f64 t (-.f64 x z)))
	37.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 (.f64 y (pow.f64 (.f64 t (-.f64 x z)) 3))))
	7.1b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	8.0b	(.f64 (.f64 (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z))))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))))
	6.2b	(.f64 (.f64 t y) (-.f64 x z))
	34.1b	(.f64 y (cbrt.f64 (pow.f64 (.f64 t (-.f64 x z)) 3)))
	23.4b	(.f64 y (.f64 (sqrt.f64 t) (*.f64 (-.f64 x z) (sqrt.f64 t))))

Compiler

Compiled 726 to 292 computations (59.8% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
2.2b	(.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))
2.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))

rewrite97.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

74×	`pow1_binary64` `add-exp-log_binary64`
54×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
33×	`add-cbrt-cube_binary64`
9×	`cbrt-prod_binary64`
8×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `-un-lft-identity_binary64` `associate-l/_binary64`

Counts

4 → 99

Calls

4 calls:

25.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))
9.0ms	(.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 2578 to 345 computations (86.6% saved)

series202.0ms (5%)

Error

Counts

4 → 42

Calls

4 calls:

104.0ms	(.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))
53.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))
18.0ms	(cbrt.f64 y)
16.0ms	(cbrt.f64 y)

Compiler

Compiled 1985 to 1159 computations (41.6% saved)

simplify113.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

429×	`associate-l_binary64`
393×	`distribute-rgt-in_binary64`
392×	`distribute-lft-in_binary64`
377×	`associate-r_binary64`
225×	`log-prod_binary64`

Counts

141 → 110

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	199	3494
1	516	1620
2	1697	1598
3	4870	1598
4	4973	1598

prune29.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	110	8	118

Error

Counts

118 → 8

Alt Table

Status	Error	Program
✓	5.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))
✓	6.1b	(.f64 y (.f64 t (-.f64 x z)))
	37.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 (.f64 y (pow.f64 (.f64 t (-.f64 x z)) 3))))
	7.1b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	8.0b	(.f64 (.f64 (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z))))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))))
▶	6.2b	(.f64 (.f64 t y) (-.f64 x z))
	34.1b	(.f64 y (cbrt.f64 (pow.f64 (.f64 t (-.f64 x z)) 3)))
	23.4b	(.f64 y (.f64 (sqrt.f64 t) (*.f64 (-.f64 x z) (sqrt.f64 t))))

Compiler

Compiled 972 to 333 computations (65.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

6.1b	(.f64 (.f64 t y) (-.f64 x z))

rewrite31.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64` `cancel-sign-sub-inv_binary64`
5×	`associate-r_binary64`
4×	`add-cube-cbrt_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`
3×	`pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64`
2×	`sub-neg_binary64` `associate-*r/_binary64`

Counts

1 → 30

Calls

1 calls:

10.0ms

(*.f64 (*.f64 t y) (-.f64 x z))

Compiler

Compiled 405 to 111 computations (72.6% saved)

series43.0ms (1.1%)

Error

Counts

1 → 18

Calls

1 calls:

40.0ms

(*.f64 (*.f64 t y) (-.f64 x z))

Compiler

Compiled 432 to 258 computations (40.3% saved)

simplify68.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

415×	`distribute-rgt-neg-out_binary64`
412×	`distribute-lft-neg-out_binary64`
326×	`*-commutative_binary64`
307×	`exp-prod_binary64`
277×	`distribute-rgt-in_binary64`

Counts

48 → 37

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	88	621
1	243	558
2	812	558
3	2038	558
4	4773	558
5	4974	558

prune12.0ms (0.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

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

Error

Counts

45 → 8

Alt Table

Status	Error	Program
	5.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (-.f64 x z) (cbrt.f64 y)) (cbrt.f64 t))))
	6.1b	(.f64 y (.f64 t (-.f64 x z)))
	37.9b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 (.f64 y (pow.f64 (.f64 t (-.f64 x z)) 3))))
	7.1b	(+.f64 (.f64 t (.f64 x y)) (neg.f64 (.f64 t (.f64 z y))))
	8.0b	(.f64 (.f64 (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z))))) (cbrt.f64 (.f64 t (.f64 y (-.f64 x z)))))
	6.2b	(.f64 (.f64 t y) (-.f64 x z))
	34.1b	(.f64 y (cbrt.f64 (pow.f64 (.f64 t (-.f64 x z)) 3)))
	23.4b	(.f64 y (.f64 (sqrt.f64 t) (*.f64 (-.f64 x z) (sqrt.f64 t))))

Compiler

Compiled 273 to 115 computations (57.9% saved)

regimes729.0ms (18%)

Accuracy

Total 0.7b remaining (95.5%)

Threshold costs 0.7b (95.5%)

Compiler

Compiled 5434 to 3122 computations (42.5% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
5×	`sub-neg_binary64` `+-commutative_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64`
1×	`distribute-lft-neg-out_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	116
1	40	116
2	50	116
3	56	116
4	60	116
5	61	116
6	61	116

end9.0ms (0.2%)

Compiler: Compiled 249 to 75 computations (69.9% saved)

sample1.1s (26.2%)

Algorithm

1×

intervals

Results

230.0ms	8000×	body	128	valid
54.0ms	1885×	body	128	invalid

Compiler

Compiled 243 to 117 computations (51.9% saved)

Iter	Nodes	Cost
0	9	10
1	19	10
2	41	10
3	87	10
4	140	10
5	194	10
6	279	10
7	406	10
8	573	10
9	512	10
10	501	10
11	501	10
12	438	10

Iter	Nodes	Cost
0	9	10
1	19	10
2	41	10
3	87	10
4	140	10
5	194	10
6	279	10
7	406	10
8	573	10
9	512	10
10	501	10
11	501	10
12	438	10

Details

analyze936.0ms (23.1%)

sample29.0ms (0.7%)

simplify30.0ms (0.7%)

prune9.0ms (0.2%)

localize5.0ms (0.1%)

rewrite70.0ms (1.7%)

series77.0ms (1.9%)

simplify88.0ms (2.2%)

prune29.0ms (0.7%)

localize10.0ms (0.2%)

rewrite66.0ms (1.6%)

series183.0ms (4.5%)

simplify61.0ms (1.5%)

prune29.0ms (0.7%)

localize17.0ms (0.4%)

rewrite97.0ms (2.4%)

series202.0ms (5%)

simplify113.0ms (2.8%)

prune29.0ms (0.7%)

localize5.0ms (0.1%)

rewrite31.0ms (0.8%)

series43.0ms (1.1%)

simplify68.0ms (1.7%)

prune12.0ms (0.3%)

regimes729.0ms (18%)

bsearch3.0ms (0.1%)

simplify7.0ms (0.2%)

end9.0ms (0.2%)

sample1.1s (26.2%)

Profiling

Iter	Nodes	Cost
0	9	10
1	19	10
2	41	10
3	87	10
4	140	10
5	194	10
6	279	10
7	406	10
8	573	10
9	512	10
10	501	10
11	501	10
12	438	10