Details

Time bar (total: 50.8s)

sample423.0ms

Algorithm
intervals
Results
290.0ms1679×body80nan
41.0ms256×body80valid

simplify420.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
419.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.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b
(+ (log (+ x y)) (log z))
0.1b
(* (- 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)

rewrite271.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
173.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
71.0ms
(- (+ (log (+ x y)) (log z)) t)
16.0ms
(* (- a 0.5) (log t))
8.0ms
(+ (log (+ x y)) (log z))

series749.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
300.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
257.0ms
(- (+ (log (+ x y)) (log z)) t)
123.0ms
(+ (log (+ x y)) (log z))
69.0ms
(* (- a 0.5) (log t))

simplify7.8s

Counts
79 → 118
Calls
79 calls:
Slowest
560.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))))
507.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))))
428.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))))
409.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
379.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite182.0ms

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

series573.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
261.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
132.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
100.0ms
(* (- a 0.5) (log t))
79.0ms
(- (log z) t)

simplify8.8s

Counts
75 → 114
Calls
75 calls:
Slowest
803.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ t (+ (* a (log (/ -1 t))) (log (/ -1 z)))))
433.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
408.0ms
(* (- (pow a 3) (pow 0.5 3)) (log t))
394.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))
386.0ms
(+ (* (- (pow (log z) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (log z) (log z)) (+ (* t t) (* (log z) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))

prune1.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.6b
(cbrt (+ x y))
0.5b
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
31×pow1
30×distribute-lft-out
22×log-pow
20×cbrt-div
12×cbrt-prod
11×flip3-+ flip-+
10×log-div associate-+l-
7×add-sqr-sqrt add-cube-cbrt
5×pow-prod-down add-log-exp
4×frac-times add-cbrt-cube add-exp-log insert-posit16
3×sum-log pow1/3
2×associate-+r- associate-*l/ associate-*r/
1×+-commutative associate-+l+ associate-+r+ log-prod
Counts
4 → 85
Calls
4 calls:
Slowest
97.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
5.0ms
(cbrt (+ x y))
4.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))

series819.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
298.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
196.0ms
(cbrt (+ x y))
163.0ms
(cbrt (+ x y))
162.0ms
(cbrt (+ x y))

simplify5.3s

Counts
59 → 97
Calls
59 calls:
Slowest
447.0ms
(+ (log (pow y 1/3)) (+ (log (pow y 2/3)) (log z)))
436.0ms
(- (+ (log (pow (/ 1 x) -2/3)) (log (pow (/ 1 x) -1/3))) (log (/ 1 z)))
337.0ms
(log (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y))))
300.0ms
(log (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3)))))
275.0ms
(log (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3)))))

prune1.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.5b
(+ (log (+ x y)) (log z))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
9×cbrt-prod add-sqr-sqrt add-cube-cbrt
8×pow1
7×log-prod
5×distribute-lft-out
4×associate-+l+ add-cbrt-cube add-exp-log log-pow insert-posit16 add-log-exp
3×associate-+r+ pow1/3
2×log-div flip3-+ associate-+l- flip-+
1×+-commutative sum-log
Counts
4 → 61
Calls
4 calls:
Slowest
16.0ms
(+ (log (+ x y)) (log z))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
328.0ms
(cbrt t)
317.0ms
(cbrt t)
248.0ms
(cbrt t)
131.0ms
(+ (log (+ x y)) (log z))

simplify1.0s

Counts
35 → 73
Calls
35 calls:
Slowest
244.0ms
(- (* 2 (log -1)) (+ (log (/ -1 x)) (log (/ -1 z))))
147.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
146.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
125.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
69.0ms
(- (+ (log (/ 1 z)) (log (/ 1 x))))

prune1.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes1.6s

Accuracy

0% (0.2b remaining)

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

bsearch4.0ms

end0.0ms

sample14.4s

Algorithm
intervals
Results
9.7s55856×body80nan
1.7s8028×body80valid