Details

sample55.0ms

Algorithm

intervals

Results

25.0ms

303×

body

valid

simplify8.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
39	4902
38	4759
37	4606
36	4457
35	4314
34	4161
33	4012
32	3869
31	3716
30	3567
29	3424
28	3271
27	3122
26	2982
25	2829
24	2680
23	2543
22	2390
21	2241
20	2098
19	1945
18	1796
17	1659
16	1506
15	1361
14	1216
13	1067
12	922
11	769
10	555
9	421
8	278
7	207
6	171
5	130
4	94
3	67
2	44
1	24
0	13

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
0.0b	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

rewrite338.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `associate-+l+` `diff-log` `sum-log` `add-cbrt-cube`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `associate-*l/` `frac-sub` `flip--` `flip-+` `distribute-lft-out`

Counts

2 → 29

Calls

2 calls:

34.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
284.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

series346.0ms

Counts

2 → 6

Calls

2 calls:

106.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))
231.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

simplify5.8s

Counts

35 → 35

Iterations

Iter	Nodes
done	5018
3	2187
2	594
1	188
0	71

prune347.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

rewrite259.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-div`
25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`associate-*l/`
11×	`pow1` `flip3--` `frac-sub` `flip--`
9×	`frac-times` `pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-*r/`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 97

Calls

4 calls:

190.0ms	(* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
20.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
21.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
21.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

series4.8s

Counts

4 → 12

Calls

4 calls:

936.0ms	(* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))))
1.3s	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
1.2s	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
1.3s	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

simplify7.6s

Counts

109 → 109

Iterations

Iter	Nodes
done	5004
3	2630
2	922
1	353
0	162

prune2.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
0.6b	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod` `cbrt-div`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `associate-*l/` `frac-sub` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

23.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
21.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
21.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
22.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

series3.0s

Counts

4 → 12

Calls

4 calls:

633.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
1.1s	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
824.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))
518.0ms	(cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))

simplify3.6s

Counts

68 → 68

Iterations

Iter	Nodes
done	5001
3	1520
2	509
1	191
0	84

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.2s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	16
1	16
0	13

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.0s	9140×	body	80	valid
0.0ms	2×	body	160	valid