Details

Time bar (total: 9.4m)

sample225.0ms

Algorithm
intervals
Results
178.0ms265×body10240exit
16.0ms197×body80valid
6.0ms27×body320valid
6.0ms18×body640valid
3.0ms19×body160valid

simplify216.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
216.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.3b

localize34.0ms

Local error

Found 4 expressions with local error:

5.2b
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
0.5b
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
0.0b
(* wj (exp wj))
0.0b
(* wj (exp wj))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
82×*-un-lft-identity
76×add-sqr-sqrt
67×add-cube-cbrt
63×prod-diff
61×times-frac
13×distribute-rgt-out distribute-rgt1-in
10×add-cbrt-cube
8×pow1 add-exp-log associate-/r/
6×associate-*r* associate-*l* add-log-exp
5×associate-/r*
4×expm1-log1p-u flip3-+ flip-+ insert-posit16 log1p-expm1-u div-inv
3×fma-neg associate-/l*
2×flip3-- div-sub pow-prod-down prod-exp *-commutative cbrt-unprod flip-- difference-of-squares unswap-sqr associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp distribute-lft-out-- associate--r-
Counts
4 → 170
Calls
4 calls:
Slowest
43.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
38.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
9.0ms
(* wj (exp wj))
9.0ms
(* wj (exp wj))

series223.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
77.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
74.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
38.0ms
(* wj (exp wj))
34.0ms
(* wj (exp wj))

simplify51.1s

Counts
266 → 182
Calls
266 calls:
Slowest
862.0ms
(cbrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
641.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (sqrt (- (* wj (exp wj)) x)) (+ 1 wj)) (/ (sqrt (- (* wj (exp wj)) x)) (exp wj)))))
631.0ms
(exp (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
613.0ms
(- (sqrt wj) (sqrt (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))
602.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize8.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune15.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

5.2b
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
0.0b
(/ x (exp wj))
0.0b
(/ (- wj (/ x (exp wj))) (+ 1 wj))
0.0b
(- wj (/ x (exp wj)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
218×add-sqr-sqrt
211×*-un-lft-identity
151×times-frac
129×prod-diff
123×add-cube-cbrt
38×difference-of-squares
25×distribute-lft-out
19×distribute-lft-out--
9×associate-/l*
8×add-cbrt-cube associate-/r/ div-inv add-log-exp
7×associate-/r* add-exp-log
6×fma-neg
4×expm1-log1p-u pow1 flip3-+ flip-+ insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp associate-/l/
1×associate--r-
Counts
4 → 256
Calls
4 calls:
Slowest
71.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
57.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
19.0ms
(- wj (/ x (exp wj)))
10.0ms
(/ x (exp wj))

series223.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
71.0ms
(- wj (/ (- wj (/ x (exp wj))) (+ 1 wj)))
64.0ms
(/ (- wj (/ x (exp wj))) (+ 1 wj))
47.0ms
(/ x (exp wj))
41.0ms
(- wj (/ x (exp wj)))

simplify1.2m

Counts
441 → 268
Calls
441 calls:
Slowest
760.0ms
(fma (- (+ (* 1 1) (- (* wj wj) (* 1 wj)))) (/ (- wj (/ x (exp wj))) (+ (pow 1 3) (pow wj 3))) (* (+ (* 1 1) (- (* wj wj) (* 1 wj))) (/ (- wj (/ x (exp wj))) (+ (pow 1 3) (pow wj 3)))))
613.0ms
(fma 1 wj (- (* (/ x (cbrt (exp wj))) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))))))
582.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ x (cbrt (exp wj))) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))))))
566.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ x (cbrt (exp wj))) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))))))
545.0ms
(fma (- (/ x (cbrt (exp wj)))) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj)))) (* (/ x (cbrt (exp wj))) (/ 1 (* (cbrt (exp wj)) (cbrt (exp wj))))))

prune1.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

5.2b
(- wj (/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj))))
0.0b
(/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj)))
0.0b
(/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj)))
0.0b
(/ x (exp wj))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
2834×times-frac
2518×*-un-lft-identity
2425×add-sqr-sqrt
1501×sqrt-prod
1346×add-cube-cbrt
1026×prod-diff
429×difference-of-squares
374×distribute-lft-out
212×distribute-lft-out--
68×sqrt-div associate-/r/
57×associate-/l*
35×div-inv
34×flip3-+ flip-+
17×associate-/r*
13×add-cbrt-cube
12×add-exp-log
6×add-log-exp
5×cbrt-undiv div-sub div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×clear-num frac-2neg fma-neg associate-/l/
2×flip3-- flip--
1×sub-neg diff-log associate--r-
Counts
4 → 1570
Calls
4 calls:
Slowest
58.0ms
(- wj (/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj))))
33.0ms
(/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj)))
31.0ms
(/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj)))
5.0ms
(/ x (exp wj))

series195.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
66.0ms
(/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj)))
62.0ms
(- wj (/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj))))
39.0ms
(/ (/ (- wj (/ x (exp wj))) (sqrt (+ 1 wj))) (sqrt (+ 1 wj)))
27.0ms
(/ x (exp wj))

simplify7.0m

Counts
3009 → 1582
Calls
3009 calls:
Slowest
656.0ms
(fma 1 wj (- (* (/ (/ (- wj (/ x (exp wj))) (sqrt (sqrt (+ 1 wj)))) (cbrt (sqrt (+ 1 wj)))) (/ (/ 1 (sqrt (sqrt (+ 1 wj)))) (* (cbrt (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj))))))))
591.0ms
(fma 1 wj (- (* (/ (/ (- (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj)))) (/ (/ (+ (sqrt wj) (/ (sqrt x) (sqrt (exp wj)))) (sqrt 1)) (* (cbrt (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj))))))))
587.0ms
(fma 1 wj (- (* (/ (/ (cbrt (- wj (/ x (exp wj)))) (cbrt (sqrt (+ 1 wj)))) (sqrt (+ 1 wj))) (/ (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (* (cbrt (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj))))) (sqrt 1)))))
563.0ms
(fma 1 wj (- (* (/ (/ (- (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj)))) (/ (/ (+ (sqrt wj) (sqrt (/ x (exp wj)))) (sqrt 1)) (* (cbrt (sqrt (+ 1 wj))) (cbrt (sqrt (+ 1 wj))))))))
562.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (/ (cbrt (- wj (/ x (exp wj)))) (sqrt (sqrt (+ 1 wj)))) (sqrt (cbrt (+ 1 wj)))) (/ (/ (* (cbrt (- wj (/ x (exp wj)))) (cbrt (- wj (/ x (exp wj))))) (sqrt (sqrt (+ 1 wj)))) (sqrt (* (cbrt (+ 1 wj)) (cbrt (+ 1 wj))))))))

prune13.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

regimes59.0ms

Accuracy

65.8% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 2.0b

bsearch21.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
4.1s7725×body10240exit
696.0ms6256×body80valid
199.0ms815×body320valid
142.0ms477×body640valid
63.0ms535×body160valid