Details

Time bar (total: 7.6m)

sample345.0ms

Algorithm
intervals
Results
161.0ms1519×body80nan
45.0ms525×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
01718
13317
27317
318916
451416
5174716
done500016

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
25×*-un-lft-identity
21×add-cube-cbrt
13×add-cbrt-cube
12×add-exp-log log-prod exp-sum
10×pow1 add-log-exp
9×prod-diff
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×expm1-log1p-u log1p-expm1-u
3×times-frac prod-exp associate-/r* cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×sub-neg flip3-- frac-2neg associate-*r/ associate--l+ clear-num sum-log flip-- div-inv associate-/l/ associate-/l*
Counts
4 → 112
Calls
4 calls:
24.0ms
(* (- t 1.0) (log a))
9.0ms
(* y (log z))
113.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
217.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series466.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* (- t 1.0) (log a))
41.0ms
(* y (log z))
137.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
207.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify1.4s

Counts
124 → 124
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02752031
15801829
216521505
done50011399

prune522.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (exp b) (pow a (- t 1.0)))
1.0b
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
1.0b
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
1.1b
(/ (* x (* (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) y)

rewrite778.0ms

Algorithm
rewrite-expression-head
Rules
1747×times-frac
985×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
572×unpow-prod-up
516×unpow-prod-down
468×prod-diff
172×sqr-pow
139×associate-/r*
52×sub-neg
49×add-exp-log
48×div-exp
25×add-cbrt-cube
20×div-inv
19×associate-/r/
18×associate-/l*
17×pow-sub
15×pow-to-exp pow-exp
10×cbrt-undiv
4×pow1 expm1-log1p-u frac-2neg sqrt-div associate-*r/ clear-num log1p-expm1-u add-log-exp
3×prod-exp cbrt-unprod associate-/l/
1×frac-times associate-*l/
Counts
4 → 1132
Calls
4 calls:
21.0ms
(/ (exp b) (pow a (- t 1.0)))
53.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
51.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
485.0ms
(/ (* x (* (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) y)

series843.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(/ (exp b) (pow a (- t 1.0)))
202.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
270.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
284.0ms
(/ (* x (* (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) y)

simplify1.2s

Counts
1144 → 1144
Iterations

Useful iterations: done (1.1s)

IterNodesCost
098037165
1192531320
done500028517

prune5.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (exp b) (pow a (- t 1.0)))
0.7b
(* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))
1.0b
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
1.1b
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
1775×times-frac
1097×add-sqr-sqrt
943×add-cube-cbrt *-un-lft-identity
549×unpow-prod-down
539×unpow-prod-up
519×sqrt-prod
441×prod-diff
421×associate-*r*
211×sqr-pow
78×associate-/r*
56×unswap-sqr
49×sub-neg
46×add-exp-log
34×add-cbrt-cube
30×div-exp
19×associate-/r/ div-inv
16×pow-sub
11×associate-/l*
10×cbrt-undiv associate-*l* prod-exp cbrt-unprod
8×pow-to-exp pow-exp
6×pow1
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×frac-2neg sqrt-div clear-num
2×pow1/2 pow-prod-down
1×sqrt-unprod *-commutative associate-/l/
Counts
4 → 1130
Calls
4 calls:
25.0ms
(/ (exp b) (pow a (- t 1.0)))
364.0ms
(* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))
42.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
574.0ms
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
104.0ms
(/ (exp b) (pow a (- t 1.0)))
321.0ms
(* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))
200.0ms
(/ (pow z y) (/ (exp b) (pow a (- t 1.0))))
392.0ms
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

simplify2.2s

Counts
1142 → 1142
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0185934301
1320129891
done500127728

prune7.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.7b
(* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))
1.0b
(/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0))))
1.1b
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

rewrite31.1s

Algorithm
rewrite-expression-head
Rules
74909×times-frac
29516×add-sqr-sqrt
27831×add-cube-cbrt *-un-lft-identity
20753×sqrt-prod
20207×unpow-prod-up
19920×associate-*r*
16533×prod-diff
15298×unpow-prod-down
12627×cbrt-prod
5086×sqr-pow
1837×sub-neg
1211×associate-/r/ div-inv
1077×pow-sub
476×unswap-sqr
108×add-exp-log
57×div-exp
34×add-cbrt-cube
28×prod-exp
22×associate-/r*
21×pow-exp
15×pow-to-exp
11×cbrt-undiv cbrt-unprod
10×associate-*l*
8×associate-/l*
6×pow1
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×sqrt-div
2×frac-2neg pow1/2 pow-prod-down clear-num
1×pow1/3 sqrt-unprod *-commutative associate-/l/
Counts
4 → 20682
Calls
4 calls:
2.0ms
(cbrt a)
14.4s
(* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))
31.0ms
(/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0))))
8.5s
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

series3.1s

Counts
4 → 12
Calls
4 calls:
230.0ms
(cbrt a)
856.0ms
(* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))
529.0ms
(/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0))))
1.5s
(/ (* x (* (sqrt (pow z y)) (sqrt (/ (/ (pow z y) (/ (* (cbrt (exp b)) (cbrt (exp b))) (pow (* (cbrt a) (cbrt a)) (- t 1.0)))) (/ (cbrt (exp b)) (pow (cbrt a) (- t 1.0))))))) (* y (sqrt (/ (exp b) (pow a (- t 1.0))))))

simplify19.1s

Counts
20694 → 20694
Iterations

Useful iterations: 0 (3.8s)

IterNodesCost
055503958090
done55503958090

prune6.0m

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes885.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01718
12118
done2118

end0.0ms

sample15.1s

Algorithm
intervals
Results
7.3s46220×body80nan
2.8s15394×body80valid