Details

sample29.0ms

Algorithm

intervals

Results

17.0ms

330×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	2006
28	1994
27	1733
26	1696
25	1459
24	1421
23	1208
22	1171
21	982
20	945
19	780
18	742
17	601
16	564
15	447
14	410
13	317
12	280
11	211
10	174
9	134
8	107
7	66
6	50
5	45
4	39
3	35
2	25
1	15
0	6

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 38

Calls

2 calls:

18.0ms	(* y (+ z x))
7.0ms	(+ x (* y (+ z x)))

series81.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(* y (+ z x))
44.0ms	(+ x (* y (+ z x)))

simplify459.0ms

Counts

44 → 44

Iterations

Iter	Nodes
done	2000
2	660
1	199
0	68

prune173.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 28

Calls

2 calls:

23.0ms	(+ x (+ (* y z) (* y x)))
11.0ms	(+ (* y z) (* y x))

series82.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(+ x (+ (* y z) (* y x)))
43.0ms	(+ (* y z) (* y x))

simplify518.0ms

Counts

34 → 34

Iterations

Iter	Nodes
done	2000
2	625
1	170
0	55

prune130.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ z x))
0.0b	(+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
0.1b	(* y (sqrt (+ z x)))
0.2b	(* (* y (sqrt (+ z x))) (sqrt (+ z x)))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity` `sqrt-div`
15×	`add-sqr-sqrt`
14×	`associate-r`
13×	`sqrt-prod`
12×	`pow1`
11×	`add-cbrt-cube` `add-exp-log`
10×	`associate-*r/` `add-cube-cbrt`
9×	`flip3-+` `flip-+`
6×	`add-log-exp`
4×	`frac-times` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`distribute-lft-out`
2×	`associate-l/` `-commutative` `unswap-sqr`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `pow1/2`

Counts

4 → 86

Calls

4 calls:

7.0ms	(sqrt (+ z x))
8.0ms	(+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
25.0ms	(* y (sqrt (+ z x)))
46.0ms	(* (* y (sqrt (+ z x))) (sqrt (+ z x)))

series204.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(sqrt (+ z x))
38.0ms	(+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x))))
65.0ms	(* y (sqrt (+ z x)))
61.0ms	(* (* y (sqrt (+ z x))) (sqrt (+ z x)))

simplify666.0ms

Counts

98 → 98

Iterations

Iter	Nodes
done	2002
2	1427
1	443
0	165

prune356.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes158.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	9
1	9
0	6

end0.0ms

sample773.0ms

Algorithm

intervals

Results

558.0ms

10072×

body

valid