Details

sample167.0ms

Algorithm

intervals

Results

129.0ms

508×

body

valid

simplify176.0ms

Calls

1 calls:

Slowest

176.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.7b

localize59.0ms

Local error

Found 4 expressions with local error:

5.8b	(* (* (* x 18.0) y) z)
3.9b	(* (* (* (* x 18.0) y) z) t)
0.5b	(* (* x 18.0) y)
0.2b	(* (* a 4.0) t)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

26.0ms	(* (* (* (* x 18.0) y) z) t)
11.0ms	(* (* (* x 18.0) y) z)
4.0ms	(* (* a 4.0) t)
2.0ms	(* (* x 18.0) y)

series148.0ms

Calls

4 calls:

Slowest

57.0ms	(* (* (* (* x 18.0) y) z) t)
47.0ms	(* (* (* x 18.0) y) z)
23.0ms	(* (* a 4.0) t)
21.0ms	(* (* x 18.0) y)

simplify729.0ms

Calls

14 calls:

Slowest

262.0ms	(* 18.0 (* t (* x (* z y))))
233.0ms	(* 18.0 (* t (* x (* z y))))
42.0ms	(* 18.0 (* x (* z y)))
40.0ms	(* 18.0 (* x (* z y)))
30.0ms	(* 4.0 (* t a))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.6b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

8.0ms	(* (* (* x (* 18.0 y)) z) t)
4.0ms	(* (* x (* 18.0 y)) z)
2.0ms	(* (* a 4.0) t)
2.0ms	(* (* j 27.0) k)

series174.0ms

Calls

4 calls:

Slowest

77.0ms	(* (* (* x (* 18.0 y)) z) t)
41.0ms	(* (* x (* 18.0 y)) z)
35.0ms	(* (* j 27.0) k)
21.0ms	(* (* a 4.0) t)

simplify928.0ms

Calls

13 calls:

Slowest

311.0ms	(* 18.0 (* t (* x (* z y))))
273.0ms	(* 18.0 (* t (* x (* z y))))
83.0ms	(* 18.0 (* x (* z y)))
78.0ms	(* 18.0 (* x (* z y)))
27.0ms	(* 27.0 (* j k))

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.5b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

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

series164.0ms

Calls

4 calls:

Slowest

56.0ms	(* (* (* x (* 18.0 y)) z) t)
48.0ms	(* (* x (* 18.0 y)) z)
34.0ms	(* x (* 18.0 y))
25.0ms	(* (* j 27.0) k)

simplify791.0ms

Calls

13 calls:

Slowest

275.0ms	(* 18.0 (* t (* x (* z y))))
268.0ms	(* 18.0 (* t (* x (* z y))))
57.0ms	(* 18.0 (* x (* z y)))
56.0ms	(* 18.0 (* x (* z y)))
22.0ms	(* 18.0 (* x y))

prune1000.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.5b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

8.0ms	(* (* (* x (* 18.0 y)) z) t)
4.0ms	(* (* x (* 18.0 y)) z)
1.0ms	(* 27.0 (* j k))
1.0ms	(* x (* 18.0 y))

series123.0ms

Calls

4 calls:

Slowest

51.0ms	(* (* (* x (* 18.0 y)) z) t)
30.0ms	(* (* x (* 18.0 y)) z)
21.0ms	(* 27.0 (* j k))
21.0ms	(* x (* 18.0 y))

simplify673.0ms

Calls

13 calls:

Slowest

262.0ms	(* 18.0 (* t (* x (* z y))))
217.0ms	(* 18.0 (* t (* x (* z y))))
42.0ms	(* 18.0 (* x (* z y)))
38.0ms	(* 18.0 (* x (* z y)))
20.0ms	(* 27.0 (* j k))

prune960.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.5b

regimes1.8s

Accuracy

44.7% (2.5b remaining)

Error of 3.1b against oracle of 0.6b and baseline of 5.2b

bsearch965.0ms

end0.0ms

sample5.0s

Algorithm

intervals

Results

4.0s

16453×

body

valid