Details

sample52.0ms

Algorithm

intervals

Results

19.0ms

347×

body

valid

simplify12.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
33	4916
32	4764
31	4620
30	4467
29	4313
28	4161
27	4017
26	3864
25	3710
24	3558
23	3414
22	3261
21	3107
20	2955
19	2811
18	2658
17	2504
16	2352
15	2208
14	2045
13	1877
12	1581
11	1028
10	271
9	144
8	114
7	83
6	66
5	57
4	49
3	34
2	20
1	13
0	8

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) z)
0.0b	(+ (* x y) (* (- 1.0 x) z))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

45.0ms	(* (- 1.0 x) z)
19.0ms	(+ (* x y) (* (- 1.0 x) z))

series129.0ms

Counts

2 → 6

Calls

2 calls:

57.0ms	(* (- 1.0 x) z)
72.0ms	(+ (* x y) (* (- 1.0 x) z))

simplify6.9s

Counts

39 → 39

Iterations

Iter	Nodes
done	5002
3	2474
2	603
1	190
0	71

prune354.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize204.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

105.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
11.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
10.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
10.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

series2.7s

Counts

4 → 12

Calls

4 calls:

773.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
825.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
743.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
353.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

simplify7.5s

Counts

99 → 99

Iterations

Iter	Nodes
done	5014
3	2740
2	888
1	336
0	130

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize566.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.6b	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
0.6b	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
0.6b	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
14×	`cbrt-div`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 61

Calls

4 calls:

9.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
11.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
11.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
12.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))

series2.5s

Counts

4 → 12

Calls

4 calls:

968.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
485.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
308.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))
761.0ms	(cbrt (cbrt (+ (* x y) (* (- 1.0 x) z))))

simplify6.4s

Counts

73 → 73

Iterations

Iter	Nodes
done	5011
3	2022
2	606
1	249
0	98

prune1.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize95.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
0.3b	(* (* x y) (* x y))
3.7b	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
26.4b	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

rewrite485.0ms

Algorithm

rewrite-expression-head

Rules

82×	`pow1`
34×	`pow-prod-down`
30×	`add-exp-log` `add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
14×	`associate-*l/`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
9×	`flip3--` `flip--`
8×	`pow-sqr` `pow-prod-up`
6×	`add-log-exp`
5×	`difference-of-squares`
4×	`frac-times` `pow-plus` `associate-/l*`
3×	`associate-/r*`
2×	`pow2` `associate-r/` `swap-sqr` `associate-r` `associate-l` `associate-/r/` `-commutative` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 125

Calls

4 calls:

178.0ms	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
66.0ms	(* (* x y) (* x y))
66.0ms	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
165.0ms	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

series670.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
60.0ms	(* (* x y) (* x y))
245.0ms	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
271.0ms	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

simplify4.4s

Counts

137 → 137

Iterations

Iter	Nodes
done	5002
2	2113
1	555
0	189

prune948.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes350.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end0.0ms

sample1.6s

Algorithm

intervals

Results

831.0ms

10137×

body

valid