Details

Time bar (total: 55.5s)

sample483.0ms

Algorithm
intervals
Results
337.0ms1916×body80nan
62.0ms261×body80valid

simplify552.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
7×add-sqr-sqrt pow1 add-cube-cbrt
6×associate-+l+ flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- add-log-exp
5×associate-+l-
4×log-div flip3-+ frac-add flip-+ insert-posit16
3×log-prod associate-*r* associate-*l*
2×associate--l- +-commutative sum-log sub-neg associate--l+ distribute-lft-out
1×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod
Calls
4 calls:
Slowest
155.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
47.0ms
(- (+ (log (+ x y)) (log z)) t)
10.0ms
(+ (log (+ x y)) (log z))
9.0ms
(* (- a 0.5) (log t))

series593.0ms

Calls
4 calls:
Slowest
217.0ms
(- (+ (log (+ x y)) (log z)) t)
213.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
97.0ms
(+ (log (+ x y)) (log z))
67.0ms
(* (- a 0.5) (log t))

simplify6.7s

Calls
46 calls:
Slowest
858.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))))
524.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))))
511.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))))
398.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
387.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
9×add-log-exp
7×add-sqr-sqrt pow1 add-cube-cbrt associate-+l-
6×flip3-+ add-cbrt-cube associate-*l/ add-exp-log flip-+
4×log-div associate-+l+ sum-log flip3-- frac-add insert-posit16 flip--
3×log-prod associate-*r* associate-*l*
2×+-commutative associate-+r+ associate-+r- sub-neg distribute-lft-out
1×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod
Calls
4 calls:
Slowest
75.0ms
(+ (+ (log (+ x y)) (- (log z) t)) (* (- a 0.5) (log t)))
20.0ms
(+ (log (+ x y)) (- (log z) t))
9.0ms
(* (- a 0.5) (log t))
6.0ms
(- (log z) t)

series679.0ms

Calls
4 calls:
Slowest
293.0ms
(+ (+ (log (+ x y)) (- (log z) t)) (* (- a 0.5) (log t)))
206.0ms
(+ (log (+ x y)) (- (log z) t))
94.0ms
(- (log z) t)
87.0ms
(* (- a 0.5) (log t))

simplify6.9s

Calls
46 calls:
Slowest
570.0ms
(* (+ (* (log (+ x y)) (log (+ x y))) (- (* (- (log z) t) (- (log z) t)) (* (log (+ x y)) (- (log z) t)))) (+ a 0.5))
501.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
486.0ms
(+ (* (+ (pow (log (+ x y)) 3) (pow (- (log z) t) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (log (+ x y)) (log (+ x y))) (- (* (- (log z) t) (- (log z) t)) (* (log (+ x y)) (- (log z) t)))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
419.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))
370.0ms
(+ (* (- (* (log (+ x y)) (log (+ x y))) (* (- (log z) t) (- (log z) 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))))

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite348.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
15×associate-+l-
13×associate-+l+ add-log-exp
12×pow1 log-prod distribute-lft-out
10×add-sqr-sqrt log-div sum-log flip3-+ sqrt-div add-cube-cbrt flip-+
9×associate-+r-
6×add-cbrt-cube associate-*l/ add-exp-log log-pow sqrt-prod
4×frac-add insert-posit16
3×+-commutative associate-+r+ flip3-- associate-*r* associate-*l* flip--
1×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
262.0ms
(+ (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (- a 0.5) (log t)))
52.0ms
(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t)))
20.0ms
(+ (log (sqrt (+ x y))) (- (log z) t))
10.0ms
(* (- a 0.5) (log t))

series723.0ms

Calls
4 calls:
Slowest
329.0ms
(+ (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (- a 0.5) (log t)))
165.0ms
(+ (log (sqrt (+ x y))) (- (log z) t))
148.0ms
(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t)))
81.0ms
(* (- a 0.5) (log t))

simplify8.3s

Calls
71 calls:
Slowest
711.0ms
(* (- (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
658.0ms
(+ (* (+ (pow (log (sqrt (+ x y))) 3) (pow (+ (log (sqrt (+ x y))) (- (log z) t)) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (- (* (+ (log (sqrt (+ x y))) (- (log z) t)) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
470.0ms
(+ (* (- (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (* (+ (log (sqrt (+ x y))) (- (log z) t)) (+ (log (sqrt (+ x y))) (- (log z) t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (- (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
451.0ms
(+ (* (+ (pow (log (sqrt (+ x y))) 3) (pow (+ (log (sqrt (+ x y))) (- (log z) t)) 3)) (+ a 0.5)) (* (+ (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (- (* (+ (log (sqrt (+ x y))) (- (log z) t)) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))))) (* (- (* a a) (* 0.5 0.5)) (log t))))
429.0ms
(+ (* (- (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (* (+ (log (sqrt (+ x y))) (- (log z) t)) (+ (log (sqrt (+ x y))) (- (log z) t)))) (+ a 0.5)) (* (- (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))

prune2.2s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize48.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
(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
13.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))

series720.0ms

Calls
4 calls:
Slowest
228.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
197.0ms
(cbrt (+ x y))
154.0ms
(cbrt (+ x y))
140.0ms
(cbrt (+ x y))

simplify3.4s

Calls
59 calls:
Slowest
425.0ms
(- (+ (* 2/3 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))
393.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
362.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
340.0ms
(- (+ (pow y 1/3) (* 1/3 (* x (pow (/ 1 (pow y 2)) 1/3)))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow y 5)) 1/3))))
188.0ms
(* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))

prune2.2s

Pruning

11 alts after pruning (9 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

sample16.2s

Algorithm
intervals
Results
12.1s57264×body80nan
2.2s8052×body80valid