Details

Time bar (total: 46.1s)

sample307.0ms

Algorithm
intervals
Results
221.0ms1624×body80nan
32.0ms260×body80valid

simplify306.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize27.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))

rewrite112.0ms

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

series327.0ms

Calls
4 calls:
Slowest
165.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
60.0ms
(log (+ x y))
58.0ms
(+ (log (+ x y)) (log z))
45.0ms
(* (- a 0.5) (log t))

simplify5.2s

Calls
49 calls:
Slowest
486.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))))
445.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))))
429.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))))
342.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
336.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

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

series444.0ms

Calls
4 calls:
Slowest
233.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
84.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
79.0ms
(* (- a 0.5) (log t))
47.0ms
(log (+ x y))

simplify7.3s

Calls
51 calls:
Slowest
887.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ t (+ (* a (log (/ -1 t))) (log (/ -1 z)))))
464.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
455.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (* a (log (/ 1 t))))))
413.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
391.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize11.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))

rewrite54.0ms

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

series471.0ms

Calls
4 calls:
Slowest
242.0ms
(- (+ (log (+ x y)) (log z)) (- t (* (- a 0.5) (log t))))
81.0ms
(+ (log (+ x y)) (log z))
79.0ms
(* (- a 0.5) (log t))
70.0ms
(log (+ x y))

simplify7.5s

Calls
57 calls:
Slowest
632.0ms
(* (+ (* (log (+ x y)) (log (+ x y))) (- (* (log z) (log z)) (* (log (+ x y)) (log z)))) (+ t (* (- a 0.5) (log t))))
471.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
459.0ms
(- (* (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z))) (+ (* t t) (+ (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* t (* (- a 0.5) (log t)))))) (* (- (log (+ x y)) (log z)) (- (pow t 3) (pow (* (- a 0.5) (log t)) 3))))
458.0ms
(- (* (+ (pow (log (+ x y)) 3) (pow (log z) 3)) (+ (* t t) (+ (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* t (* (- a 0.5) (log t)))))) (* (+ (* (log (+ x y)) (log (+ x y))) (- (* (log z) (log z)) (* (log (+ x y)) (log z)))) (- (pow t 3) (pow (* (- a 0.5) (log t)) 3))))
389.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(cbrt (+ x y))
0.5b
(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite16.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
8.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
5.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))

series624.0ms

Calls
4 calls:
Slowest
185.0ms
(* (cbrt (+ x y)) (cbrt (+ x y)))
152.0ms
(cbrt (+ x y))
146.0ms
(cbrt (+ x y))
139.0ms
(cbrt (+ x y))

simplify3.0s

Calls
59 calls:
Slowest
422.0ms
(* (pow (* x -1) 1/3) (cbrt -1))
309.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))))
272.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))))
269.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))))
238.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))))

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes1.3s

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

end0.0ms

sample13.2s

Algorithm
intervals
Results
9.9s55454×body80nan
1.5s8027×body80valid