Details

analyze1.1s (18.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
3.1%	71.7%	25.1%	9
4.7%	69.8%	25.5%	10
7%	66.9%	26.1%	11
10.9%	61.5%	27.6%	12
11.1%	47%	41.9%	13
12.8%	44.4%	42.8%	14

sample61.0ms (1%)

Algorithm

1×

intervals

Results

20.0ms	318×	body	80	nan
18.0ms	256×	body	80	valid

simplify202.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (200.0ms)

Iter	Nodes	Cost
0	5207	19

prune13.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

Merged error: 1.0b

Counts

2 → 2

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(/ x (* y 27.0))
1.0b	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.0b	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
5.8b	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))

rewrite36.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`add-exp-log` `add-cbrt-cube`
36×	`prod-exp` `cbrt-unprod`
27×	`cbrt-undiv` `div-exp`
26×	`add-sqr-sqrt`
18×	`associate-l`
17×	`add-cube-cbrt` `*-un-lft-identity`
15×	`times-frac`
9×	`associate-r`
8×	`pow1`
4×	`sqrt-prod` `div-inv` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `*-commutative`
1×	`associate-*r/` `associate-/l/`

Counts

4 → 124

Calls

4 calls:

12.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
9.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
6.0ms	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
4.0ms	(/ x (* y 27.0))

series39.0ms (0.6%)

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
8.0ms	(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
6.0ms	(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
3.0ms	(/ x (* y 27.0))

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4996	1946
1	4996	1946

prune281.0ms (4.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	135	3	138

Merged error: 0.0b

Counts

138 → 3

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(* (acos (* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
1.0b	(/ 1.0 (cbrt 3.0))
3.0b	(* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))
6.0b	(* (/ 3.0 z) (/ x (* 2.0 (* y 27.0))))

rewrite46.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-exp-log`
83×	`add-cbrt-cube`
57×	`add-sqr-sqrt`
51×	`times-frac`
44×	`add-cube-cbrt` `*-un-lft-identity`
39×	`prod-exp` `cbrt-unprod`
35×	`associate-r`
22×	`cbrt-undiv` `cbrt-prod` `div-exp`
17×	`associate-l`
13×	`pow1`
6×	`associate-/r*`
5×	`pow-prod-down` `associate-*l/` `unswap-sqr`
4×	`div-inv` `add-log-exp`
3×	`associate-r/` `sqrt-prod` `-commutative` `associate-/l*`
2×	`frac-times`
1×	`frac-2neg` `clear-num`

Counts

4 → 169

Calls

4 calls:

13.0ms	(* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))
12.0ms	(* (/ 3.0 z) (/ x (* 2.0 (* y 27.0))))
8.0ms	(* (acos (* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
6.0ms	(/ 1.0 (cbrt 3.0))

series40.0ms (0.6%)

Counts

4 → 10

Calls

4 calls:

18.0ms	(* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))
16.0ms	(* (acos (* (* (/ 3.0 z) (/ x (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
6.0ms	(* (/ 3.0 z) (/ x (* 2.0 (* y 27.0))))
0.0ms	(/ 1.0 (cbrt 3.0))

simplify45.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5234	2613

prune600.0ms (9.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	178	4	182

Merged error: 0b

Counts

182 → 4

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(* (/ 1.0 (cbrt 3.0)) (/ (acos (* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0))))
1.0b	(/ 1.0 (cbrt 3.0))
2.7b	(* (/ x (* 2.0 (* y 27.0))) (sqrt t))
5.5b	(* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))

rewrite50.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

86×	`add-exp-log`
78×	`add-cbrt-cube`
65×	`add-sqr-sqrt`
58×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
42×	`associate-l`
39×	`prod-exp` `cbrt-unprod`
23×	`cbrt-prod`
22×	`cbrt-undiv` `div-exp`
14×	`associate-r`
13×	`pow1`
8×	`unswap-sqr`
6×	`associate-/r*`
5×	`pow-prod-down` `associate-*l/` `div-inv`
4×	`sqrt-prod` `add-log-exp`
3×	`-commutative` `associate-/l`
2×	`frac-times` `associate-*r/`
1×	`frac-2neg` `clear-num`

Counts

4 → 178

Calls

4 calls:

16.0ms	(* (/ 1.0 (cbrt 3.0)) (/ (acos (* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0))))
13.0ms	(* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))
10.0ms	(* (/ x (* 2.0 (* y 27.0))) (sqrt t))
4.0ms	(/ 1.0 (cbrt 3.0))

series48.0ms (0.8%)

Counts

4 → 10

Calls

4 calls:

18.0ms	(* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))
17.0ms	(* (/ 1.0 (cbrt 3.0)) (/ (acos (* (/ 3.0 z) (* (/ x (* 2.0 (* y 27.0))) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0))))
12.0ms	(* (/ x (* 2.0 (* y 27.0))) (sqrt t))
0.0ms	(/ 1.0 (cbrt 3.0))

simplify81.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4985	3112
1	4985	3112

prune610.0ms (9.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	188	0	188
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	188	4	192

Merged error: 0b

Counts

192 → 4

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(* (acos (* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
1.0b	(/ 1.0 (cbrt 3.0))
3.0b	(* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))
5.9b	(/ (* 3.0 x) (* z (* 2.0 (* y 27.0))))

rewrite42.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`add-exp-log`
83×	`add-cbrt-cube`
48×	`add-sqr-sqrt`
43×	`prod-exp` `cbrt-unprod`
40×	`times-frac`
36×	`add-cube-cbrt` `*-un-lft-identity`
28×	`associate-r`
22×	`cbrt-prod`
18×	`cbrt-undiv` `div-exp`
8×	`pow1` `associate-l`
7×	`associate-/r*`
5×	`unswap-sqr`
4×	`sqrt-prod` `div-inv` `associate-/l*` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`
1×	`associate-r/` `associate-l/`

Counts

4 → 151

Calls

4 calls:

13.0ms	(* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))
10.0ms	(/ (* 3.0 x) (* z (* 2.0 (* y 27.0))))
9.0ms	(* (acos (* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
4.0ms	(/ 1.0 (cbrt 3.0))

series44.0ms (0.7%)

Counts

4 → 10

Calls

4 calls:

18.0ms	(* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))
16.0ms	(* (acos (* (/ (* 3.0 x) (* z (* 2.0 (* y 27.0)))) (sqrt t))) (/ 1.0 (cbrt 3.0)))
9.0ms	(/ (* 3.0 x) (* z (* 2.0 (* y 27.0))))
0.0ms	(/ 1.0 (cbrt 3.0))

simplify69.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4997	2428
1	4997	2428

prune527.0ms (8.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	161	4	165

Merged error: 0b

Counts

165 → 4

regimes428.0ms (6.9%)

Accuracy

Total 0.3b remaining (98.7%)

Threshold costs 0.3b (98.7%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	28
1	30	28

end0.0ms (0%)

sample1.7s (27.4%)

Algorithm

1×

intervals

Results

679.0ms	10254×	body	80	nan
553.0ms	8000×	body	80	valid

Details

analyze1.1s (18.1%)

sample61.0ms (1%)

simplify202.0ms (3.3%)

prune13.0ms (0.2%)

localize14.0ms (0.2%)

rewrite36.0ms (0.6%)

series39.0ms (0.6%)

simplify40.0ms (0.6%)

prune281.0ms (4.5%)

localize19.0ms (0.3%)

rewrite46.0ms (0.7%)

series40.0ms (0.6%)

simplify45.0ms (0.7%)

prune600.0ms (9.7%)

localize18.0ms (0.3%)

rewrite50.0ms (0.8%)

series48.0ms (0.8%)

simplify81.0ms (1.3%)

prune610.0ms (9.9%)

localize19.0ms (0.3%)

rewrite42.0ms (0.7%)

series44.0ms (0.7%)

simplify69.0ms (1.1%)

prune527.0ms (8.5%)

regimes428.0ms (6.9%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample1.7s (27.4%)

Profiling