Details

Time bar (total: 1.3m)

sample450.0ms

Algorithm
intervals
Results
281.0ms1692×body80nan
76.0ms259×body80valid

simplify399.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize43.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)) (log z)) t)

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
19×log-prod
18×add-sqr-sqrt
15×pow1
14×add-log-exp
12×add-cube-cbrt
9×associate-+r+ log-pow distribute-lft-out
7×associate-+l+
6×distribute-rgt-in sum-log distribute-lft-in flip3-- add-cbrt-cube associate-*l/ add-exp-log flip-- distribute-lft-out--
5×associate-*l* associate-+l-
4×log-div flip3-+ diff-log associate-*r* frac-add flip-+ insert-posit16
2×associate--l- +-commutative sub-neg associate--l+ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 106
Calls
4 calls:
Slowest
148.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
59.0ms
(- (+ (log (+ x y)) (log z)) t)
37.0ms
(* (- a 0.5) (log t))
8.0ms
(+ (log (+ x y)) (log z))

series708.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
267.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
257.0ms
(- (+ (log (+ x y)) (log z)) t)
107.0ms
(+ (log (+ x y)) (log z))
77.0ms
(* (- a 0.5) (log t))

simplify18.0s

Counts
133 → 118
Calls
133 calls:
Slowest
738.0ms
(* (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* (- a 0.5) (log t)))
618.0ms
(exp (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
529.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))))
488.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))))
452.0ms
(* (* (- (+ (log (+ x y)) (log z)) t) (- (+ (log (+ x y)) (log z)) t)) (- (+ (log (+ x y)) (log z)) t))

prune1.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 3 expressions with local error:

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

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
19×log-prod
18×*-un-lft-identity
15×add-sqr-sqrt
12×add-log-exp
11×add-cube-cbrt
9×associate-+l+
7×pow1 associate-+r+ sum-log
6×distribute-rgt-in distribute-lft-in associate-*l/
5×flip3-- add-cbrt-cube associate-*l* add-exp-log flip--
4×associate-*r* frac-add associate-+l-
3×flip3-+ associate--l+ flip-+ insert-posit16 distribute-lft-out
2×+-commutative log-div diff-log log-pow
1×associate-+r- sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 83
Calls
3 calls:
Slowest
76.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
54.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
38.0ms
(* (- a 0.5) (log t))

series439.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
226.0ms
(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
135.0ms
(+ (- (log z) t) (* (- a 0.5) (log t)))
78.0ms
(* (- a 0.5) (log t))

simplify21.3s

Counts
104 → 92
Calls
104 calls:
Slowest
768.0ms
(sqrt (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t)))))
752.0ms
(* (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* (- a 0.5) (log t)))
569.0ms
(+ (pow (log (+ x y)) 3) (pow (+ (- (log z) t) (* (- a 0.5) (log t))) 3))
558.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ t (+ (* a (log (/ -1 t))) (log (/ -1 z)))))
481.0ms
(+ (pow (- (log z) t) 3) (pow (* (- a 0.5) (log t)) 3))

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.6b
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
0.6b
(- (log (+ x y)) (log z))
0.6b
(* (log z) (log z))
0.5b
(* (log (+ x y)) (log (+ x y)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
35×log-prod
34×pow1
28×add-sqr-sqrt
22×add-cube-cbrt
16×log-pow
14×distribute-rgt-in distribute-lft-in
12×swap-sqr associate--l+
9×associate--r+
8×add-cbrt-cube associate-*r* associate-*l* add-exp-log
6×add-log-exp
5×distribute-lft-out
4×insert-posit16 distribute-lft-out--
2×associate--l- pow2 log-div sub-neg pow-plus flip3-- diff-log pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-- difference-of-squares unswap-sqr
1×flip3-+ flip-+
Counts
4 → 131
Calls
4 calls:
Slowest
19.0ms
(* (log (+ x y)) (log (+ x y)))
17.0ms
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
9.0ms
(- (log (+ x y)) (log z))
7.0ms
(* (log z) (log z))

series834.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
268.0ms
(* (log (+ x y)) (log (+ x y)))
246.0ms
(* (log z) (log z))
215.0ms
(- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
104.0ms
(- (log (+ x y)) (log z))

simplify7.7s

Counts
173 → 143
Calls
173 calls:
Slowest
650.0ms
(* (* (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z))) (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))) (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z))))
413.0ms
(* (* (- (log (+ x y)) (log z)) (- (log (+ x y)) (log z))) (- (log (+ x y)) (log z)))
382.0ms
(- (+ (pow (log (/ -1 x)) 2) (* 2 (* (log (/ -1 z)) (log -1)))) (+ (* 2 (* (log (/ -1 x)) (log -1))) (pow (log (/ -1 z)) 2)))
264.0ms
(- (* (* (log (+ x y)) (log (+ x y))) (* (log (+ x y)) (log (+ x y)))) (* (* (log z) (log z)) (* (log z) (log z))))
255.0ms
(+ (* (* (log (+ x y)) (log (+ x y))) (* (log (+ x y)) (log (+ x y)))) (+ (* (* (log z) (log z)) (* (log z) (log z))) (* (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))))

prune2.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.5b
(+ (log (+ x y)) (log z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
9×cbrt-prod add-sqr-sqrt add-cube-cbrt
8×pow1
7×log-prod
5×distribute-lft-out
4×associate-+l+ add-cbrt-cube add-exp-log log-pow insert-posit16 add-log-exp
3×associate-+r+ pow1/3
2×log-div flip3-+ associate-+l- flip-+
1×+-commutative sum-log
Counts
4 → 61
Calls
4 calls:
Slowest
8.0ms
(+ (log (+ x y)) (log z))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)

series839.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
262.0ms
(cbrt t)
253.0ms
(cbrt t)
220.0ms
(cbrt t)
105.0ms
(+ (log (+ x y)) (log z))

simplify2.1s

Counts
80 → 73
Calls
80 calls:
Slowest
308.0ms
(- (* 2 (log -1)) (+ (log (/ -1 x)) (log (/ -1 z))))
282.0ms
(+ (pow (log (+ x y)) 3) (pow (log z) 3))
224.0ms
(* (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (log (+ x y)) (log z)))
141.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
136.0ms
(* (pow (* t -1) 1/3) (cbrt -1))

prune1.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.3b remaining)

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

bsearch3.0ms

end0.0ms

sample14.6s

Algorithm
intervals
Results
10.8s56222×body80nan
1.4s8034×body80valid