Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

311×

body

valid

simplify67.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	24	7
3	46	7
4	67	7
5	71	7
done	71	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize10.0ms

Local error

Found 1 expressions with local error:

3.2b	(* x (- 1.0 (* y z)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

39.0ms

(* x (- 1.0 (* y z)))

series74.0ms

Counts

1 → 3

Calls

1 calls:

73.0ms

(* x (- 1.0 (* y z)))

simplify1.5s

Counts

27 → 27

Iterations

Useful iterations: 3 (591.0ms)

Iter	Nodes	Cost
0	51	267
1	132	264
2	529	234
3	2615	232
done	5000	232

prune80.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.2b

localize9.0ms

Local error

Found 1 expressions with local error:

5.7b	(* (- (* y z)) x)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

6×	`associate-l`
5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `add-cbrt-cube`
1×	`distribute-lft-neg-out` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 22

Calls

1 calls:

17.0ms

(* (- (* y z)) x)

series29.0ms

Counts

1 → 3

Calls

1 calls:

29.0ms

(* (- (* y z)) x)

simplify741.0ms

Counts

25 → 25

Iterations

Useful iterations: done (740.0ms)

Iter	Nodes	Cost
0	42	195
1	102	188
2	757	168
done	5000	166

prune108.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

7.5b	(* y (* x (- z)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `distribute-rgt-neg-out`
1×	`associate-r` `*-commutative` `add-log-exp`

Counts

1 → 19

Calls

1 calls:

40.0ms

(* y (* x (- z)))

series49.0ms

Counts

1 → 3

Calls

1 calls:

49.0ms

(* y (* x (- z)))

simplify3.7s

Counts

22 → 22

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	43	182
1	110	171
2	473	141
3	4146	141
done	5001	141

prune51.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

4.7b	(* (* y x) (- z))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-r`
6×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`neg-mul-1` `associate-l` `*-commutative` `distribute-rgt-neg-out` `add-log-exp`

Counts

1 → 26

Calls

1 calls:

29.0ms

(* (* y x) (- z))

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(* (* y x) (- z))

simplify715.0ms

Counts

29 → 29

Iterations

Useful iterations: 2 (141.0ms)

Iter	Nodes	Cost
0	57	234
1	166	218
2	979	186
done	5000	186

prune70.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes178.0ms

Accuracy

89.3% (0.5b remaining)

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

bsearch2.0ms

simplify13.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	42
1	36	33
2	49	33
3	53	33
done	53	33

end0.0ms

sample1.1s

Algorithm

intervals

Results

335.0ms

9651×

body

valid