Details

Time bar (total: 58.3s)

sample346.0ms

Algorithm
intervals
Results
252.0ms1752×body80nan
34.0ms256×body80valid

simplify436.0ms

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

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(+ (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)

rewrite192.0ms

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

series629.0ms

Calls
4 calls:
Slowest
254.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
206.0ms
(- (+ (log (+ x y)) (log z)) t)
88.0ms
(* (- a 0.5) (log t))
81.0ms
(+ (log (+ x y)) (log z))

simplify6.1s

Calls
52 calls:
Slowest
547.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
503.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))))
426.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))))
405.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (log (/ 1 x)) (* a (log (/ 1 t)))))))
305.0ms
(+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t))))

prune1.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
22×pow1
20×cbrt-div
16×log-pow
15×distribute-lft-out
11×flip3-+ flip-+
10×log-div fma-def associate-+l-
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt
7×pow1/3
5×pow-prod-down add-log-exp
4×expm1-log1p-u frac-times add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sum-log
2×associate-+r- associate-*l/ associate-*r/ pow-prod-up
1×pow2 +-commutative associate-+l+ associate-+r+ log-prod pow-plus
Calls
4 calls:
Slowest
36.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
5.0ms
(cbrt (+ x y))
2.0ms
(cbrt (+ x y))
1.0ms
(cbrt (+ x y))

series782.0ms

Calls
4 calls:
Slowest
266.0ms
(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log (cbrt (+ x y))) (log z)))
175.0ms
(cbrt (+ x y))
174.0ms
(cbrt (+ x y))
167.0ms
(cbrt (+ x y))

simplify4.4s

Calls
55 calls:
Slowest
518.0ms
(- (+ (log (* (pow (pow x 2) 1/3) (pow (cbrt -1) 2))) (+ (log (* (pow (* x -1) 1/3) (cbrt -1))) (log -1))) (log (/ -1 z)))
422.0ms
(+ (log (pow y 1/3)) (+ (log (pow y 2/3)) (log z)))
413.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))))
351.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))))
335.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.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
0.6b
(+ (log (+ x y)) (log z))
0.4b
(* (cbrt (- a 0.5)) (log t))
0.3b
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
68×cbrt-div
36×associate-*l/
34×flip3-- flip--
32×frac-times
25×pow1
20×add-exp-log
16×*-un-lft-identity
13×add-sqr-sqrt associate-*l* add-cube-cbrt
11×add-cbrt-cube pow-prod-down
10×associate-*r* prod-exp associate-*r/ cbrt-unprod
9×cbrt-prod
4×expm1-log1p-u fma-def pow1/3 insert-posit16 log1p-expm1-u add-log-exp
3×associate-+l+ log-prod *-commutative
2×log-div flip3-+ log-pow pow-prod-up associate-+l- flip-+ distribute-lft-out
1×pow2 +-commutative sum-log pow-plus
Calls
4 calls:
Slowest
37.0ms
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))
10.0ms
(* (cbrt (- a 0.5)) (log t))
7.0ms
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
7.0ms
(+ (log (+ x y)) (log z))

series664.0ms

Calls
4 calls:
Slowest
280.0ms
(* (cbrt (- a 0.5)) (log t))
164.0ms
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
134.0ms
(+ (log (+ x y)) (log z))
87.0ms
(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))

simplify13.9s

Calls
123 calls:
Slowest
648.0ms
(* (* (cbrt (- (* a a) (* 0.5 0.5))) (cbrt (- (pow a 3) (pow 0.5 3)))) (* (cbrt (- (pow a 3) (pow 0.5 3))) (log t)))
566.0ms
(* (* (* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (* (* (cbrt (- a 0.5)) (log t)) (* (cbrt (- a 0.5)) (log t))) (* (cbrt (- a 0.5)) (log t))))
564.0ms
(- (+ (* 0.027777777777777776 (* (pow (/ -1 (pow a 5)) 1/3) (* (log (/ -1 t)) (cbrt -1)))) (+ (* (pow (* a -1) 1/3) (* (cbrt -1) (log -1))) (* 0.16666666666666666 (* (pow (/ -1 (pow a 2)) 1/3) (* (log (/ -1 t)) (cbrt -1)))))) (+ (* (pow (* a -1) 1/3) (* (log (/ -1 t)) (cbrt -1))) (+ (* 0.16666666666666666 (* (pow (/ -1 (pow a 2)) 1/3) (* (cbrt -1) (log -1)))) (* 0.027777777777777776 (* (pow (/ -1 (pow a 5)) 1/3) (* (cbrt -1) (log -1)))))))
490.0ms
(- (+ (* 0.5 (log (/ -1 t))) (* a (log -1))) (+ (* a (log (/ -1 t))) (* 0.5 (log -1))))
487.0ms
(* (* (- a 0.5) (- a 0.5)) (* (- a 0.5) (* (* (log t) (log t)) (log t))))

prune2.8s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
0.8b
(pow (log (+ x y)) 3)
0.7b
(pow (log z) 3)
0.6b
(- (* (log z) (log z)) (* (log (+ x y)) (log z)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1
12×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
8×add-exp-log
7×unpow-prod-down flip3-- cube-prod flip--
6×cbrt-prod add-cbrt-cube associate-*r* associate-*l* add-log-exp
4×expm1-log1p-u frac-times pow1/3 insert-posit16 log1p-expm1-u
2×cube-mult pow-to-exp pow-pow unpow3 pow-prod-down associate-*l/ pow-exp associate-*r/ log-pow pow-prod-up rem-cube-cbrt
1×pow2 sub-neg pow-plus distribute-rgt-out-- fma-neg diff-log prod-diff prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
13.0ms
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))
11.0ms
(- (* (log z) (log z)) (* (log (+ x y)) (log z)))
4.0ms
(pow (log (+ x y)) 3)
3.0ms
(pow (log z) 3)

series1.2s

Calls
4 calls:
Slowest
510.0ms
(pow (log (+ x y)) 3)
271.0ms
(pow (log z) 3)
232.0ms
(- (* (log z) (log z)) (* (log (+ x y)) (log z)))
190.0ms
(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))

simplify4.6s

Calls
70 calls:
Slowest
691.0ms
(pow (- (log -1) (log (/ -1 x))) 3)
635.0ms
(pow (- (log -1) (log (/ -1 z))) 3)
314.0ms
(- (+ (* 2.2222222222222223 (* (pow a 2) (pow 0.25 1/3))) (pow 0.25 1/3)) (+ (* 0.16666666666666666 (* (pow a 2) (pow (/ 1 (pow 0.25 5)) 1/3))) (* 1.3333333333333333 (* a (pow 0.25 1/3)))))
304.0ms
(- (* (pow (pow a 2) 1/3) (pow (cbrt -1) 2)) (+ (* 0.027777777777777776 (* (pow (/ 1 (pow a 4)) 1/3) (pow (cbrt -1) 2))) (* 0.3333333333333333 (* (pow (/ 1 a) 1/3) (pow (cbrt -1) 2)))))
263.0ms
(- (+ (pow (log (/ -1 z)) 2) (* (log (/ -1 x)) (log -1))) (+ (* (log (/ -1 z)) (log -1)) (* (log (/ -1 x)) (log (/ -1 z)))))

prune2.6s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes1.7s

Accuracy

0% (0.2b remaining)

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

bsearch7.0ms

end0.0ms

sample14.1s

Algorithm
intervals
Results
10.3s56880×body80nan
2.0s8034×body80valid