Details

Time bar (total: 1.3m)

sample200.0ms

Algorithm
intervals
Results
152.0ms243×body10240exit
17.0ms199×body80valid
8.0ms30×body320valid
5.0ms13×body640valid
3.0ms18×body160valid

simplify280.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.4b

localize15.0ms

Local error

Found 4 expressions with local error:

5.4b
(- 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))

rewrite138.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
65.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
38.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
18.0ms
(* wj (exp wj))
15.0ms
(* wj (exp wj))

series207.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
65.0ms
(- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj)))))
63.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
45.0ms
(* wj (exp wj))
34.0ms
(* wj (exp wj))

simplify39.2s

Counts
211 → 182
Calls
211 calls:
Slowest
617.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))
599.0ms
(fma (- (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj)))))) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))) (* (/ (sqrt (- (* wj (exp wj)) x)) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ (sqrt (- (* wj (exp wj)) x)) (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj))))))))
579.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
546.0ms
(/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))
544.0ms
(fma (- (/ (- (* wj (exp wj)) x) (+ 1 wj))) (/ 1 (exp wj)) (* (/ (- (* wj (exp wj)) x) (+ 1 wj)) (/ 1 (exp wj))))

prune1.8s

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

prune11.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 4 expressions with local error:

6.4b
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))
0.5b
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
0.0b
(* wj (exp wj))
0.0b
(* wj (exp wj))

rewrite102.0ms

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

series212.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
63.0ms
(- wj (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj)))))
52.0ms
(* wj (exp wj))
51.0ms
(/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))
46.0ms
(* wj (exp wj))

simplify24.1s

Counts
125 → 137
Calls
125 calls:
Slowest
777.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (sqrt (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))) (sqrt (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))))))
728.0ms
(+ (sqrt wj) (sqrt (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))))
709.0ms
(fma (* (cbrt wj) (cbrt wj)) (cbrt wj) (- (* (/ (exp wj) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ wj (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
641.0ms
(fma (sqrt wj) (sqrt wj) (- (* (/ (exp wj) (cbrt (+ (exp wj) (* wj (exp wj))))) (/ wj (* (cbrt (+ (exp wj) (* wj (exp wj)))) (cbrt (+ (exp wj) (* wj (exp wj)))))))))
600.0ms
(- (sqrt wj) (sqrt (/ (* wj (exp wj)) (+ (exp wj) (* wj (exp wj))))))

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(* wj (exp wj))
0.0b
(+ (exp wj) (* wj (exp wj)))
0.0b
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))
0.0b
(+ (fma (* wj wj) (- (* wj wj) wj) (* wj wj)) (/ x (+ (exp wj) (* wj (exp wj)))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
10×add-sqr-sqrt
8×add-cube-cbrt add-log-exp
6×pow1 fma-def add-cbrt-cube
5×add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×+-commutative sum-log flip3-+ flip-+ fma-udef
1×associate-+l+ distribute-rgt-out pow-prod-down distribute-rgt1-in prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 70
Calls
4 calls:
Slowest
25.0ms
(* wj (exp wj))
23.0ms
(+ (fma (* wj wj) (- (* wj wj) wj) (* wj wj)) (/ x (+ (exp wj) (* wj (exp wj)))))
17.0ms
(+ (exp wj) (* wj (exp wj)))
0.0ms
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))

series255.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
109.0ms
(+ (fma (* wj wj) (- (* wj wj) wj) (* wj wj)) (/ x (+ (exp wj) (* wj (exp wj)))))
62.0ms
(+ (exp wj) (* wj (exp wj)))
52.0ms
(fma (* wj wj) (- (* wj wj) wj) (* wj wj))
31.0ms
(* wj (exp wj))

simplify3.9s

Counts
33 → 82
Calls
33 calls:
Slowest
630.0ms
(- (+ (pow wj 2) (pow wj 4)) (pow wj 3))
390.0ms
(+ (fma (* wj wj) (- (* wj wj) wj) (* wj wj)) (/ x (+ (exp wj) (* wj (exp wj)))))
362.0ms
(* (* (* wj wj) wj) (* (* (exp wj) (exp wj)) (exp wj)))
266.0ms
(- (+ (pow wj 2) (pow wj 4)) (pow wj 3))
257.0ms
(* (exp (fma (* wj wj) (- (* wj wj) wj) (* wj wj))) (exp (/ x (+ (exp wj) (* wj (exp wj))))))

prune871.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes79.0ms

Accuracy

0% (1.1b remaining)

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

bsearch2.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
6.1s7340×body10240exit
1.1s6347×body80valid
245.0ms770×body320valid
229.0ms418×body640valid
108.0ms543×body160valid