Details

Time bar (total: 33.8s)

sample329.0ms

Algorithm
intervals
Results
173.0ms1413×body80nan
42.0ms414×body80valid
8.0ms16×body640valid
3.0ms10×body320valid
2.0ms2×body1280valid
1.0ms5×body160valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
017497
130497
258497
3127497
4353497
51299497
done5001497

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log z) t)
0.0b
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.2b
(* y (- (log z) t))
5.5b
(log (- 1.0 z))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
14×log-prod
12×add-cube-cbrt
11×pow1
10×associate-*r*
9×associate--l+
8×add-cbrt-cube add-exp-log
6×associate-*l*
5×distribute-rgt-in distribute-lft-in distribute-lft-out-- add-log-exp
3×sub-neg flip3-- log-pow flip-- difference-of-squares
2×log-div pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×diff-log rem-log-exp exp-sum
Counts
4 → 86
Calls
4 calls:
9.0ms
(- (log z) t)
132.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
32.0ms
(* y (- (log z) t))
6.0ms
(log (- 1.0 z))

series470.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(- (log z) t)
225.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
98.0ms
(* y (- (log z) t))
57.0ms
(log (- 1.0 z))

simplify1.2s

Counts
98 → 98
Iterations

Useful iterations: done (1.2s)

IterNodesCost
020130093
145927770
2148327066
done500026906

prune712.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))
0.0b
(- (log z) t)
0.0b
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))
0.2b
(* y (- (log z) t))

rewrite472.0ms

Algorithm
rewrite-expression-head
Rules
45×associate--l+
23×add-sqr-sqrt
21×log-prod *-un-lft-identity
19×distribute-rgt-in distribute-lft-in
18×associate-+r+
15×add-cube-cbrt
11×sub-neg
10×pow1 associate-+l+ associate-*r* associate-*r/
8×add-cbrt-cube
7×add-exp-log add-log-exp
6×flip3-- associate-*l* flip--
4×frac-add distribute-lft-out--
2×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod difference-of-squares unswap-sqr
1×+-commutative sum-log flip3-+ diff-log exp-sum flip-+
Counts
4 → 113
Calls
4 calls:
115.0ms
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))
8.0ms
(- (log z) t)
316.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))
29.0ms
(* y (- (log z) t))

series705.0ms

Counts
4 → 12
Calls
4 calls:
284.0ms
(+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))
65.0ms
(- (log z) t)
256.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))
100.0ms
(* y (- (log z) t))

simplify2.3s

Counts
125 → 125
Iterations

Useful iterations: done (2.3s)

IterNodesCost
023959231
163255495
2242954671
done500254509

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize112.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
0.0b
(* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
0.2b
(* y (- (log z) t))
0.2b
(* y (- (log z) t))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
26×associate-*r*
23×*-un-lft-identity
17×pow1 add-cube-cbrt
15×add-cbrt-cube add-exp-log
12×log-prod associate--l+
10×distribute-rgt-in distribute-lft-in associate-*l*
9×sqrt-prod
6×pow-prod-down prod-exp cbrt-unprod
4×sub-neg associate-*r/ *-commutative distribute-lft-out-- add-log-exp unswap-sqr
2×flip3-- exp-sum log-pow flip-- difference-of-squares
Counts
4 → 111
Calls
4 calls:
1.1s
(* (* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
319.0ms
(* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
33.0ms
(* y (- (log z) t))
34.0ms
(* y (- (log z) t))

series933.0ms

Counts
4 → 12
Calls
4 calls:
284.0ms
(* (* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
487.0ms
(* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
85.0ms
(* y (- (log z) t))
77.0ms
(* y (- (log z) t))

simplify2.3s

Counts
123 → 123
Iterations

Useful iterations: done (2.2s)

IterNodesCost
017457001
141653353
2167352749
done500152099

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize131.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* x (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))) (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))))
0.2b
(* y (- (log z) t))
0.2b
(* y (- (log z) t))
0.2b
(* y (- (log z) t))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
28×*-un-lft-identity associate-*r*
19×add-cube-cbrt
18×pow1 log-prod associate--l+
15×distribute-rgt-in distribute-lft-in add-cbrt-cube add-exp-log
11×sqrt-prod
10×associate-*l*
6×sub-neg pow-prod-down prod-exp associate-*r/ cbrt-unprod distribute-lft-out--
4×*-commutative add-log-exp
3×flip3-- log-pow flip-- difference-of-squares unswap-sqr
1×exp-sum
Counts
4 → 124
Calls
4 calls:
1.0s
(* (* x (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))) (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))))
36.0ms
(* y (- (log z) t))
23.0ms
(* y (- (log z) t))
23.0ms
(* y (- (log z) t))

series725.0ms

Counts
4 → 12
Calls
4 calls:
442.0ms
(* (* x (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))) (sqrt (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))))
90.0ms
(* y (- (log z) t))
94.0ms
(* y (- (log z) t))
100.0ms
(* y (- (log z) t))

simplify2.8s

Counts
136 → 136
Iterations

Useful iterations: done (2.8s)

IterNodesCost
016749975
139746105
2158545539
done500044859

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes689.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify13.0ms

Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
023698
129698
done29698

end0.0ms

sample11.4s

Algorithm
intervals
Results
6.4s41334×body80nan
1.7s12500×body80valid
254.0ms370×body640valid
144.0ms396×body320valid
79.0ms75×body1280valid
64.0ms270×body160valid