Details

Time bar (total: 1.2m)

sample184.0ms

Algorithm
intervals
Results
131.0ms504×body80valid

simplify338.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
338.0ms
(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.0b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite342.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 93
Calls
4 calls:
Slowest
207.0ms
(* (* (* (* x 18.0) y) z) t)
94.0ms
(* (* (* x 18.0) y) z)
22.0ms
(* (* x 18.0) y)
16.0ms
(* (* j 27.0) k)

series167.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
54.0ms
(* (* (* (* x 18.0) y) z) t)
52.0ms
(* (* (* x 18.0) y) z)
38.0ms
(* (* j 27.0) k)
23.0ms
(* (* x 18.0) y)

simplify8.5s

Counts
55 → 105
Calls
55 calls:
Slowest
1.0s
(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
529.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
461.0ms
(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
441.0ms
(* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
367.0ms
(* (* (* (* x 18.0) y) z) t)

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.7b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite354.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 93
Calls
4 calls:
Slowest
205.0ms
(* (* (* (* x 18.0) y) z) t)
96.0ms
(* (* (* x 18.0) y) z)
29.0ms
(* 27.0 (* j k))
21.0ms
(* (* x 18.0) y)

series182.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
76.0ms
(* (* (* (* x 18.0) y) z) t)
40.0ms
(* (* (* x 18.0) y) z)
40.0ms
(* 27.0 (* j k))
26.0ms
(* (* x 18.0) y)

simplify8.1s

Counts
55 → 105
Calls
55 calls:
Slowest
569.0ms
(* (* (* 27.0 27.0) 27.0) (* (* (* j k) (* j k)) (* j k)))
495.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
487.0ms
(* (* (* 27.0 27.0) 27.0) (* (* (* j j) j) (* (* k k) k)))
474.0ms
(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
403.0ms
(* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))

prune2.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize97.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
4.4b
(* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) t)
1.6b
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
0.6b
(cbrt z)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
92×pow1 add-exp-log
67×pow-prod-down prod-exp cbrt-unprod
60×add-cbrt-cube
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
1×pow1/3
Counts
4 → 123
Calls
4 calls:
Slowest
935.0ms
(* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) t)
285.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
102.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
1.0ms
(cbrt z)

series707.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
318.0ms
(cbrt z)
167.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
129.0ms
(* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) t)
92.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))

simplify23.3s

Counts
90 → 135
Calls
90 calls:
Slowest
697.0ms
(* (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* z z)) z) (* (* t t) t))
569.0ms
(* (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) z) (* (* t t) t))
554.0ms
(* 18.0 (* (* x y) (pow (pow z 2) 1/3)))
513.0ms
(* (* (* (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))) (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))) (* (* t t) t))
502.0ms
(* 18.0 (* (* x (* (pow (cbrt -1) 2) y)) (pow (pow z 2) 1/3)))

prune3.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite383.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 93
Calls
4 calls:
Slowest
222.0ms
(* (* (* (* x 18.0) y) z) t)
103.0ms
(* (* (* x 18.0) y) z)
29.0ms
(* j (* 27.0 k))
27.0ms
(* (* x 18.0) y)

series202.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
78.0ms
(* (* (* (* x 18.0) y) z) t)
43.0ms
(* j (* 27.0 k))
42.0ms
(* (* x 18.0) y)
39.0ms
(* (* (* x 18.0) y) z)

simplify8.1s

Counts
55 → 105
Calls
55 calls:
Slowest
611.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
497.0ms
(* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
486.0ms
(* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
423.0ms
(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
403.0ms
(* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.5b

regimes1.7s

Accuracy

24% (3.4b remaining)

Error of 4.0b against oracle of 0.7b and baseline of 5.1b

bsearch814.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.9s16172×body80valid