Details

sample86.0ms

Algorithm

intervals

Results

40.0ms

388×

body

valid

simplify12.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
20	4778
19	4523
18	4272
17	4050
16	3793
15	3555
14	3329
13	3075
12	2833
11	2615
10	2359
9	2006
8	1548
7	1164
6	802
5	439
4	217
3	120
2	65
1	32
0	17

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* a b) 4.0)
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite785.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `sum-log`
4×	`pow1` `diff-log`
3×	`associate-+l+` `flip3-+` `times-frac` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `difference-of-squares`

Counts

4 → 69

Calls

4 calls:

21.0ms	(/ (* a b) 4.0)
526.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
41.0ms	(+ (* x y) (/ (* z t) 16.0))
137.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series1.0s

Counts

4 → 12

Calls

4 calls:

48.0ms	(/ (* a b) 4.0)
703.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
79.0ms	(+ (* x y) (/ (* z t) 16.0))
179.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify4.4s

Counts

81 → 81

Iterations

Iter	Nodes
done	5000
2	1417
1	380
0	141

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(- c (/ a (/ 4.0 b)))
0.0b	(+ (+ (* x y) (/ (* z t) 16.0)) (- c (/ a (/ 4.0 b))))
0.3b	(/ a (/ 4.0 b))

rewrite504.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
55×	`add-sqr-sqrt`
53×	`*-un-lft-identity`
46×	`add-cube-cbrt`
20×	`add-log-exp`
13×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
7×	`sum-log`
5×	`div-inv`
4×	`pow1` `flip3-+` `frac-add` `flip-+`
3×	`cbrt-undiv` `flip3--` `diff-log` `div-exp` `flip--` `associate-/l*` `difference-of-squares`
2×	`+-commutative` `sub-neg` `associate-+r+` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+r-` `associate-+l+` `frac-2neg` `clear-num` `associate-/r/`

Counts

4 → 121

Calls

4 calls:

18.0ms	(+ (* x y) (/ (* z t) 16.0))
53.0ms	(- c (/ a (/ 4.0 b)))
276.0ms	(+ (+ (* x y) (/ (* z t) 16.0)) (- c (/ a (/ 4.0 b))))
135.0ms	(/ a (/ 4.0 b))

series550.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(+ (* x y) (/ (* z t) 16.0))
100.0ms	(- c (/ a (/ 4.0 b)))
321.0ms	(+ (+ (* x y) (/ (* z t) 16.0)) (- c (/ a (/ 4.0 b))))
43.0ms	(/ a (/ 4.0 b))

simplify4.1s

Counts

133 → 133

Iterations

Iter	Nodes
done	5003
2	2473
1	688
0	255

prune3.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
1.3b	(cbrt (+ (* x y) (/ (* z t) 16.0)))
1.3b	(cbrt (+ (* x y) (/ (* z t) 16.0)))
1.3b	(cbrt (+ (* x y) (/ (* z t) 16.0)))

rewrite379.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:

173.0ms	(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
166.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))
15.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))
19.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))

series1.8s

Counts

4 → 12

Calls

4 calls:

870.0ms	(* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))
450.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))
262.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))
231.0ms	(cbrt (+ (* x y) (/ (* z t) 16.0)))

simplify7.2s

Counts

99 → 99

Iterations

Iter	Nodes
done	5000
3	2588
2	955
1	348
0	138

prune2.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (* x y) (/ (* z t) 16.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 25

Calls

2 calls:

112.0ms	(+ (+ (* x y) (/ (* z t) 16.0)) c)
23.0ms	(+ (* x y) (/ (* z t) 16.0))

series250.0ms

Counts

2 → 6

Calls

2 calls:

136.0ms	(+ (+ (* x y) (/ (* z t) 16.0)) c)
112.0ms	(+ (* x y) (/ (* z t) 16.0))

simplify8.0s

Counts

31 → 31

Iterations

Iter	Nodes
done	5002
3	2296
2	614
1	173
0	59

prune430.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes4.5s

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify5.0ms

Iterations

Iter	Nodes
done	21
1	21
0	17

end0.0ms

sample11.1s

Algorithm

intervals

Results

10.0s

12025×

body

valid