Details

Time bar (total: 44.8s)

sample241.0ms

Algorithm
intervals
Results
182.0ms525×body80valid

simplify191.0ms

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

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize52.0ms

Local error

Found 4 expressions with local error:

5.7b
(* y (* (* x 18.0) z))
2.9b
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
0.2b
(* (* x 18.0) z)
0.2b
(* (* 27.0 j) k)

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×*-un-lft-identity add-cube-cbrt
8×associate-*l*
4×*-commutative insert-posit16 add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
Slowest
175.0ms
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
73.0ms
(* y (* (* x 18.0) z))
25.0ms
(* (* x 18.0) z)
13.0ms
(* (* 27.0 j) k)

series244.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
46.0ms
(* y (* (* x 18.0) z))
26.0ms
(* (* x 18.0) z)
22.0ms
(* (* 27.0 j) k)

simplify6.2s

Counts
50 → 93
Calls
50 calls:
Slowest
895.0ms
(* (* (* (- (* y (* (* x 18.0) z)) (* a 4.0)) (- (* y (* (* x 18.0) z)) (* a 4.0))) (- (* y (* (* x 18.0) z)) (* a 4.0))) (* (* t t) t))
533.0ms
(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
485.0ms
(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))
434.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
373.0ms
(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))

prune2.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 1.5b

localize52.0ms

Local error

Found 4 expressions with local error:

5.7b
(* y (* x (* 18.0 z)))
2.9b
(* (- (* y (* x (* 18.0 z))) (* a 4.0)) t)
0.2b
(* (* 27.0 j) k)
0.2b
(* x (* 18.0 z))

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*l*
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
4×*-commutative insert-posit16 add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
Slowest
198.0ms
(* (- (* y (* x (* 18.0 z))) (* a 4.0)) t)
39.0ms
(* y (* x (* 18.0 z)))
18.0ms
(* (* 27.0 j) k)
12.0ms
(* x (* 18.0 z))

series228.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(* (- (* y (* x (* 18.0 z))) (* a 4.0)) t)
40.0ms
(* y (* x (* 18.0 z)))
30.0ms
(* x (* 18.0 z))
26.0ms
(* (* 27.0 j) k)

simplify6.3s

Counts
51 → 93
Calls
51 calls:
Slowest
834.0ms
(* (* (* (- (* y (* x (* 18.0 z))) (* a 4.0)) (- (* y (* x (* 18.0 z))) (* a 4.0))) (- (* y (* x (* 18.0 z))) (* a 4.0))) (* (* t t) t))
603.0ms
(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
565.0ms
(* (* (* x x) x) (* (* (* 18.0 z) (* 18.0 z)) (* 18.0 z)))
433.0ms
(* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* z z) z)))
403.0ms
(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))

prune2.0s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 1.5b

localize56.0ms

Local error

Found 4 expressions with local error:

5.7b
(* y (* (* x 18.0) z))
2.9b
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
0.3b
(* 27.0 (* j k))
0.2b
(* (* x 18.0) z)

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*l*
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
4×*-commutative insert-posit16 add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
Slowest
189.0ms
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
45.0ms
(* y (* (* x 18.0) z))
21.0ms
(* (* x 18.0) z)
13.0ms
(* 27.0 (* j k))

series242.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
160.0ms
(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
37.0ms
(* y (* (* x 18.0) z))
23.0ms
(* 27.0 (* j k))
21.0ms
(* (* x 18.0) z)

simplify6.8s

Counts
50 → 93
Calls
50 calls:
Slowest
953.0ms
(* (* (* (- (* y (* (* x 18.0) z)) (* a 4.0)) (- (* y (* (* x 18.0) z)) (* a 4.0))) (- (* y (* (* x 18.0) z)) (* a 4.0))) (* (* t t) t))
541.0ms
(* (* (* 27.0 27.0) 27.0) (* (* (* j k) (* j k)) (* j k)))
538.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
439.0ms
(* 27.0 (* j k))
420.0ms
(* (* (* 27.0 27.0) 27.0) (* (* (* j j) j) (* (* k k) k)))

prune2.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 1.5b

localize42.0ms

Local error

Found 4 expressions with local error:

5.7b
(* y (* 18.0 (* x z)))
2.9b
(* (- (* y (* 18.0 (* x z))) (* a 4.0)) t)
0.3b
(* 18.0 (* x z))
0.2b
(* (* 27.0 j) k)

rewrite284.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*l*
9×*-un-lft-identity add-cube-cbrt
8×associate-*r*
4×*-commutative insert-posit16 add-log-exp
2×associate-*l/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
Slowest
175.0ms
(* (- (* y (* 18.0 (* x z))) (* a 4.0)) t)
66.0ms
(* y (* 18.0 (* x z)))
25.0ms
(* 18.0 (* x z))
17.0ms
(* (* 27.0 j) k)

series247.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
149.0ms
(* (- (* y (* 18.0 (* x z))) (* a 4.0)) t)
37.0ms
(* y (* 18.0 (* x z)))
36.0ms
(* (* 27.0 j) k)
25.0ms
(* 18.0 (* x z))

simplify6.2s

Counts
51 → 93
Calls
51 calls:
Slowest
975.0ms
(* (* (* (- (* y (* 18.0 (* x z))) (* a 4.0)) (- (* y (* 18.0 (* x z))) (* a 4.0))) (- (* y (* 18.0 (* x z))) (* a 4.0))) (* (* t t) t))
519.0ms
(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
488.0ms
(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))
462.0ms
(* (* (* 18.0 18.0) 18.0) (* (* (* x z) (* x z)) (* x z)))
457.0ms
(* (* (* 18.0 18.0) 18.0) (* (* (* x x) x) (* (* z z) z)))

prune2.1s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 1.5b

regimes2.1s

Accuracy

55.1% (1.5b remaining)

Error of 3.5b against oracle of 2.0b and baseline of 5.4b

bsearch441.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
4.3s16327×body80valid