Details

sample155.0ms

Algorithm

intervals

Results

85.0ms

505×

body

valid

simplify2.4s

Counts: 1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.1b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.7b	(* (* j 27.0) k)
4.1b	(* (* (* x 18.0) y) z)
4.8b	(* (* (* (* x 18.0) y) z) t)

rewrite384.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`associate-l` `*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

26.0ms	(* (* x 18.0) y)
24.0ms	(* (* j 27.0) k)
68.0ms	(* (* (* x 18.0) y) z)
263.0ms	(* (* (* (* x 18.0) y) z) t)

series155.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.1s

Counts: 93 → 93

prune442.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* j (* 27.0 k))
4.1b	(* (* (* x 18.0) y) z)
4.8b	(* (* (* (* x 18.0) y) z) t)

rewrite386.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

30.0ms	(* (* x 18.0) y)
25.0ms	(* j (* 27.0 k))
69.0ms	(* (* (* x 18.0) y) z)
257.0ms	(* (* (* (* x 18.0) y) z) t)

series158.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (* x 18.0) y)
35.0ms	(* j (* 27.0 k))
42.0ms	(* (* (* x 18.0) y) z)
55.0ms	(* (* (* (* x 18.0) y) z) t)

simplify1.1s

Counts: 93 → 93

prune445.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (* 18.0 y))
0.7b	(* (* j 27.0) k)
4.1b	(* (* x (* 18.0 y)) z)
4.8b	(* (* (* x (* 18.0 y)) z) t)

rewrite279.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

22.0ms	(* x (* 18.0 y))
17.0ms	(* (* j 27.0) k)
56.0ms	(* (* x (* 18.0 y)) z)
180.0ms	(* (* (* x (* 18.0 y)) z) t)

series157.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* x (* 18.0 y))
32.0ms	(* (* j 27.0) k)
40.0ms	(* (* x (* 18.0 y)) z)
64.0ms	(* (* (* x (* 18.0 y)) z) t)

simplify902.0ms

Counts: 93 → 93

prune397.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

4.8b	(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
15.0b	(cbrt (* (* x (* 18.0 y)) z))
15.0b	(cbrt (* (* x (* 18.0 y)) z))
15.0b	(cbrt (* (* x (* 18.0 y)) z))

rewrite506.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log`
9×	`add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 48

Calls

4 calls:

343.0ms	(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
55.0ms	(cbrt (* (* x (* 18.0 y)) z))
45.0ms	(cbrt (* (* x (* 18.0 y)) z))
61.0ms	(cbrt (* (* x (* 18.0 y)) z))

series573.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
154.0ms	(cbrt (* (* x (* 18.0 y)) z))
149.0ms	(cbrt (* (* x (* 18.0 y)) z))
157.0ms	(cbrt (* (* x (* 18.0 y)) z))

simplify502.0ms

Counts: 60 → 60

prune408.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes2.2s

Accuracy

-0% (4.9b remaining)

Error of 5.6b against oracle of 0.7b and baseline of 5.6b

bsearch470.0ms

Steps

Iters	Range		Point
9	6.629629183915417e+42	5.019074762167575e+49	3.6462011735036985e+44
9	-7.212420868133623e+59	-1.0869149642979674e+53	-4.3830139062668545e+58

simplify1.2m

end0.0ms

sample4.8s

Algorithm

intervals

Results

2.8s

16240×

body

valid