Details

Time bar (total: 39.8s)

sample296.0ms

Algorithm
intervals
Results
212.0ms1605×body80nan
33.0ms257×body80valid

simplify386.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity
5×associate-+l+
4×add-sqr-sqrt add-cube-cbrt add-log-exp
3×log-prod fma-def associate--l+
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u
1×+-commutative associate-+r+ sum-log sub-neg flip3-+ associate-+l- flip-+ distribute-lft-out
Calls
2 calls:
Slowest
27.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))
0.0ms
(fma (- a 0.5) (log t) (log z))

series193.0ms

Calls
2 calls:
Slowest
123.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))
70.0ms
(fma (- a 0.5) (log t) (log z))

simplify2.1s

Calls
17 calls:
Slowest
473.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ (* a (log (/ -1 t))) (log (/ -1 z))))
304.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (* a (log (/ 1 t))) (log (/ 1 y))))))
279.0ms
(- (* 0.5 (log (/ 1 t))) (+ (log (/ 1 z)) (* a (log (/ 1 t)))))
273.0ms
(* (exp (- (log (+ y x)) t)) (exp (fma (- a 0.5) (log t) (log z))))
221.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))

prune543.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×add-sqr-sqrt add-cube-cbrt add-log-exp
6×associate-+l+ fma-def associate-*l/
5×pow1 flip3-- add-cbrt-cube add-exp-log flip--
4×sum-log frac-add
3×expm1-log1p-u log-prod associate-*r* associate-*l* associate--l+ associate-+l- insert-posit16 log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out
Calls
3 calls:
Slowest
105.0ms
(+ (+ (- (log (+ y x)) t) (* (- a 0.5) (log t))) (log z))
32.0ms
(+ (- (log (+ y x)) t) (* (- a 0.5) (log t)))
5.0ms
(* (- a 0.5) (log t))

series324.0ms

Calls
3 calls:
Slowest
150.0ms
(+ (+ (- (log (+ y x)) t) (* (- a 0.5) (log t))) (log z))
120.0ms
(+ (- (log (+ y x)) t) (* (- a 0.5) (log t)))
54.0ms
(* (- a 0.5) (log t))

simplify6.7s

Calls
43 calls:
Slowest
557.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
464.0ms
(* (+ (* (log (+ y x)) (log (+ y x))) (+ (* t t) (* (log (+ y x)) t))) (+ a 0.5))
415.0ms
(sqrt (+ (- (log (+ y x)) t) (* (- a 0.5) (log t))))
366.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (* a (log (/ 1 t))) (log (/ 1 y))))))
358.0ms
(* (cbrt (+ (- (log (+ y x)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (log (+ y x)) t) (* (- a 0.5) (log t)))))

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (log t))
0.5b
(cbrt (log t))
0.5b
(cbrt (log t))
0.5b
(* (cbrt (log t)) (cbrt (log t)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
12.0ms
(* (cbrt (log t)) (cbrt (log t)))
1.0ms
(cbrt (log t))
1.0ms
(cbrt (log t))
1.0ms
(cbrt (log t))

series1.3s

Calls
4 calls:
Slowest
378.0ms
(cbrt (log t))
329.0ms
(cbrt (log t))
312.0ms
(* (cbrt (log t)) (cbrt (log t)))
300.0ms
(cbrt (log t))

simplify1.3s

Calls
41 calls:
Slowest
818.0ms
(pow (pow (- (log -1) (log (/ -1 t))) 2) 1/3)
96.0ms
(pow (- (log -1) (log (/ -1 t))) 1/3)
85.0ms
(pow (- (log -1) (log (/ -1 t))) 1/3)
68.0ms
(pow (- (log -1) (log (/ -1 t))) 1/3)
22.0ms
(pow (- (log (/ 1 t))) 1/3)

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

1.2b
(pow (* (log t) (log t)) 1/3)
0.5b
(* (log t) (log t))
0.5b
(cbrt (log t))
0.3b
(* (* (- a 0.5) (pow (* (log t) (log t)) 1/3)) (cbrt (log t)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
17×pow1
12×prod-exp
10×add-cbrt-cube
9×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
6×cbrt-prod cbrt-unprod
5×pow-pow
4×expm1-log1p-u associate-*l* associate-*l/ pow-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×pow2 pow-to-exp pow-plus unpow1/3 *-commutative pow-prod-up
1×unpow-prod-down flip3-- pow1/3 flip--
Calls
4 calls:
Slowest
48.0ms
(* (* (- a 0.5) (pow (* (log t) (log t)) 1/3)) (cbrt (log t)))
10.0ms
(* (log t) (log t))
8.0ms
(pow (* (log t) (log t)) 1/3)
1.0ms
(cbrt (log t))

series1.0s

Calls
4 calls:
Slowest
390.0ms
(cbrt (log t))
357.0ms
(pow (* (log t) (log t)) 1/3)
215.0ms
(* (log t) (log t))
52.0ms
(* (* (- a 0.5) (pow (* (log t) (log t)) 1/3)) (cbrt (log t)))

simplify5.9s

Calls
52 calls:
Slowest
885.0ms
(* (* (* (* (- a 0.5) (pow (* (log t) (log t)) 1/3)) (* (- a 0.5) (pow (* (log t) (log t)) 1/3))) (* (- a 0.5) (pow (* (log t) (log t)) 1/3))) (log t))
875.0ms
(pow (pow (- (log -1) (log (/ -1 t))) 2) 1/3)
771.0ms
(pow (- (log -1) (log (/ -1 t))) 2)
530.0ms
(* (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* (pow (* (log t) (log t)) 1/3) (pow (* (log t) (log t)) 1/3)) (pow (* (log t) (log t)) 1/3))) (log t))
511.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

regimes1.2s

Accuracy

0% (0.2b remaining)

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

bsearch4.0ms

end0.0ms

sample13.6s

Algorithm
intervals
Results
10.6s56897×body80nan
1.4s8039×body80valid