Details

Time bar (total: 1.4m)

sample337.0ms

Algorithm
intervals
Results
237.0ms1668×body80nan
36.0ms256×body80valid

simplify413.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 3 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)))

rewrite228.0ms

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

series420.0ms

Calls
3 calls:
Slowest
268.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
85.0ms
(+ (log (+ x y)) (log z))
67.0ms
(* (- a 0.5) (log t))

simplify14.8s

Calls
98 calls:
Slowest
832.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
653.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))))
512.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))))
463.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
447.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
31×log-prod
27×associate-+r+
25×cbrt-prod add-sqr-sqrt
24×*-un-lft-identity
17×add-cube-cbrt
13×pow1
8×add-log-exp
7×log-pow distribute-lft-out
6×swap-sqr associate-*r* associate-*l*
4×associate-+l+ sum-log add-cbrt-cube add-exp-log insert-posit16 unswap-sqr
3×pow1/3
2×log-div flip3-+ pow-prod-down associate-+l- flip-+
1×+-commutative *-commutative
Calls
4 calls:
Slowest
41.0ms
(+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series1.0s

Calls
4 calls:
Slowest
286.0ms
(cbrt z)
256.0ms
(cbrt z)
247.0ms
(+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
237.0ms
(cbrt z)

simplify2.1s

Calls
64 calls:
Slowest
436.0ms
(- (log (pow (/ 1 z) -2/3)) (log (/ 1 x)))
273.0ms
(- (+ (log (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))) (log -1)) (log (/ -1 x)))
151.0ms
(* (cbrt -1) (pow (* z -1) 1/3))
148.0ms
(* (cbrt -1) (pow (* z -1) 1/3))
136.0ms
(* (cbrt -1) (pow (* z -1) 1/3))

prune2.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite876.0ms

Algorithm
rewrite-expression-head
Rules
229×*-un-lft-identity
136×distribute-lft-out
68×add-log-exp
66×pow1
64×distribute-lft-out--
60×log-pow
56×associate-+l+
55×log-prod
48×sum-log
43×associate-+r+
41×associate-*l*
27×add-sqr-sqrt
24×associate--l+
23×add-cube-cbrt
16×sqrt-prod
15×diff-log
14×associate-+l-
9×distribute-rgt-in distribute-lft-in
8×log-div sqrt-div
7×flip3-+ flip-+
6×+-commutative add-cbrt-cube associate-*l/ add-exp-log
5×flip3-- flip--
4×associate--l- associate-*r* frac-add insert-posit16
3×associate-+r-
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
Calls
4 calls:
Slowest
553.0ms
(+ (log (sqrt (+ x y))) (+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t))))
274.0ms
(+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t)))
20.0ms
(* (- a 0.5) (log t))
20.0ms
(+ (log (sqrt (+ x y))) (log z))

series949.0ms

Calls
4 calls:
Slowest
394.0ms
(+ (log (sqrt (+ x y))) (+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t))))
321.0ms
(+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t)))
167.0ms
(+ (log (sqrt (+ x y))) (log z))
67.0ms
(* (- a 0.5) (log t))

simplify34.0s

Calls
193 calls:
Slowest
846.0ms
(+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t)))
615.0ms
(+ (* (- (pow (+ (log (sqrt (+ x y))) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (sqrt (+ x y))) (log z)) (+ (log (sqrt (+ x y))) (log z))) (+ (* t t) (* (+ (log (sqrt (+ x y))) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
486.0ms
(+ (- (+ (log (sqrt (+ x y))) (log z)) t) (* (- a 0.5) (log t)))
484.0ms
(* (- (pow a 3) (pow 0.5 3)) (log t))
481.0ms
(* (/ (* (exp (log (sqrt (+ x y)))) z) (exp t)) (exp (* (- a 0.5) (log t))))

prune3.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
69×cbrt-prod
44×add-sqr-sqrt
42×*-un-lft-identity
40×sqrt-prod
22×add-cube-cbrt
18×cbrt-div sqrt-div
14×swap-sqr
11×pow1
10×associate-*r* associate-*l*
9×flip3-+ pow1/3 flip-+ distribute-lft-out unswap-sqr
8×add-cbrt-cube
6×add-exp-log
4×frac-times cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Calls
4 calls:
Slowest
55.0ms
(* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))
6.0ms
(cbrt (sqrt (+ x y)))
6.0ms
(cbrt (sqrt (+ x y)))
6.0ms
(cbrt (sqrt (+ x y)))

series727.0ms

Calls
4 calls:
Slowest
207.0ms
(* (cbrt (sqrt (+ x y))) (cbrt (sqrt (+ x y))))
181.0ms
(cbrt (sqrt (+ x y)))
173.0ms
(cbrt (sqrt (+ x y)))
167.0ms
(cbrt (sqrt (+ x y)))

simplify4.6s

Calls
132 calls:
Slowest
310.0ms
(* (cbrt (sqrt (+ (pow x 3) (pow y 3)))) (cbrt (sqrt (+ (pow x 3) (pow y 3)))))
279.0ms
(* (cbrt (sqrt (+ (pow x 3) (pow y 3)))) (cbrt (sqrt (+ x y))))
266.0ms
(* (cbrt (sqrt (- (* x x) (* y y)))) (cbrt (sqrt (+ (pow x 3) (pow y 3)))))
178.0ms
(* (cbrt (sqrt (+ (pow x 3) (pow y 3)))) (cbrt (sqrt (- (* x x) (* y y)))))
177.0ms
(- (+ (pow y 1/6) (* 1/6 (* x (pow (/ 1 (pow y 5)) 1/6)))) (* 5/72 (* (pow x 2) (pow (/ 1 (pow y 11)) 1/6))))

prune3.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes1.1s

Accuracy

0% (0.2b remaining)

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

bsearch8.0ms

end0.0ms

sample13.4s

Algorithm
intervals
Results
10.3s56042×body80nan
1.4s8022×body80valid