Details

Time bar (total: 47.4s)

sample427.0ms

Algorithm
intervals
Results
264.0ms1802×body80nan
71.0ms256×body80valid

simplify363.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
363.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize56.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ (log (+ x y)) (log z))
0.2b
(* (- a 0.5) (log t))
0.1b
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.0b
(- (+ (log (+ x y)) (log z)) t)

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
19×log-prod
18×add-sqr-sqrt
15×pow1
14×add-log-exp
12×add-cube-cbrt
9×associate-+r+ log-pow distribute-lft-out
7×associate-+l+
6×distribute-rgt-in sum-log distribute-lft-in flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- distribute-lft-out--
5×associate-*l* associate-+l-
4×log-div flip3-+ diff-log associate-*r* frac-add flip-+ insert-posit16
2×associate--l- +-commutative sub-neg associate--l+ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 106
Calls
4 calls:
Slowest
150.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
36.0ms
(- (+ (log (+ x y)) (log z)) t)
31.0ms
(* (- a 0.5) (log t))
16.0ms
(+ (log (+ x y)) (log z))

series642.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
246.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
221.0ms
(- (+ (log (+ x y)) (log z)) t)
104.0ms
(+ (log (+ x y)) (log z))
70.0ms
(* (- a 0.5) (log t))

simplify7.5s

Counts
79 → 118
Calls
79 calls:
Slowest
563.0ms
(+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
537.0ms
(+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (pow a 3) (pow 0.5 3)) (log t))))
465.0ms
(+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ a 0.5)) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))
403.0ms
(* (- (pow a 3) (pow 0.5 3)) (log t))
360.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
0.4b
(+ (log (+ x y)) (log (sqrt z)))
0.2b
(* (- a 0.5) (log t))
0.1b
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))

rewrite902.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
28×log-prod
24×pow1
23×distribute-lft-out
19×add-sqr-sqrt
18×associate-+r+ log-pow
15×add-cube-cbrt add-log-exp
11×sum-log
8×associate-+l+
7×associate-+l-
6×distribute-rgt-in distribute-lft-in add-cbrt-cube associate-*l/ add-exp-log sqrt-prod
5×flip3-+ flip3-- associate-*l* flip-+ flip--
4×log-div associate-*r* frac-add insert-posit16
3×+-commutative diff-log
1×sub-neg pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 119
Calls
4 calls:
Slowest
812.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
47.0ms
(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
32.0ms
(* (- a 0.5) (log t))
9.0ms
(+ (log (+ x y)) (log (sqrt z)))

series948.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
378.0ms
(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
240.0ms
(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
225.0ms
(+ (log (+ x y)) (log (sqrt z)))
105.0ms
(* (- a 0.5) (log t))

simplify7.8s

Counts
92 → 131
Calls
92 calls:
Slowest
1.1s
(+ (* (- (pow (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))) (+ (* t t) (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
625.0ms
(+ (* (- (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- (pow a 3) (pow 0.5 3)) (log t))))
526.0ms
(+ (* (- (pow (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) 3) (pow t 3)) (+ a 0.5)) (* (+ (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))) (+ (* t t) (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))
457.0ms
(* (+ (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))) (+ (* t t) (* (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
453.0ms
(* (+ (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (+ a 0.5))

prune2.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(* (cbrt t) (cbrt t))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
Slowest
13.0ms
(* (cbrt t) (cbrt t))
2.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
373.0ms
(* (cbrt t) (cbrt t))
365.0ms
(cbrt t)
278.0ms
(cbrt t)
274.0ms
(cbrt t)

simplify979.0ms

Counts
63 → 89
Calls
63 calls:
Slowest
151.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
151.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
148.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
109.0ms
(* (pow (pow t 2) 1/3) (pow (cbrt -1) 2))
74.0ms
(* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))

prune1.8s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(* (cbrt t) (cbrt t))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
Slowest
9.0ms
(* (cbrt t) (cbrt t))
2.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
343.0ms
(cbrt t)
343.0ms
(* (cbrt t) (cbrt t))
318.0ms
(cbrt t)
316.0ms
(cbrt t)

simplify946.0ms

Counts
63 → 89
Calls
63 calls:
Slowest
181.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
145.0ms
(* (pow (pow t 2) 1/3) (pow (cbrt -1) 2))
133.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
132.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
69.0ms
(* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))

prune1.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes1.6s

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch5.0ms

end0.0ms

sample14.1s

Algorithm
intervals
Results
9.4s56795×body80nan
1.3s8031×body80valid