Details

sample201.0ms

Algorithm

intervals

Results

129.0ms

492×

body

valid

simplify287.0ms

Calls

1 calls:

Slowest

287.0ms

(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.9b

localize59.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (* (* (* x 18.0) y) z) t)
5.5b	(* (* (* x 18.0) y) z)
0.4b	(* (* j 27.0) k)
0.2b	(* (* a 4.0) t)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `-un-lft-identity` `add-cbrt-cube` `associate-l` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

27.0ms	(* (* (* (* x 18.0) y) z) t)
14.0ms	(* (* (* x 18.0) y) z)
6.0ms	(* (* j 27.0) k)
6.0ms	(* (* a 4.0) t)

series676.0ms

Calls

4 calls:

Slowest

539.0ms	(* (* (* (* x 18.0) y) z) t)
54.0ms	(* (* (* x 18.0) y) z)
47.0ms	(* (* j 27.0) k)
36.0ms	(* (* a 4.0) t)

simplify859.0ms

Calls

14 calls:

Slowest

298.0ms	(* 18.0 (* t (* x (* z y))))
285.0ms	(* 18.0 (* t (* x (* z y))))
54.0ms	(* 18.0 (* x (* z y)))
49.0ms	(* 18.0 (* x (* z y)))
29.0ms	(* 4.0 (* t a))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.9b

localize29.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (* (* (* x 18.0) y) z) t)
5.5b	(* (* (* x 18.0) y) z)
0.4b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) y)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `-un-lft-identity` `add-cbrt-cube` `associate-l` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

17.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)
6.0ms	(* (* x 18.0) y)
5.0ms	(* (* j 27.0) k)

series211.0ms

Calls

4 calls:

Slowest

76.0ms	(* (* (* (* x 18.0) y) z) t)
54.0ms	(* (* (* x 18.0) y) z)
45.0ms	(* (* x 18.0) y)
36.0ms	(* (* j 27.0) k)

simplify854.0ms

Calls

14 calls:

Slowest

308.0ms	(* 18.0 (* t (* x (* z y))))
272.0ms	(* 18.0 (* t (* x (* z y))))
56.0ms	(* 18.0 (* x (* z y)))
47.0ms	(* 18.0 (* x (* z y)))
27.0ms	(* 18.0 (* x y))

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.9b

localize18.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (* (* (* x 18.0) y) z) t)
5.5b	(* (* (* x 18.0) y) z)
0.2b	(* j (* 27.0 k))
0.2b	(* (* x 18.0) y)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `-un-lft-identity` `add-cbrt-cube` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-l`
1×	`associate-r`

Calls

4 calls:

Slowest

33.0ms	(* (* (* (* x 18.0) y) z) t)
14.0ms	(* (* (* x 18.0) y) z)
5.0ms	(* (* x 18.0) y)
2.0ms	(* j (* 27.0 k))

series229.0ms

Calls

4 calls:

Slowest

89.0ms	(* (* (* (* x 18.0) y) z) t)
66.0ms	(* (* (* x 18.0) y) z)
43.0ms	(* (* x 18.0) y)
31.0ms	(* j (* 27.0 k))

simplify745.0ms

Calls

14 calls:

Slowest

251.0ms	(* 18.0 (* t (* x (* z y))))
205.0ms	(* 18.0 (* t (* x (* z y))))
69.0ms	(* 18.0 (* x (* z y)))
46.0ms	(* 18.0 (* x (* z y)))
28.0ms	(* 27.0 (* j k))

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

localize9.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (* (* (* x 18.0) y) z) t)
5.5b	(* (* (* x 18.0) y) z)
0.3b	(* 27.0 (* j k))
0.2b	(* (* x 18.0) y)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `-un-lft-identity` `add-cbrt-cube` `add-exp-log` `-commutative` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-l`
1×	`associate-r`

Calls

4 calls:

Slowest

17.0ms	(* (* (* (* x 18.0) y) z) t)
7.0ms	(* (* (* x 18.0) y) z)
3.0ms	(* (* x 18.0) y)
1.0ms	(* 27.0 (* j k))

series216.0ms

Calls

4 calls:

Slowest

67.0ms	(* (* (* (* x 18.0) y) z) t)
52.0ms	(* (* (* x 18.0) y) z)
49.0ms	(* (* x 18.0) y)
48.0ms	(* 27.0 (* j k))

simplify842.0ms

Calls

14 calls:

Slowest

290.0ms	(* 18.0 (* t (* x (* z y))))
258.0ms	(* 18.0 (* t (* x (* z y))))
81.0ms	(* 18.0 (* x (* z y)))
44.0ms	(* 18.0 (* x (* z y)))
29.0ms	(* 27.0 (* j k))

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

regimes2.0s

Accuracy

9.7% (4.0b remaining)

Error of 4.7b against oracle of 0.6b and baseline of 5.1b

bsearch716.0ms

end0.0ms

sample6.5s

Algorithm

intervals

Results

5.5s

16207×

body

valid