Details

sample154.0ms

Algorithm

intervals

Results

121.0ms

475×

body

valid

simplify245.0ms

Calls

1 calls:

Slowest

245.0ms

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

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.6b

localize98.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)
0.5b	(* (* j 27.0) k)
0.2b	(* (* a 4.0) t)

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

35.0ms	(* (* (* (* x 18.0) y) z) t)
12.0ms	(* (* (* x 18.0) y) z)
3.0ms	(* (* a 4.0) t)
3.0ms	(* (* j 27.0) k)

series95.0ms

Calls

4 calls:

Slowest

46.0ms	(* (* (* (* x 18.0) y) z) t)
22.0ms	(* (* (* x 18.0) y) z)
15.0ms	(* (* a 4.0) t)
12.0ms	(* (* j 27.0) k)

simplify834.0ms

Calls

14 calls:

Slowest

306.0ms	(* 18.0 (* t (* x (* z y))))
260.0ms	(* 18.0 (* t (* x (* z y))))
55.0ms	(* 18.0 (* x (* z y)))
51.0ms	(* 18.0 (* x (* z y)))
27.0ms	(* (* x 18.0) y)

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)
0.2b	(* (* a 4.0) t)
0.2b	(* j (* 27.0 k))

rewrite30.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	(* (* a 4.0) t)
1.0ms	(* j (* 27.0 k))

series102.0ms

Calls

4 calls:

Slowest

34.0ms	(* (* (* (* x 18.0) y) z) t)
25.0ms	(* (* (* x 18.0) y) z)
22.0ms	(* (* a 4.0) t)
21.0ms	(* j (* 27.0 k))

simplify866.0ms

Calls

14 calls:

Slowest

296.0ms	(* 18.0 (* t (* x (* z y))))
241.0ms	(* 18.0 (* t (* x (* z y))))
85.0ms	(* 18.0 (* x (* z y)))
46.0ms	(* 18.0 (* x (* z y)))
29.0ms	(* 4.0 (* t a))

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* (* (* x 18.0) y) z) t)
6.3b	(* (* (* x 18.0) y) z)
0.2b	(* j (* 27.0 k))
0.2b	(* (* x 18.0) y)

rewrite35.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)
9.0ms	(* (* (* x 18.0) y) z)
5.0ms	(* (* x 18.0) y)
2.0ms	(* j (* 27.0 k))

series621.0ms

Calls

4 calls:

Slowest

573.0ms	(* (* (* (* x 18.0) y) z) t)
19.0ms	(* (* (* x 18.0) y) z)
16.0ms	(* (* x 18.0) y)
12.0ms	(* j (* 27.0 k))

simplify793.0ms

Calls

14 calls:

Slowest

258.0ms	(* 18.0 (* t (* x (* z y))))
252.0ms	(* 18.0 (* t (* x (* z y))))
53.0ms	(* 18.0 (* x (* z y)))
52.0ms	(* 18.0 (* x (* z y)))
29.0ms	(* 18.0 (* x y))

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* (* x (* 18.0 y)) z) t)
6.3b	(* (* x (* 18.0 y)) z)
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

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

series92.0ms

Calls

4 calls:

Slowest

38.0ms	(* (* (* x (* 18.0 y)) z) t)
24.0ms	(* (* x (* 18.0 y)) z)
17.0ms	(* j (* 27.0 k))
12.0ms	(* x (* 18.0 y))

simplify911.0ms

Calls

13 calls:

Slowest

294.0ms	(* 18.0 (* t (* x (* z y))))
286.0ms	(* 18.0 (* t (* x (* z y))))
74.0ms	(* 18.0 (* x (* z y)))
73.0ms	(* 18.0 (* x (* z y)))
28.0ms	(* 27.0 (* j k))

prune1.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

regimes2.4s

Accuracy

21.4% (3.9b remaining)

Error of 4.6b against oracle of 0.7b and baseline of 5.7b

bsearch463.0ms

end0.0ms

sample5.9s

Algorithm

intervals

Results

5.0s

15990×

body

valid