Details

sample145.0ms

Algorithm

intervals

Results

111.0ms

508×

body

valid

simplify331.0ms

Calls

1 calls:

Slowest

331.0ms

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

prune51.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.7b

localize65.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)

rewrite61.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

41.0ms	(* (* (* (* x 18.0) y) z) t)
9.0ms	(* (* (* x 18.0) y) z)
5.0ms	(* (* x 18.0) y)
5.0ms	(* (* a 4.0) t)

series197.0ms

Calls

4 calls:

Slowest

85.0ms	(* (* (* (* x 18.0) y) z) t)
45.0ms	(* (* (* x 18.0) y) z)
36.0ms	(* (* a 4.0) t)
30.0ms	(* (* x 18.0) y)

simplify856.0ms

Calls

14 calls:

Slowest

272.0ms	(* 18.0 (* t (* x (* z y))))
264.0ms	(* 18.0 (* t (* x (* z y))))
71.0ms	(* 18.0 (* x (* z y)))
69.0ms	(* 18.0 (* x (* z y)))
25.0ms	(* 18.0 (* x y))

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.6b

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.2b	(* (* a 4.0) t)
0.2b	(* (* j 27.0) k)

rewrite23.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

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

series178.0ms

Calls

4 calls:

Slowest

68.0ms	(* (* (* x (* 18.0 y)) z) t)
45.0ms	(* (* x (* 18.0 y)) z)
35.0ms	(* (* a 4.0) t)
30.0ms	(* (* j 27.0) k)

simplify1.1s

Calls

13 calls:

Slowest

593.0ms	(* 18.0 (* t (* x (* z y))))
201.0ms	(* 18.0 (* t (* x (* z y))))
67.0ms	(* 18.0 (* x (* z y)))
63.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

localize18.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))

rewrite32.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

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

series177.0ms

Calls

4 calls:

Slowest

65.0ms	(* (* (* x (* 18.0 y)) z) t)
49.0ms	(* (* x (* 18.0 y)) z)
34.0ms	(* (* j 27.0) k)
28.0ms	(* x (* 18.0 y))

simplify876.0ms

Calls

13 calls:

Slowest

320.0ms	(* 18.0 (* t (* x (* z y))))
270.0ms	(* 18.0 (* t (* x (* z y))))
85.0ms	(* 18.0 (* x (* z y)))
51.0ms	(* 18.0 (* x (* z y)))
24.0ms	(* 27.0 (* j k))

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.5b

localize9.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))

rewrite17.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`
2×	`associate-r` `associate-l`

Calls

4 calls:

Slowest

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

series166.0ms

Calls

4 calls:

Slowest

74.0ms	(* (* (* x (* 18.0 y)) z) t)
41.0ms	(* (* x (* 18.0 y)) z)
26.0ms	(* j (* 27.0 k))
24.0ms	(* x (* 18.0 y))

simplify896.0ms

Calls

13 calls:

Slowest

321.0ms	(* 18.0 (* t (* x (* z y))))
275.0ms	(* 18.0 (* t (* x (* z y))))
61.0ms	(* 18.0 (* x (* z y)))
56.0ms	(* 18.0 (* x (* z y)))
30.0ms	(* x (* 18.0 y))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.5b

regimes2.4s

Accuracy

26.1% (3.3b remaining)

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

bsearch236.0ms

end0.0ms

sample6.1s

Algorithm

intervals

Results

5.2s

16453×

body

valid