Details

sample68.0ms

Algorithm

intervals

Results

45.0ms

287×

body

valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
38	4914
37	4763
36	4608
35	4463
34	4312
33	4157
32	4012
31	3861
30	3706
29	3561
28	3410
27	3255
26	3110
25	2959
24	2804
23	2659
22	2508
21	2353
20	2208
19	2057
18	1902
17	1757
16	1606
15	1451
14	1306
13	1155
12	1004
11	849
10	586
9	433
8	283
7	208
6	171
5	130
4	94
3	67
2	44
1	24
0	13

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 53

Calls

3 calls:

9.0ms	(/ (* y z) 2.0)
64.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
18.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series181.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ (* y z) 2.0)
84.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
72.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify2.4s

Counts

62 → 62

Iterations

Iter	Nodes
done	5001
3	4452
2	989
1	292
0	113

prune316.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite137.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
30×	`add-exp-log`
24×	`*-un-lft-identity`
22×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`add-cbrt-cube`
14×	`div-exp`
11×	`add-log-exp`
8×	`associate-/r*`
7×	`cbrt-undiv`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`prod-exp` `insert-posit16`
3×	`rec-exp` `1-exp`
2×	`associate-+l+` `clear-num` `sum-log` `sub-neg` `frac-2neg` `diff-log` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `flip3--` `associate-*l/` `associate-/r/` `frac-sub` `associate-+l-` `flip-+` `pow-flip` `flip--` `distribute-lft-out` `inv-pow`

Counts

4 → 110

Calls

4 calls:

25.0ms	(- (* (/ 1.0 8.0) x) (/ 1 (/ 2.0 (* y z))))
84.0ms	(+ (- (* (/ 1.0 8.0) x) (/ 1 (/ 2.0 (* y z)))) t)
12.0ms	(/ 2.0 (* y z))
13.0ms	(/ 1 (/ 2.0 (* y z)))

series229.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(- (* (/ 1.0 8.0) x) (/ 1 (/ 2.0 (* y z))))
79.0ms	(+ (- (* (/ 1.0 8.0) x) (/ 1 (/ 2.0 (* y z)))) t)
35.0ms	(/ 2.0 (* y z))
32.0ms	(/ 1 (/ 2.0 (* y z)))

simplify1.9s

Counts

122 → 122

Iterations

Iter	Nodes
done	5001
2	1484
1	451
0	185

prune534.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z))
0.4b	(/ (sqrt 2.0) y)
0.4b	(/ (sqrt 2.0) z)
0.8b	(/ 1 (* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-sqr-sqrt`
87×	`times-frac`
64×	`add-exp-log`
62×	`*-un-lft-identity` `add-cube-cbrt`
48×	`sqrt-prod`
38×	`add-cbrt-cube`
28×	`div-exp`
22×	`associate-r` `associate-l`
16×	`prod-exp`
15×	`cbrt-undiv` `associate-/l*`
9×	`pow1` `unswap-sqr`
8×	`cbrt-unprod`
7×	`associate-/r*`
5×	`rec-exp` `1-exp` `div-inv`
4×	`insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `associate-/r/`
2×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `pow-flip`
1×	`*-commutative` `inv-pow`

Counts

4 → 198

Calls

4 calls:

15.0ms	(* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z))
16.0ms	(/ (sqrt 2.0) y)
10.0ms	(/ (sqrt 2.0) z)
38.0ms	(/ 1 (* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z)))

series438.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z))
62.0ms	(/ (sqrt 2.0) y)
79.0ms	(/ (sqrt 2.0) z)
189.0ms	(/ 1 (* (/ (sqrt 2.0) y) (/ (sqrt 2.0) z)))

simplify1.9s

Counts

210 → 210

Iterations

Iter	Nodes
done	5000
2	2145
1	584
0	221

prune880.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes462.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	16
1	16
0	13

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.0s	9123×	body	80	valid
1.0ms	1×	body	2560	valid