Details

sample41.0ms

Algorithm

intervals

Results

19.0ms

319×

body

valid

simplify2.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	17
1	25	17
2	46	17
3	96	17
4	178	17
5	281	17
6	867	17
7	3899	17
done	5000	17

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.4b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

45.0ms	(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
41.0ms	(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series150.0ms

Counts

2 → 6

Calls

2 calls:

73.0ms	(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
76.0ms	(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify618.0ms

Counts

42 → 42

Iterations

Useful iterations: 2 (175.0ms)

Iter	Nodes	Cost
0	94	892
1	282	834
2	1192	738
done	5001	738

prune121.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite662.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

264.0ms	(- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
356.0ms	(+ (/ x y) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0))
30.0ms	(+ (/ 2.0 (* t z)) (/ 2.0 t))
8.0ms	(/ 2.0 (* t z))

series228.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0)
89.0ms	(+ (/ x y) (- (+ (/ 2.0 (* t z)) (/ 2.0 t)) 2.0))
69.0ms	(+ (/ 2.0 (* t z)) (/ 2.0 t))
32.0ms	(/ 2.0 (* t z))

simplify818.0ms

Counts

86 → 86

Iterations

Useful iterations: 2 (219.0ms)

Iter	Nodes	Cost
0	135	1372
1	378	1271
2	1737	1203
done	5000	1203

prune232.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
0.0b	(+ (/ (/ 2.0 t) z) (/ 2.0 t))
0.0b	(+ (/ x y) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0))
0.2b	(/ (/ 2.0 t) z)

rewrite1.6s

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 123

Calls

4 calls:

561.0ms	(- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
77.0ms	(+ (/ (/ 2.0 t) z) (/ 2.0 t))
954.0ms	(+ (/ x y) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0))
16.0ms	(/ (/ 2.0 t) z)

series190.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0)
49.0ms	(+ (/ (/ 2.0 t) z) (/ 2.0 t))
71.0ms	(+ (/ x y) (- (+ (/ (/ 2.0 t) z) (/ 2.0 t)) 2.0))
27.0ms	(/ (/ 2.0 t) z)

simplify1.2s

Counts

135 → 135

Iterations

Useful iterations: 2 (455.0ms)

Iter	Nodes	Cost
0	238	2047
1	637	1896
2	2907	1832
done	5000	1832

prune428.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x y) (- (+ (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z)) (/ 2.0 t)) 2.0))
0.2b	(/ (/ (sqrt 2.0) t) z)
0.4b	(* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))
0.5b	(/ (sqrt 2.0) t)

rewrite478.0ms

Algorithm

rewrite-expression-head

Rules

286×	`times-frac`
184×	`add-sqr-sqrt`
163×	`*-un-lft-identity`
158×	`add-cube-cbrt`
84×	`sqrt-prod`
70×	`associate-r`
28×	`associate-/l*`
20×	`add-exp-log` `add-cbrt-cube`
13×	`add-log-exp`
10×	`div-inv`
8×	`unswap-sqr`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `associate-l` `associate-/r*`
4×	`sum-log`
3×	`associate-+r+` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `diff-log` `frac-add` `clear-num` `distribute-lft-out`
1×	`+-commutative` `associate-+r-` `sub-neg` `flip3--` `flip3-+` `associate-r/` `pow-prod-down` `associate--l+` `-commutative` `flip--` `flip-+` `associate-/l/` `distribute-lft-out--`

Counts

4 → 266

Calls

4 calls:

384.0ms	(+ (/ x y) (- (+ (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z)) (/ 2.0 t)) 2.0))
15.0ms	(/ (/ (sqrt 2.0) t) z)
51.0ms	(* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))
8.0ms	(/ (sqrt 2.0) t)

series403.0ms

Counts

4 → 12

Calls

4 calls:

175.0ms	(+ (/ x y) (- (+ (* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z)) (/ 2.0 t)) 2.0))
63.0ms	(/ (/ (sqrt 2.0) t) z)
101.0ms	(* (sqrt 2.0) (/ (/ (sqrt 2.0) t) z))
64.0ms	(/ (sqrt 2.0) t)

simplify508.0ms

Counts

278 → 278

Iterations

Useful iterations: done (496.0ms)

Iter	Nodes	Cost
0	348	4106
1	968	3762
done	5001	3608

prune979.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes155.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	13	15
done	13	15

end0.0ms

sample1.7s

Algorithm

intervals

Results

1.1s

10361×

body

valid